AChain	sl_local.h	/^typedef struct AChain$/
ALIM	c4_local.h	38
AN	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
AND2	sl_util.c	/^AND2 (expr1, expr2)$/
AP	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
ARITE	mapping_local.h	33
ASSIGN	sl_facto_jacoX.c	37;"	file:
AUT	c4_local.h	30
AUT	mapping_local.h	30
AUX_FLAG	lax_param.c	50;"	file:
Alist	sl_local.h	/^Alist;$/
BIG_STATIC_BUFFER	but_error.c	/^static char BIG_STATIC_BUFFER[BIG_STATIC_BUFFER_SIZE];$/;"	file:
BIG_STATIC_BUFFER_SIZE	but_error.c	76;"	file:
BN	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
BOP_FigureName1	big_main.c	/^char *BOP_FigureName1;$/
BOP_InputFileName	big_main.c	/^char *BOP_InputFileName;$/
BOP_LaxFileName	big_main.c	/^char *BOP_LaxFileName;$/
BOP_OutputFileName	big_main.c	/^char *BOP_OutputFileName;$/
BOP_Program_name	big_main.c	/^char *BOP_Program_name;$/
BP	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
BUF	netop_local.h	72
BUFF	netop_local.h	36
BUFI_FLAG	lax_param.c	52;"	file:
BUN	netop_local.h	71
BUS	netop_local.h	34
Bop_FastUsage	big_main.c	/^Bop_FastUsage ()$/
Bop_Usage	big_main.c	/^Bop_Usage ()$/
C4_ASSOCLST	c4_local.h	126
C4_BD1	c4_local.h	96
C4_BD1N	c4_local.h	97
C4_BUF	c4_local.h	99
C4_C4cutSymb	c4_util.c	/^char *C4_C4cutSymb;$/
C4_C4nbAddCuts	c4_util.c	/^short C4_C4nbInputs, C4_C4nbAddCuts, C4_C4stGr;$/
C4_C4nbInputs	c4_util.c	/^short C4_C4nbInputs, C4_C4nbAddCuts, C4_C4stGr;$/
C4_C4stGr	c4_util.c	/^short C4_C4nbInputs, C4_C4nbAddCuts, C4_C4stGr;$/
C4_CHECKok	c4_local.h	128
C4_COMPok	c4_local.h	133
C4_CONNECTok	c4_local.h	130
C4_H	c4_local.h	25
C4_HIGH	c4_local.h	94
C4_INEXPR	c4_local.h	109
C4_L1	c4_local.h	89
C4_L1N	c4_local.h	90
C4_L2	c4_local.h	91
C4_L2N	c4_local.h	92
C4_LOW	c4_local.h	95
C4_N1	c4_local.h	87
C4_N1P	c4_local.h	98
C4_NBCUT	c4_local.h	113
C4_NBINP	c4_local.h	112
C4_NBNCHAN	c4_local.h	117
C4_NBNCHAN0	c4_local.h	119
C4_NBNTRAN	c4_local.h	122
C4_NBPCHAN	c4_local.h	116
C4_NBPCHAN0	c4_local.h	118
C4_NBPITCH	c4_local.h	114
C4_NBPTRAN	c4_local.h	121
C4_PLACEok	c4_local.h	129
C4_POLARITY	c4_local.h	124
C4_ROUTok	c4_local.h	139
C4_TIE	c4_local.h	93
C4_TREXPR	c4_local.h	110
C4_TRI	c4_local.h	88
C4_VROUTok	c4_local.h	131
C4_library	c4_decomp_dec4.c	/^pTH C4_library;$/
CAPA_FLAG	lax_param.c	49;"	file:
CAPI_FLAG	lax_param.c	51;"	file:
CCELL_MODE_DEBUG	c4_caraccell.c	100;"	file:
CDPN	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CDPP	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CDSN	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CDSP	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CDWN	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CDWP	c4_caraccell.c	/^  CDSN, CDSP, CDPN, CDPP, CDWN, CDWP,	\/* dynamic capacitance: source *\/$/
CGPN	c4_caraccell.c	/^  CGSN, CGSP, CGPN, CGPP,	\/* dynamic capacitance: drain  *\/$/
CGPP	c4_caraccell.c	/^  CGSN, CGSP, CGPN, CGPP,	\/* dynamic capacitance: drain  *\/$/
CGSN	c4_caraccell.c	/^  CGSN, CGSP, CGPN, CGPP,	\/* dynamic capacitance: drain  *\/$/
CGSP	c4_caraccell.c	/^  CGSN, CGSP, CGPN, CGPP,	\/* dynamic capacitance: drain  *\/$/
COMBI	netop_local.h	32
CONST	netop_local.h	35
CRITIC	netop_local.h	61
CSPN	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CSPP	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CSSN	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CSSP	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CSTDEL	sl_local.h	30
CSWN	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CSWP	c4_caraccell.c	/^  CSSN, CSSP, CSPN, CSPP, CSWN, CSWP;$/
CUT_SYMB	c4_local.h	77
DELAY_FLAG	lax_param.c	43;"	file:
DLN	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
DLP	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
DUP	netop_local.h	73
DWN	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
DWP	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
EACH_GRAPH	c4_local.h	84
EARLY_FLAG	lax_param.c	44;"	file:
EPSILON	c4_caraccell.c	90;"	file:
ERR	netop_local.h	31
EVERY_CUT	c4_local.h	71
EXTRACT	sl_facto_cliqueZ.c	37;"	file:
FACTEURMULTIPLICATIF	netop_load_neto.c	38;"	file:
FANOUT_FACTEUR_INTERNE	netop_load_optim.c	50;"	file:
FANOUT_MAX	sl_local.h	28
FILTRE	sl_prepar_prep.c	36;"	file:
FPT_Debug_Flag	but_error.c	/^static int FPT_Debug_Flag = 0;$/;"	file:
FPT_ERROR_H	but_error.h	26
FPT_Number_of_Warnings	but_error.c	/^static int FPT_Number_of_Warnings = 0;$/;"	file:
FPT_Verbose_Flag	but_error.c	/^static int FPT_Verbose_Flag = 0;$/;"	file:
FptDisplayDebug	but_error.c	/^FptDisplayDebug (va_alist)$/
FptDisplayDebugSource	but_error.c	/^FptDisplayDebugSource (File, Line)$/
FptDisplayError	but_error.c	/^FptDisplayError (va_alist)$/
FptDisplayVerbose	but_error.c	/^FptDisplayVerbose (va_alist)$/
FptDisplayWarning	but_error.c	/^FptDisplayWarning (va_alist)$/
FptSprintf	but_error.c	/^FptSprintf (va_alist)$/
FuncState	c4_local.h	/^FuncState;$/
GET_INT	lax_param.c	54;"	file:
GLOB_ABL_DC	big_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_DC	boptim_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_DC	c4map_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_DC	netop_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_DC	proof_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_DC	scmap_main.c	/^char *GLOB_ABL_DC;$/
GLOB_ABL_ONE	big_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ONE	boptim_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ONE	c4map_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ONE	netop_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ONE	proof_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ONE	scmap_main.c	/^char *GLOB_ABL_ONE;$/
GLOB_ABL_ZERO	big_main.c	/^char *GLOB_ABL_ZERO;$/
GLOB_ABL_ZERO	boptim_main.c	/^char *GLOB_ABL_ZERO;$/
GLOB_ABL_ZERO	c4map_main.c	/^char *GLOB_ABL_ZERO;$/
GLOB_ABL_ZERO	netop_main.c	/^char *GLOB_ABL_ZERO;$/
GLOB_ABL_ZERO	proof_main.c	/^char *GLOB_ABL_ZERO;$/
GLOB_ABL_ZERO	scmap_main.c	/^char *GLOB_ABL_ZERO;$/
GRID	c4_caraccell.c	/^float GRID;$/
HEAD_LOFIG_RES	c4_caraccell.c	/^lofig_list *HEAD_LOFIG_RES = NULL;	\/* tete de la lofig resultat *\/$/
HEAD_LORES	c4_caraccell.c	/^lores_list *HEAD_LORES = NULL;	\/* tete de la structure resultat *\/$/
HH	netop_local.h	43
HL	netop_local.h	42
IMPED_FLAG	lax_param.c	48;"	file:
INDEX_OUT	c4_caraccell.c	/^long INDEX_OUT;$/
INDEX_VDD	c4_caraccell.c	/^long INDEX_VDD;$/
INDEX_VSS	c4_caraccell.c	/^long INDEX_VSS;$/
INFORMATION	netop_system.c	/^INFORMATION (type)$/
INT_EQ_SYMB	c4_local.h	55
INV_BLK	c4_local.h	43
IN_SYMB	c4_local.h	47
ITE	sl_facto_optim.c	46;"	file:
LAX_PARAM_H	lax_param.h	25
LBDD_HIGH	sl_facto_jacoX.c	40;"	file:
LBDD_LOW	sl_facto_jacoX.c	39;"	file:
LEVEL_FLAG	lax_param.c	41;"	file:
LH	netop_local.h	41
LL	netop_local.h	40
LMLT	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
LOCONDW	netop_local.h	56
LOCONMINDW	netop_local.h	68
LOCONMINUP	netop_local.h	67
LOCONUP	netop_local.h	55
LOINSDW	netop_local.h	54
LOINSMINDW	netop_local.h	66
LOINSMINUP	netop_local.h	65
LOINSUP	netop_local.h	53
L_CELL_IN	c4_local.h	57
L_CELL_INV	c4_local.h	59
L_CELL_OUT	c4_local.h	58
L_CELL_SYMB	c4_local.h	61
L_CELL_TRSP	c4_local.h	60
MAPPING_LOCAL_H	mapping_local.h	25
MAX	c4_local.h	80
MAX	netop_local.h	27
MAX	sl_facto_optim.c	36;"	file:
MAXBALANCETH	c4_prepar_balance.c	37;"	file:
MAXLEVEL	sl_local.h	27
MAXNUM	sl_prepar_prep.c	/^int MAXNUM;$/
MAXOCC	sl_prepar_prep.c	/^int MAXOCC;$/
MAX_CHAN	c4_local.h	78
MAX_CONT	c4_local.h	107
MAX_EQ	c4_local.h	105
MAX_FATHER	sl_facto.c	42;"	file:
MAX_H_PITCH	c4_local.h	106
MAX_TRANS	c4_caraccell.c	81;"	file:
MAX_T_SER	c4_local.h	104
MIN	c4_local.h	81
MIN	netop_local.h	28
MODE_FLAG	lax_param.c	40;"	file:
Mapcout	mapping_cout.c	/^Mapcout (expr)$/
MemFig	c4_local.h	/^MemFig;$/
MetalEq	c4_local.h	/^MetalEq;$/
Mysavelofig	boptim_main.c	/^void Mysavelofig( Figure )$/
Mysavelofig	c4map_main.c	/^void Mysavelofig( Figure )$/
Mysavelofig	logic_main.c	/^void Mysavelofig( Figure )$/
Mysavelofig	scmap_main.c	/^void Mysavelofig( Figure )$/
NAME_ATOM	sl_facto_optim.c	38;"	file:
NAME_DRAIN	c4_caraccell.c	83;"	file:
NAME_GRID	c4_caraccell.c	84;"	file:
NAME_SOURCE	c4_caraccell.c	82;"	file:
NB_TRANS	c4_caraccell.c	/^int NB_TRANS;$/
NDOWN	netop_local.h	47
NEG	c4_local.h	28
NEG	mapping_local.h	28
NETOP_LOCAL_H	netop_local.h	25
NEXT_CHAR	lax_param.c	64;"	file:
NEXT_LINE	lax_param.c	62;"	file:
NOT1	netop_load_optim.c	/^char *NOT1;$/
NO_BUFFPI	netop_local.h	90
NO_CAPA	netop_load_optim.c	/^int NO_CAPA;$/
NO_CAPAPI	netop_local.h	89
NO_CAPAPO	netop_local.h	93
NO_CATA_LIB	netop_local.h	98
NO_CELLS	netop_local.h	100
NO_CELLTH	netop_local.h	99
NO_CUT	c4_local.h	68
NO_DELAYPI	netop_local.h	91
NO_DELAYPO	netop_local.h	94
NO_FACTOR	netop_local.h	92
NO_FILE	netop_local.h	78
NO_FILELOG	netop_local.h	80
NO_FILEOUT	netop_local.h	79
NO_FILEPAR	netop_local.h	83
NO_LOG	netop_local.h	81
NO_MODE	netop_local.h	76
NO_NAME	netop_local.h	84
NO_OPTION	netop_local.h	75
NO_PAR	netop_local.h	86
NO_PARAM	netop_local.h	85
NO_PHG	netop_local.h	82
NO_RESISTPI	netop_local.h	95
NO_TRACE	netop_local.h	101
NO_VERSION	netop_local.h	77
NTRANS_LCW_DLR	c4_caraccell.c	/^int NTRANS_VW_DLR, NTRANS_VW_DWR, NTRANS_LCW_DLR, NTRANS_LCW_DWR, NTRANS_RCW_DLR,$/
NTRANS_LCW_DWR	c4_caraccell.c	/^int NTRANS_VW_DLR, NTRANS_VW_DWR, NTRANS_LCW_DLR, NTRANS_LCW_DWR, NTRANS_RCW_DLR,$/
NTRANS_RCW_DLR	c4_caraccell.c	/^int NTRANS_VW_DLR, NTRANS_VW_DWR, NTRANS_LCW_DLR, NTRANS_LCW_DWR, NTRANS_RCW_DLR,$/
NTRANS_RCW_DWR	c4_caraccell.c	/^  NTRANS_RCW_DWR, PTRANS_VW_DLR, PTRANS_VW_DWR, PTRANS_LCW_DLR, PTRANS_LCW_DWR,$/
NTRANS_VW_DLR	c4_caraccell.c	/^int NTRANS_VW_DLR, NTRANS_VW_DWR, NTRANS_LCW_DLR, NTRANS_LCW_DWR, NTRANS_RCW_DLR,$/
NTRANS_VW_DWR	c4_caraccell.c	/^int NTRANS_VW_DLR, NTRANS_VW_DWR, NTRANS_LCW_DLR, NTRANS_LCW_DWR, NTRANS_RCW_DLR,$/
NUP	netop_local.h	48
N_GRAPH	c4_local.h	32
N_OUT	c4_local.h	73
N_OUT_SYMB	c4_local.h	54
OPTIMISATION_GLOBALE	netop_system.c	/^OPTIMISATION_GLOBALE ()$/
OPTIMISATION_LOCALE	netop_system.c	/^OPTIMISATION_LOCALE ()$/
OR2	sl_util.c	/^OR2 (expr1, expr2)$/
ORDRE	mapping_decomp.c	37;"	file:
OUTPUT	c4_local.h	36
OUT_BLK	c4_local.h	42
OUT_SYMB	c4_local.h	53
POS	c4_local.h	29
POS	mapping_local.h	29
PREMIER	c4_caraccell.c	/^int PREMIER = 1;$/
PROCRASTINATION	sl_facto.c	41;"	file:
PROF	netop_local.h	62
PTRANS_LCW_DLR	c4_caraccell.c	/^  NTRANS_RCW_DWR, PTRANS_VW_DLR, PTRANS_VW_DWR, PTRANS_LCW_DLR, PTRANS_LCW_DWR,$/
PTRANS_LCW_DWR	c4_caraccell.c	/^  NTRANS_RCW_DWR, PTRANS_VW_DLR, PTRANS_VW_DWR, PTRANS_LCW_DLR, PTRANS_LCW_DWR,$/
PTRANS_RCW_DLR	c4_caraccell.c	/^  PTRANS_RCW_DLR, PTRANS_RCW_DWR;$/
PTRANS_RCW_DWR	c4_caraccell.c	/^  PTRANS_RCW_DLR, PTRANS_RCW_DWR;$/
PTRANS_VW_DLR	c4_caraccell.c	/^  NTRANS_RCW_DWR, PTRANS_VW_DLR, PTRANS_VW_DWR, PTRANS_LCW_DLR, PTRANS_LCW_DWR,$/
PTRANS_VW_DWR	c4_caraccell.c	/^  NTRANS_RCW_DWR, PTRANS_VW_DLR, PTRANS_VW_DWR, PTRANS_LCW_DLR, PTRANS_LCW_DWR,$/
P_GRAPH	c4_local.h	33
P_OUT	c4_local.h	74
RAZTH	netop_load_global.c	/^pTH RAZTH;$/
RAZTiming	netop_load_global.c	/^RAZTiming (lofig, inst)$/
RAZlofig	netop_load_incdelai.c	/^RAZlofig (lofig)$/
RAZsig	netop_load_incdelai.c	/^RAZsig (signal)$/
REDUC	mapping_arbres.c	37;"	file:
REG	netop_local.h	33
REQUIDW	netop_local.h	58
REQUIUP	netop_local.h	57
RETARDDW	netop_local.h	52
RETARDMINDW	netop_local.h	64
RETARDMINUP	netop_local.h	63
RETARDUP	netop_local.h	51
RIGHTLEFT_CUTS	c4_local.h	70
RIGHT_CUT	c4_local.h	69
RNT	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
RPT	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
RULES_BEST	sl_facto_optim.c	40;"	file:
RULES_CARRY	sl_facto_optim.c	41;"	file:
RULES_DC	sl_facto_optim.c	43;"	file:
RULES_FDD	sl_facto_optim.c	45;"	file:
RULES_SON	sl_facto_optim.c	42;"	file:
RULES_XOR	sl_facto_optim.c	44;"	file:
ResCheck	c4_local.h	/^ResCheck;$/
SIGNAL_FLAG	lax_param.c	42;"	file:
SIG_CHAIN	c4_caraccell.c	/^chain_list *SIG_CHAIN = NULL;$/
SIMPLIFLOC	sl_facto_cliqueZ.c	38;"	file:
SLACKDW	netop_local.h	60
SLACKUP	netop_local.h	59
SLOPE_FLAG	lax_param.c	47;"	file:
SL_AUX	sl_local.h	50
SL_AUXOF	sl_local.h	43
SL_BEH	sl_local.h	39
SL_CATA_LIB	sl_local.h	64
SL_CATA_SAVE	sl_local.h	65
SL_CCCC_LIB	sl_local.h	66
SL_CIRCUIT	sl_local.h	46
SL_DELAYPI	sl_local.h	54
SL_FILE	sl_local.h	34
SL_FILEOUT	sl_local.h	35
SL_FILEPAR	sl_local.h	36
SL_FILE_LIB	sl_local.h	63
SL_GUARDEDAUX	sl_local.h	51
SL_IN_LO	sl_local.h	70
SL_LATCHES	sl_local.h	68
SL_LEVEL	sl_local.h	52
SL_LOCAL_H	sl_local.h	25
SL_MAKEORDER	sl_local.h	69
SL_MODE	sl_local.h	40
SL_NAME	sl_local.h	45
SL_NUMCANN	c4_local.h	102
SL_NUMCANP	c4_local.h	101
SL_NUMTRANSN	sl_local.h	55
SL_NUMTRANSP	sl_local.h	56
SL_OPTIM	sl_local.h	49
SL_OPTIMPO	sl_local.h	53
SL_OPTION	sl_local.h	42
SL_ORDER	sl_local.h	58
SL_ORDERPI	sl_local.h	59
SL_OUT_LO	sl_local.h	71
SL_OUT_PH	sl_local.h	72
SL_PAR	sl_local.h	38
SL_PARAM	sl_local.h	37
SL_PI	sl_local.h	47
SL_SYS	sl_local.h	32
SL_TRACE	sl_local.h	67
SL_VERSION	sl_local.h	41
SL_VHDL	sl_local.h	33
SLgetFile	sl_util.c	/^SLgetFile (path, ext)$/
SegFree	c4_local.h	/^SegFree;$/
Surface	mapping_mbk.c	/^Surface (name)$/
TAILLEGRAPH	sl_facto_cliqueZ.c	40;"	file:
TAILLE_X	sl_facto_jacoX.c	36;"	file:
TAUX	mapping_mapper.c	39;"	file:
TBUS	mapping_mapper.c	40;"	file:
TEMP	c4_caraccell.c	/^  VDDmax, VTHR, VSSdeg, VDDdeg, TEMP,	\/* dynamic capacitance: grid  *\/$/
TIE	netop_local.h	37
TINPUT	mapping_mapper.c	38;"	file:
TOUTPUT	mapping_mapper.c	42;"	file:
TRANSN_FLAG	lax_param.c	45;"	file:
TRANSP_FLAG	lax_param.c	46;"	file:
TREG	mapping_mapper.c	41;"	file:
TRSP_BLK	c4_local.h	41
TechnoParamelp	c4_caraccell.c	/^TechnoParamelp ()$/
TechnoParamrds	c4_caraccell.c	/^TechnoParamrds ()$/
TrGraph	c4_local.h	/^TrGraph;$/
VDD	c4_local.h	66
VDD_CARAC	c4_caraccell.c	85;"	file:
VDD_SYMB	c4_local.h	52
VDDdeg	c4_caraccell.c	/^  VDDmax, VTHR, VSSdeg, VDDdeg, TEMP,	\/* dynamic capacitance: grid  *\/$/
VDDmax	c4_caraccell.c	/^  VDDmax, VTHR, VSSdeg, VDDdeg, TEMP,	\/* dynamic capacitance: grid  *\/$/
VHB_HEDFIG	netop_load_neto.c	/^befig_list *VHB_HEDFIG;$/
VHB_HEDFIG	sl_compile.c	/^befig_list *VHB_HEDFIG;$/
VSS	c4_local.h	65
VSS_CARAC	c4_caraccell.c	86;"	file:
VSS_SYMB	c4_local.h	51
VSSdeg	c4_caraccell.c	/^  VDDmax, VTHR, VSSdeg, VDDdeg, TEMP,	\/* dynamic capacitance: grid  *\/$/
VTHR	c4_caraccell.c	/^  VDDmax, VTHR, VSSdeg, VDDdeg, TEMP,	\/* dynamic capacitance: grid  *\/$/
VTN	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
VTP	c4_caraccell.c	/^  VTN, BN, AN, RNT, VTP, BP, AP, RPT,	\/* general parameters *\/$/
VertSeg	c4_local.h	/^VertSeg;$/
WMLT	c4_caraccell.c	/^  LMLT, WMLT, DWN, DLN, DWP, DLP,	\/* transistor characteristics *\/$/
XTWO	sl_facto_jacoX.c	/^pNode XTWO;$/
X_fathers	sl_local.h	/^struct X_fathers$/
__P	c4_local.h	237
__P	c4_local.h	239
__P	lax_param.h	46
__P	lax_param.h	48
__P	mapping_local.h	128
__P	mapping_local.h	130
__P	netop_local.h	202
__P	netop_local.h	204
__P	sl_local.h	205
__P	sl_local.h	207
__PROT	but_error.h	113
__PROT	but_error.h	115
ablContraint	mapping_compile.c	/^ablContraint (cell)$/
acons	mapping_regles.c	/^acons (aListe, in, var)$/
adaptePuissance	netop_load_optim.c	/^adaptePuissance (liste, sCin)$/
addAll	netop_load_global.c	/^addAll (liste, data)$/
addArite	sl_util.c	/^addArite (exp)$/
addAssign	sl_facto_jacoX.c	/^addAssign (lst1, x, fils, y)$/
addBuffer	netop_load_optim.c	/^addBuffer (ptfig, inst, conIn, nameBuff)$/
addBufferCond	netop_load_optim.c	/^addBufferCond (ptfig, inst, conIn, nameBuff, listeCond)$/
addConDirLofig	netop_system.c	/^addConDirLofig (lofig)$/
addDeclen	mapping_regles.c	/^addDeclen (regle, nameDeclen)$/
addInfoSystem	sl_system.c	/^addInfoSystem (sl, mode, argc, argv, version)$/
addInversCond	netop_load_optim.c	/^addInversCond (ptfig, inst, inv, conIn, nameBuff, listeCond)$/
addNExpr	c4_decomp_dec4.c	/^addNExpr (e1, e2)$/
addOper	mapping_oper.c	/^addOper (name)$/
addPuissante	netop_load_optim.c	/^addPuissante (ptfig, inst, puissante)$/
addRef	mapping_util.c	/^addRef (cell, niv)$/
addlores	c4_caraccell.c	/^addlores (name, rup, rdown, capa, tphl, tplh, ptlocon)$/
addmodel	netop_load_optim.c	/^addmodel (liste, modele)$/
afficheChemins	netop_load_util.c	/^afficheChemins (fig)$/
afficheLC	sl_util.c	/^afficheLC (IO)$/
alistConc	mapping_regles.c	/^alistConc (conc, entrees)$/
alistEntrees	mapping_regles.c	/^alistEntrees (premisse, entrees)$/
alistPrem	mapping_regles.c	/^alistPrem (premisse, entrees)$/
allocated_sprintf	but_error.h	64
analyseResul	sl_order.c	/^analyseResul (beh, ptOrder, ptHOrder, trace)$/
annealingLOGIC	sl_facto.c	/^annealingLOGIC (trace)$/
appendChain	netop_load_neto.c	/^appendChain (l1, l2)$/
appendChain_list	mapping_regles.c	/^appendChain_list (l1, l2)$/
applyAssign	sl_facto_jacoX.c	/^applyAssign (pX, finalAssign)$/
arbreBuffer	netop_load_global.c	/^arbreBuffer (instTraite, conIn, lstFanout)$/
argsSsexpr	mapping_regles.c	/^argsSsexpr (args, cell, pTList)$/
arity2Expr	sl_facto.c	/^arity2Expr (expr)$/
assign	sl_local.h	/^struct assign$/
assign01Bdd	sl_facto_jacoX.c	/^assign01Bdd (pON)$/
assignFaninEx	netop_load_global.c	/^assignFaninEx (inst, meilleur)$/
assignFaninLofig	netop_load_global.c	/^assignFaninLofig (lofig)$/
assignTH	netop_load_global.c	/^pTH assignTH;$/
assocList	c4_util.c	/^assocList (firstExpr, placeExpr)$/
b1_p	c4_genlib.c	/^b1_p (b1, out, in)$/
backTrack	mapping_moteur.c	/^backTrack (expr)$/
balance	mapping_decomp.c	/^balance (abl)$/
balanceExpr	c4_prepar_balance.c	/^balanceExpr (expr, optim, grain)$/
balanceMax	mapping_decomp.c	/^balanceMax (listeOp, abl, max, maxretour, inverse)$/
bd1	c4_decomp_bd1.c	/^bd1 ()$/
bd1_p	c4_genlib.c	/^bd1_p (ms, out, i1, i2)$/
bd1icon	c4_icon.c	/^bd1icon (name, store_it)$/
bd1n_p	c4_genlib.c	/^bd1n_p (msn, out, i1, i2)$/
bd1nicon	c4_icon.c	/^bd1nicon (name, store_it)$/
bdd2Abl	sl_facto_optim.c	/^bdd2Abl (pt, tabName, optim)$/
bddToAblBeh	sl_facto.c	/^bddToAblBeh (beh, optim, trace)$/
bdd_order	sl_bdd_order.c	/^typedef struct bdd_order$/;"	file:
bdd_table	sl_facto_optimexpr.c	/^bdd_table;$/;"	file:
bdd_tableOrder	sl_bdd_order.c	/^bdd_tableOrder;$/;"	file:
berinToChain_list	sl_util.c	/^berinToChain_list (beh)$/
bestAssign	sl_facto_jacoX.c	/^struct assign *bestAssign;$/
bestExpr	sl_facto_optim.c	/^bestExpr (expr1, expr2, optim)$/
bestSize	sl_facto_jacoX.c	/^int bestSize;$/
blkType	c4_local.h	143
boxIcon	c4_genicon.c	/^boxIcon (cell_name, inputs_names, output_name, store_it, negative_polarity)$/
buf	c4_decomp_buf.c	/^buf ()$/
bufferLofig	netop_load_global.c	/^bufferLofig (minFanIn, minFanInst, limite, foisLimite)$/
buficon	c4_icon.c	/^buficon (name, store_it)$/
bus1	c4_decomp_bus1.c	/^bus1 ()$/
bus1icon	c4_icon.c	/^bus1icon (name, store_it)$/
busOnToBddBeh	sl_proof_util.c	/^busOnToBddBeh (beh, name)$/
bus_p	c4_genlib.c	/^bus_p (bus, out, in1, in2)$/
buxOnToBddBeh	sl_proof_util.c	/^buxOnToBddBeh (beh, name)$/
c4AssocExpr	c4_decomp_dec4.c	/^c4AssocExpr (mf, expr)$/
c4GenCell	c4_decomp_dec4.c	/^c4GenCell (expr, mode)$/
c4MappBeh	c4_decomp_dec4.c	/^c4MappBeh (beh, mode, delais)$/
c4MappExprBeh	c4_decomp_dec4.c	/^c4MappExprBeh (beh, expr, mode)$/
c4_comp	c4_util.c	/^c4_comp (expr, fileName, nNCh, nPCh, trace)$/
c4_dbg_printInfo	c4_debug.c	/^c4_dbg_printInfo (cell)$/
c4_free	c4_util.c	/^c4_free (cell)$/
c4_gen	c4_util.c	/^c4_gen (cell)$/
c4_genPCells	c4_stretch.c	/^c4_genPCells (cellType, name, lc_io, out, in1, in2, in3, in4, in5)$/
calc_capa	c4_caraccell.c	/^calc_capa (ptlocon, type)$/
calc_res	c4_caraccell.c	/^calc_res (ptlocon, type)$/
calculClique	sl_facto_cliqueZ.c	/^calculClique (tabCouple, count)$/
calculDCBeh	sl_dontcare.c	/^calculDCBeh (beh, pON, pDC)$/
calculDelaisExpr	sl_prepar_carac.c	/^calculDelaisExpr (beh, ret, expr, balance)$/
calculEnvel	mapping_generic.c	/^calculEnvel (expr)$/
calculEnveloppe	netop_system.c	/^calculEnveloppe (listeCellules)$/
calculProf	netop_load_optim.c	/^calculProf (lofig)$/
calculSerieMax	c4_prepar_map.c	/^calculSerieMax (optim, tp, tn, max_tp, max_tn)$/
calculSigma	sl_order.c	/^calculSigma (beh, ptOrder, ptHOrder, ptHAux)$/
calculTPTNExpr	sl_prepar_bib.c	/^calculTPTNExpr (expr, tp, tn)$/
calcul_requi	netop_load_incdelai.c	/^calcul_requi (lofig, requiUp, requiDw, tout)$/
calcul_retard	netop_load_incdelai.c	/^calcul_retard (lofig, affich)$/
capa	mapping_cout.c	/^capa (name, virt)$/
capaEntrees	netop_load_optim.c	/^capaEntrees ()$/
capaMoyenne	netop_load_incdelai.c	/^capaMoyenne ()$/
capaNot	netop_load_optim.c	/^capaNot ()$/
capaTH	netop_load_incdelai.c	/^pTH capaTH;$/
caracBeh	sl_prepar_carac.c	/^caracBeh (beh, delais, balance)$/
caracLofig	c4_caraccell.c	/^caracLofig (name, capa, front)$/
cassq	mapping_util.c	/^cassq (ptTL, name)$/
cassqVal	mapping_regles.c	/^cassqVal (aListe, val)$/
cellEnd	netop_system.c	/^cellEnd ()$/
cellInit	netop_load_neto.c	/^cellInit ()$/
cellList	mapping_local.h	/^cellList;$/
cellLoad	netop_load_neto.c	/^cellLoad (listeModel)$/
cellLoadCin	netop_load_neto.c	/^cellLoadCin (name, in)$/
cellLoadEnvel	netop_load_neto.c	/^cellLoadEnvel (name)$/
cellLoadFanout	netop_load_neto.c	/^cellLoadFanout (name)$/
cellLoadIn	netop_load_neto.c	/^cellLoadIn (name)$/
cellLoadNew	netop_load_neto.c	/^cellLoadNew (listeModel)$/
cellLoadOut	netop_load_neto.c	/^cellLoadOut (name)$/
cellLoadPolarity	netop_load_neto.c	/^cellLoadPolarity (name)$/
cellLoadR	netop_load_neto.c	/^cellLoadR (name, in, type)$/
cellLoadSurface	netop_load_neto.c	/^cellLoadSurface (name)$/
cellLoadTp	netop_load_neto.c	/^cellLoadTp (name, in, type)$/
cellLoadTransistors	netop_load_neto.c	/^cellLoadTransistors (name)$/
cellLoadType	netop_load_neto.c	/^cellLoadType (name)$/
cellOpose	mapping_regles.c	/^cellOpose (nom)$/
cellXor	mapping_regles.c	/^cellXor (cell)$/
cellule	mapping_local.h	/^typedef struct cellule$/
changeAblBeh	mapping_mapper.c	/^changeAblBeh ()$/
changeOperRecExpr	c4_prepar_balance.c	/^changeOperRecExpr (expr, oper)$/
checkExpr	c4_util.c	/^checkExpr (cell)$/
cheminCritique	netop_load_util.c	/^cheminCritique (inst, type, delai, min)$/
chercheBuffer	netop_load_global.c	/^chercheBuffer (porteCritic, type)$/
cherchePorte	mapping_arbres.c	/^cherchePorte (abl, niv)$/
clearfptdebugflag	but_error.c	/^clearfptdebugflag ()$/
clearfptverboseflag	but_error.c	/^clearfptverboseflag ()$/
clearmodel	netop_load_optim.c	/^clearmodel (ptfig)$/
cliqueBdd	sl_facto_cliqueZ.c	/^cliqueBdd (pON, pDC)$/
cliqueMultiBdd	sl_facto_cliqueZ.c	/^cliqueMultiBdd (pON, pDC, numBdd)$/
combin	mapping_regles.c	/^combin (list)$/
combinaison	netop_load_global.c	/^combinaison (liste)$/
commut	mapping_generic.c	/^commut (exp)$/
compactBeh	sl_prepar_compact.c	/^compactBeh (beh, saveaux)$/
compactExprBeh	sl_prepar_prep.c	/^compactExprBeh (beh, optim, delais, optimPO, level, saveaux)$/
compact_elimSignal	sl_prepar_compact.c	/^compact_elimSignal (occ, num)$/
compact_substTHOccExpr	sl_prepar_compact.c	/^compact_substTHOccExpr (beh, pTHOcc, pTHNum, pTHAux, expr, dejaTraite)$/
compileLibrary	mapping_compile.c	/^compileLibrary ()$/
compileVHDL	sl_compile.c	/^compileVHDL (file, orderPI, order, par,$/
completeListe	netop_enveloppe.c	/^completeListe (liste, entrees)$/
computFanout	netop_load_util.c	/^computFanout (porte, con, sCin, nbFanout, buffer)$/
computeBrothers	sl_facto_jacoX.c	/^computeBrothers (pX, brothers)$/
conclu	mapping_regles.c	/^conclu (prems, conc)$/
connectSegInv	c4_util.c	/^connectSegInv (mRou, segInv, segTrsp, tGr, nbPit, nbCh, nbMCh, maxFree, indOut)$/
connectSegOut	c4_util.c	/^connectSegOut (mRou, tGr, nbPit, nbCh, nbMCh, maxFree, indOut)$/
consExpr	mapping_regles.c	/^consExpr (oper, e)$/
copyAssign	sl_facto_jacoX.c	/^copyAssign (lst)$/
copyBeh	sl_util.c	/^copyBeh (beh)$/
copyChain_list	sl_util.c	/^copyChain_list (cl)$/
costDepthTab	sl_dontcare.c	/^costDepthTab (tab, len)$/
costTab	sl_dontcare.c	/^costTab (tab, len, func)$/
countChain_list	sl_util.c	/^countChain_list (CL)$/
countInputBeh	sl_util.c	/^countInputBeh (beh)$/
countType	netop_load_util.c	/^countType (liste, data)$/
couple	sl_local.h	/^struct couple$/
coutAblBeh	sl_facto.c	/^coutAblBeh (beh, lit, maxLit, litRed, profMax, delaisMax, operBin, litReg, mode, delayPI)$/
coutExpr	sl_facto_optimexpr.c	/^coutExpr (litt, time, optim)$/
coutSol	sl_facto.c	/^coutSol (lit, delaisMax, litRed, profMax, operBin, optim)$/
cptBuffer	netop_load_global.c	/^int cptBuffer;$/
cptPower	netop_load_global.c	/^int cptPower;$/
cptVirtuel	mapping_mapper.c	/^int cptVirtuel;$/
createATOM	mapping_local.h	35
createAlist	sl_util.c	/^createAlist (ptTHead, expr)$/
createAux	mapping_util.c	/^createAux (nom, ptVirt, type)$/
createAuxBeh	sl_facto.c	/^createAuxBeh (beh)$/
createAuxInitBeh	sl_facto.c	/^createAuxInitBeh (beh)$/
createCell	netop_load_neto.c	/^createCell (befigList)$/
createExprCL	sl_util.c	/^createExprCL (oper, LC)$/
createIntercon	c4_util.c	/^createIntercon (cell)$/
createRef	mapping_util.c	/^createRef (niv)$/
createTabOper	mapping_oper.c	/^createTabOper ()$/
createVIBeh	sl_facto.c	/^createVIBeh (beh, expr, pTabNode, numberSon)$/
createVIExpr	c4_prepar_map.c	/^createVIExpr (beh, expr, notTH, polarity, occTH)$/
createbranch	c4_caraccell.c	/^createbranch (ptlofig)$/
creditExpr	c4_prepar_map.c	/^creditExpr (beh, expr, tp, tn, tpLevel, tnLevel, optim, caracTH, notTH, occTH, prof)$/
decArite	mapping_moteur.c	/^decArite (regle, expr, var)$/
decBalExpr	c4_prepar_balance.c	/^decBalExpr (expr, optim, grain)$/
declenList	mapping_local.h	/^declenList;$/
declencheur	mapping_local.h	/^typedef struct declencheur$/
decomp	mapping_decomp.c	/^decomp (expr)$/
decompBoolBeh	c4_prepar_balance.c	/^decompBoolBeh (beh, optim, delais, optimPO, tp, tn)$/
decompBoolExpr	c4_prepar_balance.c	/^decompBoolExpr (beh, caracTH, expr, optim, dejaTraite, grain)$/
decompileVHDL	sl_compile.c	/^decompileVHDL (beh, name, trace)$/
decomposition	mapping_decomp.c	/^decomposition (abl, n, max, plus, inverse)$/
defMemFig	c4_util.c	/^defMemFig (expr, fileName)$/
dejaTraite	netop_load_optim.c	/^pTH dejaTraite;$/
dejaTraite	netop_systemp.c	/^pTH dejaTraite;$/
delElementChain_list	sl_util.c	/^delElementChain_list (cl, data)$/
delFanout	mapping_arbres.c	/^delFanout (fanout, nom)$/
delRC	mapping_cout.c	/^delRC (virt, expr)$/
delRef	mapping_util.c	/^delRef (cell)$/
delVirt	mapping_arbres.c	/^delVirt (name)$/
delaiCriticDw	netop_load_incdelai.c	/^long delaiCriticDw;$/
delaiCriticMinDw	netop_load_incdelai.c	/^long delaiCriticMinDw;$/
delaiCriticMinUp	netop_load_incdelai.c	/^long delaiCriticMinUp;$/
delaiCriticUp	netop_load_incdelai.c	/^long delaiCriticUp;$/
delaiIn	mapping_generic.c	/^delaiIn (cell, nomPhy, nameIn)$/
delaiTH	netop_load_incdelai.c	/^pTH delaiTH;$/
delaiminTH	netop_load_incdelai.c	/^pTH delaiminTH;$/
delais	mapping_cout.c	/^delais (expr)$/
delaisCarac	sl_prepar_bib.c	/^delaisCarac (pTable, optim)$/
deleteFilsExpr	c4_prepar_map.c	/^deleteFilsExpr (expr, filsSelect, level)$/
depthNodeBdd	sl_dontcare.c	/^depthNodeBdd (pt)$/
devXorBeh	c4_prepar_devxor.c	/^devXorBeh (beh, optim, delais, optimPO)$/
devXorOptimExpr	c4_prepar_devxor.c	/^devXorOptimExpr (beh, caracTH, occTH, expr, optim, dejaTraite)$/
displayAlist	mapping_util.c	/^displayAlist (ptTL)$/
displayArite	mapping_display.c	/^displayArite (exp)$/
displayBeh	sl_util.c	/^displayBeh (befig, nb)$/
displayBehMap	mapping_display.c	/^displayBehMap (befig, nb)$/
displayCapa	netop_load_util.c	/^displayCapa (lofig)$/
displayCell	mapping_display.c	/^displayCell (c)$/
displayChain_liste	mapping_display.c	/^displayChain_liste (liste)$/
displayCombi	netop_load_global.c	/^displayCombi (liste)$/
displayDeclencheurs	mapping_display.c	/^displayDeclencheurs ()$/
displayDiff	sl_proof_util.c	/^displayDiff (pt1, pt2, beh1, beh2, mode)$/
displayEnvel	netop_enveloppe.c	/^displayEnvel (liste)$/
displayExprLax	sl_proof_util.c	/^displayExprLax (expr)$/
displayExprLaxInt	sl_proof_util.c	/^displayExprLaxInt (expr)$/
displayFanout	netop_load_util.c	/^displayFanout (lofig, level)$/
displayLofig	netop_load_util.c	/^displayLofig (lofig, level)$/
displayLotrs	c4_caraccell.c	/^displayLotrs (lofig)$/
displaySol	netop_load_util.c	/^displaySol (sol)$/
displaySystem	sl_system.c	/^displaySystem (sys)$/
displayTHSignaux	mapping_display.c	/^displayTHSignaux ()$/
displayTHVirtuel	mapping_display.c	/^displayTHVirtuel  (file,line)$/
displayTiming	netop_load_util.c	/^displayTiming (lofig, tout)$/
displayTimingInst	netop_load_util.c	/^displayTimingInst (inst, tout, del)$/
displayVirtuel	mapping_display.c	/^displayVirtuel (file,line)$/
displayfptdebug	but_error.h	56
displayfpterror	but_error.h	44
displayfptnode	but_error.h	71
displayfptverbose	but_error.h	60
displayfptwarning	but_error.h	50
downVarAllDoubleBdd	sl_facto_cliqueZ.c	/^downVarAllDoubleBdd (pt)$/
driveName	lax_param.c	/^driveName (IO_name)$/
dupliqueInst	netop_load_optim.c	/^dupliqueInst (ptfig, inst, solution)$/
echantil	mapping_decomp.c	/^echantil (exp, delta)$/
egalListe	netop_enveloppe.c	/^egalListe (liste1, liste2)$/
elimBusMuxBeh	sl_proof_util.c	/^elimBusMuxBeh (beh)$/
elimInoutBeh	sl_proof_util.c	/^elimInoutBeh (beh)$/
elimSignal	sl_prepar_prep.c	/^elimSignal (occ, num, optim)$/
elimineListe	netop_enveloppe.c	/^elimineListe (elt, liste)$/
eltNeutre	mapping_decomp.c	/^eltNeutre (operateur)$/
empileOKExpr	sl_prepar_bib.c	/^empileOKExpr (expr, tp, tn, polarite, optim)$/
endMapping	mapping_compile.c	/^endMapping ()$/
entrance	mapping_cout.c	/^entrance (virtFan, name)$/
eqNode	sl_local.h	/^struct eqNode$/
evalue	mapping_mapper.c	/^evalue (expr1)$/
existAuxBeh	sl_util.c	/^existAuxBeh (beh, name)$/
existDirectory	sl_util.c	/^existDirectory (path)$/
existFilsOper	c4_prepar_map.c	/^existFilsOper (expr, oper)$/
existInputBeh	sl_util.c	/^existInputBeh (beh, name)$/
existOutputBeh	sl_util.c	/^existOutputBeh (beh, name)$/
expandSegOut	c4_util.c	/^expandSegOut (mRou, gT, posOut, indOut, cp0out, cplout)$/
expanse	mapping_util.c	/^expanse (abl)$/
expr2Bst	c4_decomp_dec4.c	/^expr2Bst (oper, expr)$/
expr2Model	c4_util.c	/^expr2Model (expr)$/
expr2ModelInt	c4_util.c	/^expr2ModelInt (expr, i)$/
exprToCLBeh	sl_util.c	/^exprToCLBeh (beh)$/
exprToCharRed	mapping_util.c	/^exprToCharRed (expr)$/
extractClique	sl_facto_cliqueZ.c	/^extractClique (tabCouple, count)$/
extractLC	sl_util.c	/^extractLC (l1, l2)$/
extractONOFF	sl_facto_cliqueZ.c	/^extractONOFF (pZ, tabCouple, pCount, level)$/
extractX_fathers	sl_facto_jacoX.c	/^extractX_fathers (pX, fathers, pCount)$/
fct	mapping_regles.c	/^fct (exp)$/
filtrage	mapping_regles.c	/^filtrage (Regle, cell)$/
filtre	mapping_moteur.c	/^filtre (prem, expr, tabVar)$/
filtreConclusion	mapping_regles.c	/^filtreConclusion (conc, cell)$/
filtreExpr	c4_prepar_balance.c	/^filtreExpr (expr1, expr2)$/
filtreListeAtom	netop_enveloppe.c	/^filtreListeAtom (liste)$/
filtrePremisse	mapping_regles.c	/^filtrePremisse (prem, cell, pTList)$/
findBestNot	mapping_regles.c	/^findBestNot (regles)$/
findCapaGen	mapping_generic.c	/^findCapaGen (cell, nomPhy)$/
findDelaisGen	mapping_generic.c	/^findDelaisGen (cell, nomPhy, resist)$/
findEqual	mapping_regles.c	/^findEqual (abl, liste)$/
findResistanceGen	mapping_generic.c	/^findResistanceGen (cell)$/
findlocon	c4_caraccell.c	/^findlocon (index)$/
flatArityExprBeh	sl_util.c	/^flatArityExprBeh (beh)$/
flatOper	c4_util.c	/^flatOper (expr, signe)$/
flatPolarityBeh	c4_prepar_flatpol.c	/^flatPolarityBeh (beh)$/
fonc	mapping_regles.c	/^fonc (cell)$/
freeAlist	mapping_util.c	/^freeAlist (ptTL)$/
freeAssign	sl_facto_jacoX.c	/^freeAssign (lst1)$/
freeEqNode	sl_facto_jacoX.c	/^freeEqNode (lst1)$/
freeSol	netop_load_optim.c	/^freeSol (sol)$/
funcNorm2	mapping_util.c	/^funcNorm2 (expr)$/
funcNormExprC4	c4_decomp_dec4.c	/^funcNormExprC4 (expr)$/
funcState	c4_local.h	/^typedef struct funcState$/
fusionAssign	sl_facto_jacoX.c	/^fusionAssign (lst1, lst2)$/
gcBddToAblBeh	sl_facto.c	/^gcBddToAblBeh (beh, trace)$/
gcNodeBeh	sl_facto_bdd2.c	/^gcNodeBeh (beh, lstbeh)$/
geleVirtuel	mapping_arbres.c	/^geleVirtuel (signal, abl)$/
genArbo	mapping_arbres.c	/^genArbo (expr, signal, niv, init)$/
genBd	mapping_mapper.c	/^genBd ()$/
genBehave	c4_genlib.c	/^genBehave (fName, expr, polarity, area)$/
genConTH	netop_load_incdelai.c	/^pTH genConTH;$/
genDecomp	mapping_mapper.c	/^genDecomp (ref)$/
genDelta	mapping_cout.c	/^genDelta (signal)$/
genDwTH	netop_load_incdelai.c	/^pTH genDwTH;$/
genFiles	c4_genlib.c	/^genFiles (cell, bFlag, lFlag, pFlag, iFlag)$/
genIcon	c4_genicon.c	/^genIcon (figure, store_it)$/
genInfer	mapping_mapper.c	/^genInfer (ref)$/
genLCellIn	c4_genlib.c	/^genLCellIn (dn, dp)$/
genLCellInv	c4_genlib.c	/^genLCellInv (dn, dp)$/
genLCellOut	c4_genlib.c	/^genLCellOut (dn, dp)$/
genLCellTrsp	c4_genlib.c	/^genLCellTrsp (dn, dp)$/
genLogic	c4_genlib.c	/^genLogic (name, tGraph, polarity, nbCh)$/
genMBKBeh	mapping_mbk.c	/^genMBKBeh (beh, capa, sc, nomFig)$/
genPhysic	c4_genlib.c	/^genPhysic (name, tGr, mRou, sInv, sTrsp, nbCh, polarity)$/
genUpTH	netop_load_incdelai.c	/^pTH genUpTH;$/
genVar	mapping_arbres.c	/^genVar (inst, name, niv, init)$/
genereObj	mapping_regles.c	/^genereObj (Regle)$/
gensym	sl_util.c	/^gensym (name, num)$/
getBestAssign	sl_facto_jacoX.c	/^getBestAssign (pX, fathers, count, tabFathers, finalAssign)$/
getBestAssignMulti	sl_facto_jacoX.c	/^getBestAssignMulti (pX, fathers, count, tabFathers, finalAssign, numBdd)$/
getDel	netop_load_incdelai.c	/^getDel (inst, con, signal, trans, min)$/
getDelai	mapping_generic.c	/^getDelai (cell, expr)$/
getDelayIn	netop_load_util.c	/^getDelayIn (liste, conName)$/
getIdent	sl_util.c	/^getIdent (filename)$/
getInfoInst	netop_load_util.c	/^getInfoInst (inst, typeInfo)$/
getNewNoEq	c4_util.c	/^getNewNoEq (graphType)$/
getResistIn	netop_load_util.c	/^getResistIn (liste, conName)$/
getfptdebugflag	but_error.c	/^getfptdebugflag ()$/
getfptverboseflag	but_error.c	/^getfptverboseflag ()$/
getfptwarnings	but_error.c	/^getfptwarnings ()$/
globalOpt	sl_facto.c	/^globalOpt (trace)$/
grid_inf	c4_caraccell.c	98;"	file:
grid_sup	c4_caraccell.c	97;"	file:
hashBalance	c4_prepar_balance.c	/^hashBalance (optim, grain, arity)$/
high1	c4_decomp_high1.c	/^high1 ()$/
high1icon	c4_icon.c	/^high1icon (name, store_it)$/
high_p	c4_genlib.c	/^high_p (high, out)$/
i_branche	c4_caraccell.c	/^i_branche (maillon0)$/
inChain_list	sl_util.c	/^inChain_list (CL, data)$/
inListe	netop_enveloppe.c	/^inListe (liste, data)$/
inListeAtom	netop_enveloppe.c	/^inListeAtom (liste, data)$/
inPtype_list	sl_util.c	/^inPtype_list (CL, data)$/
indexMaximum	netop_load_optim.c	/^long indexMaximum;$/
initAlist	mapping_util.c	/^initAlist (expr, tab)$/
initC4library	c4_decomp_dec4.c	/^initC4library (mode)$/;"	file:
initCellList	mapping_compile.c	/^initCellList (cellSuite, name, type, phys)$/
initIn	mapping_generic.c	/^initIn (inList, regList)$/
initMapping	mapping_compile.c	/^initMapping ()$/
initOut	mapping_generic.c	/^initOut (outList)$/
initPort	mapping_generic.c	/^initPort (portList)$/
initializeBalance	c4_prepar_balance.c	/^initializeBalance ()$/
initializeNOParam	netop_systemp.c	/^initializeNOParam (mode, level, intermediate, delayPI, earlyPO, numN, numP, maxSlope, impedancePI, capaPO, capaPI, aux)$/
initializeNOSystem	netop_systemp.c	/^initializeNOSystem ()$/
initializeNet	netop_system.c	/^initializeNet ()$/
initializeParam	sl_systemp.c	/^initializeParam (optim, aux, level, delayPI, intermediate, optimPO, numTransN, numTransP)$/
initializeSLSystem	sl_systemp.c	/^initializeSLSystem ()$/
inpProc	c4_util.c	/^short inpProc, pEqIndex, nEqIndex;$/
insereBuffer	netop_load_global.c	/^insereBuffer (instTraite, conIn, pOk, pEncore, nameBuff)$/
insereInverseur	netop_load_global.c	/^insereInverseur (instTraite, conIn, pOk, pEncore, minFan, nameBuff, inv1)$/
insertCont	c4_util.c	/^insertCont (eq, x, gTyp, mRou, nbEq)$/
insertGraph	c4_util.c	/^insertGraph (tGr, type, nbPit, posOut)$/
insertSegOut	c4_util.c	/^insertSegOut (mRou, nbPit, nbCh, nbMCh, maxFree, indOut)$/
instProf	netop_load_incdelai.c	/^loins_list *instProf;$/
intLev	c4_util.c	/^char intLev, waitCut;$/
interLC	sl_util.c	/^interLC (l1, l2)$/
interfaceBeh	c4_decomp_dec4.c	/^interfaceBeh (beh)$/
intersection	netop_enveloppe.c	/^intersection (liste1, liste2)$/
invExpr	mapping_oper.c	/^invExpr (abl)$/
invOper	mapping_regles.c	/^invOper (oper)$/
inversArg	sl_util.c	/^inversArg (exp)$/
inverseurLofig	netop_load_global.c	/^inverseurLofig (minFanIn, minFanInst, limite, foisLimite)$/
invertCh	c4_util.c	/^invertCh (mRou, gT, indCh, destCh, nbCh)$/
isInverseur	netop_load_neto.c	/^isInverseur (name)$/
jacoBdd	sl_facto_jacoX.c	/^jacoBdd (pON, pDC)$/
jacoMultiBdd	sl_facto_jacoX.c	/^jacoMultiBdd (pON, pDC, numBdd)$/
l1_p	c4_genlib.c	/^l1_p (l1, out, i1, i2)$/
l1n_p	c4_genlib.c	/^l1n_p (l1n, out, i1, i2)$/
l2_p	c4_genlib.c	/^l2_p (l2, out, i1, i2, i3, i4)$/
l2n_p	c4_genlib.c	/^l2n_p (l2n, out, i1, i2, i3, i4)$/
latch1	c4_decomp_latch1.c	/^latch1 ()$/
latch1icon	c4_icon.c	/^latch1icon (name, store_it)$/
latch1nicon	c4_icon.c	/^latch1nicon (name, store_it)$/
latch2	c4_decomp_latch2.c	/^latch2 ()$/
latch2icon	c4_icon.c	/^latch2icon (name, store_it)$/
latch2nicon	c4_icon.c	/^latch2nicon (name, store_it)$/
levelExpr	sl_prepar_bib.c	/^levelExpr (expr)$/
libere	mapping_mapper.c	/^libere (sol, head)$/
linklocon	c4_caraccell.c	/^linklocon (pttype)$/
listeAtom	netop_enveloppe.c	/^listeAtom (expr)$/
listeCritic	netop_load_incdelai.c	/^ptype_list *listeCritic;$/
loadParam	lax_param.c	/^loadParam (FileName)$/
loadPolarity	mapping_generic.c	/^loadPolarity (cell)$/
localOpt	sl_facto.c	/^localOpt (trace)$/
loconOutTH	netop_load_incdelai.c	/^pTH loconOutTH;$/
lofigBd1	c4_lofig.c	/^lofigBd1 (name, lc_io, out, i1, i2, i3, i4)$/
lofigBd1n	c4_lofig.c	/^lofigBd1n (name, lc_io, out, i1, i2, i3, i4)$/
lofigBuf	c4_lofig.c	/^lofigBuf (name, lc_io, out, in)$/
lofigBus	c4_lofig.c	/^lofigBus (name, lc_io, out, i1, i2)$/
lofigHigh	c4_lofig.c	/^lofigHigh (name, lc_io, out)$/
lofigLatch1	c4_lofig.c	/^lofigLatch1 (name, lc_io, out, i1, i2, i3)$/
lofigLatch1N	c4_lofig.c	/^lofigLatch1N (name, lc_io, out, i1, i2, i3)$/
lofigLatch2	c4_lofig.c	/^lofigLatch2 (name, lc_io, out, i1, i2, i3, i4, i5)$/
lofigLatch2N	c4_lofig.c	/^lofigLatch2N (name, lc_io, out, i1, i2, i3, i4, i5)$/
lofigLow	c4_lofig.c	/^lofigLow (name, lc_io, out)$/
lofigNot	c4_lofig.c	/^lofigNot (name, lc_io, out, in)$/
lofigNotP	c4_lofig.c	/^lofigNotP (name, lc_io, out, in)$/
lofigTie	c4_lofig.c	/^lofigTie (name, lc_io)$/
logic_main	logic_main.c	/^logic_main (argc, argv)$/
logint	sl_order.c	37;"	file:
logsup2	sl_util.c	/^logsup2 (val)$/
longueur	netop_enveloppe.c	/^longueur (liste)$/
lores	c4_local.h	/^typedef struct lores$/
lores_list	c4_local.h	/^lores_list;$/
low1	c4_decomp_low1.c	/^low1 ()$/
low1icon	c4_icon.c	/^low1icon (name, store_it)$/
lowCheckExpr	c4_util.c	/^lowCheckExpr (expr, res)$/
lowCreateInter	c4_util.c	/^lowCreateInter (expr, hiPEq, loPEq, hiNEq, loNEq, cell, xpos)$/
lowPlaceInputs	c4_util.c	/^lowPlaceInputs (expr)$/
low_p	c4_genlib.c	/^low_p (low, out)$/
main	big_main.c	/^main (argc, argv)$/
main	boptim_main.c	/^main (argc, argv)$/
main	c4map_main.c	/^main (argc, argv)$/
main	netop_main.c	/^main (argc, argv)$/
main	proof_main.c	/^main(argc,argv)$/
main	scmap_main.c	/^main (argc, argv)$/
mainInfo	netop_load_optim.c	/^mainInfo (type)$/
mainOptimFanMax	netop_load_optim.c	/^mainOptimFanMax ()$/
mainOptimGlobal	netop_load_optim.c	/^mainOptimGlobal ()$/
majDelaiCon	netop_load_incdelai.c	/^majDelaiCon (con, sCin)$/
majDelaiInst	netop_load_incdelai.c	/^majDelaiInst (inst, sCin)$/
majNOSystem	netop_system.c	/^majNOSystem (no, mode, argc, argv, version)$/
majSystem	sl_system.c	/^majSystem (sl)$/
makeBddAbl	sl_util.c	/^makeBddAbl (ptr_circuit, expr, ptr_befig, vhb_count, createAux, ppAux)$/
makeBddBeh	sl_util.c	/^makeBddBeh (ptr_befig, ptr_circuit, reorder, trace, max_node, createAux, ppAux)$/
makeInList	c4_util.c	/^makeInList (expr)$/
makeOrderAbl	sl_order.c	/^makeOrderAbl (beh, mode, trace)$/
makeOrderBddBeh	sl_bdd_order.c	/^makeOrderBddBeh (beh, optim, optimPO, delayPI,$/
makepath	c4_caraccell.c	/^makepath (ptsig)$/
mapBeh	c4_prepar_map.c	/^mapBeh (beh, optim, delais, optimPO, tp_max, tn_max)$/
mapCarExprBeh	sl_prepar_prep.c	/^mapCarExprBeh (beh, func)$/
mapExprBeh	sl_prepar_prep.c	/^mapExprBeh (beh, func)$/
mapExprC4	c4_prepar_map.c	/^mapExprC4 (beh, caracTH, expr, optim, dejaTraite, tp, tn, notTH, occTH, fanout)$/
mapInvExpr	c4_prepar_map.c	/^mapInvExpr (expr, notTH, beh, occTH)$/
mappSys	mapping_compile.c	/^mapping *mappSys;$/
mapper	mapping_mapper.c	/^mapper ()$/
mapping	mapping_local.h	/^mapping;$/
mapping	mapping_local.h	/^typedef struct mapping$/
mappingC4	sl_systemp.c	/^mappingC4 ()$/
mappingSC	sl_systemp.c	/^mappingSC ()$/
markAblWBddBeh	sl_facto.c	/^markAblWBddBeh (beh, expr)$/
matchBdd	sl_facto_jacoX.c	/^matchBdd (pX1, pX2, pMatch)$/
maxChain_listExpr	c4_prepar_map.c	/^maxChain_listExpr (expr, oper, caracTH)$/
maxDepthBst	mapping_mbk.c	/^maxDepthBst (beh, numberCell, numberCone)$/
maxDepthExpr	mapping_mbk.c	/^maxDepthExpr (beh, expr, nCellTH, nConeTH, numberCell, numberCone)$/
maxTH	sl_prepar_bib.c	/^maxTH (pTable)$/
max_res	c4_caraccell.c	/^max_res (ptlocon, type)$/
mayCoverBdd	sl_proof_util.c	/^mayCoverBdd (on1, dc1, on2, dc2)$/
memFig	c4_local.h	/^typedef struct memFig$/
member	mapping_generic.c	/^member (in, regList)$/
memberAlist	netop_load_neto.c	/^memberAlist (name, liste)$/
memberChain	sl_prepar_prep.c	/^memberChain (name, cl)$/
memberChain_list	mapping_generic.c	/^memberChain_list (data, chaine)$/
memberDelaypi	mapping_mapper.c	/^memberDelaypi (name, listeDel)$/
memberPType	sl_prepar_prep.c	/^memberPType (name, ptl)$/
mergeChain_list	sl_prepar_prep.c	/^mergeChain_list (l1, l2)$/
metalEq	c4_local.h	/^typedef struct metalEq$/
mf_list	c4_decomp_dec4.c	/^chain_list *mf_list;$/
minPtype	mapping_util.c	/^minPtype (liste)$/
mirrorExpr	mapping_generic.c	/^mirrorExpr (expr)$/
moins	netop_load_global.c	/^moins (liste, data)$/
moinsNot	mapping_regles.c	/^moinsNot (exp)$/
morgOper	mapping_regles.c	/^morgOper (oper)$/
moteur	mapping_moteur.c	/^moteur (regle, expr)$/
moveCont	c4_util.c	/^moveCont (mRou, posOut, nbO)$/
mux2Abl	sl_facto_optim.c	/^mux2Abl (high, low, a, tabName, optim)$/
n1_p	c4_genlib.c	/^n1_p (n1, out, in)$/
n1p_p	c4_genlib.c	/^n1p_p (n1p, out, in)$/
nEqIndex	c4_util.c	/^short inpProc, pEqIndex, nEqIndex;$/
nameBD	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameBus	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameBux	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameHigh	mapping_oper.c	/^char *nameUn, *nameZero, *nameHigh, *nameLow;$/
nameInst	mapping_mbk.c	/^nameInst (name)$/
nameInt	sl_util.c	/^nameInt (name)$/
nameIntVect	sl_util.c	/^nameIntVect (name)$/
nameLatch	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameLow	mapping_oper.c	/^char *nameUn, *nameZero, *nameHigh, *nameLow;$/
nameNot1	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameRest	mapping_oper.c	/^char *nameLatch, *nameBD, *nameBux, *nameBus, *nameNot1, *nameRest;$/
nameUn	mapping_oper.c	/^char *nameUn, *nameZero, *nameHigh, *nameLow;$/
nameZero	mapping_oper.c	/^char *nameUn, *nameZero, *nameHigh, *nameLow;$/
nbChgt	netop_load_global.c	/^long nbChgt;$/
nbGates	netop_load_global.c	/^int nbGates;$/
nbre	mapping_regles.c	/^int nbre = 0;$/
nbreRegles	mapping_display.c	/^nbreRegles ()$/
net_displaySystem	netop_system.c	/^net_displaySystem (sys)$/
net_verifArgs	netop_system.c	/^net_verifArgs (argc, argv)$/
newBefig	mapping_util.c	/^newBefig ()$/
newTrans	c4_util.c	/^newTrans (sigGrid, hiPEq, loPEq, hiNEq, loNEq, cell, xPos)$/
nivNot	sl_util.c	/^nivNot (exp)$/
noEq2nameEq	c4_genlib.c	/^noEq2nameEq (noEq, graph, polarity)$/
noNOTdepthExpr	c4_genicon.c	/^noNOTdepthExpr (abl)$/;"	file:
no_sys	netop_main.c	/^no_system *no_sys;$/
no_syst	netop_local.h	/^typedef struct no_syst$/
no_system	netop_local.h	/^no_system;$/
nonBalanceExpr	c4_prepar_balance.c	/^nonBalanceExpr (beh, delaisTH, expr, echantil, grain)$/
normExprC4	c4_decomp_dec4.c	/^normExprC4 (expr)$/
normMappingExpr	mapping_generic.c	/^normMappingExpr (expr)$/
not1	c4_decomp_not1.c	/^not1 ()$/
not1Picon	c4_icon.c	/^not1Picon (name, store_it)$/
not1icon	c4_icon.c	/^not1icon (name, store_it)$/
not1p	c4_decomp_not1p.c	/^not1p ()$/
notSameOrder	sl_facto.c	/^notSameOrder (tabSol, numberSol, order)$/
numSol	sl_facto_jacoX.c	/^int numSol;$/
numberAtomExprBeh	sl_util.c	/^numberAtomExprBeh (beh, expr, numberTH)$/
numberAtomFact	sl_facto_optim.c	/^numberAtomFact (pt)$/
numberAtomFacto2	sl_facto_optim.c	/^numberAtomFacto2 (high, low, cpt)$/
numberAtomRedBeh	sl_facto_optim.c	/^numberAtomRedBeh (beh)$/
numberAtomRedFact	sl_facto_optim.c	/^numberAtomRedFact (pt)$/
numberAtomRedFacto2	sl_facto_optim.c	/^numberAtomRedFacto2 (high, low, cpt)$/
numberBddBeh	sl_dontcare.c	/^numberBddBeh (beh)$/
numberBddSup	sl_bdd_order.c	/^numberBddSup (beh, numnode)$/
numberChain_list	c4_prepar_map.c	/^numberChain_list (lc)$/
numberNot	c4_prepar_map.c	/^numberNot (expr, occTH, notTH)$/
numberOcVarExpr	mapping_regles.c	/^numberOcVarExpr (exp, name)$/
occAuxPTCL	sl_order.c	39;"	file:
occTHBddBeh	sl_facto.c	/^occTHBddBeh (expr, pTabNode)$/
oneByXBdd	sl_facto_jacoX.c	/^oneByXBdd (pt)$/
operIcon	c4_genicon.c	/^operIcon (cell_name, inputs_names, output_name, store_it, operator)$/
operToCell	mapping_oper.c	/^operToCell (expr)$/
opposees	mapping_regles.c	/^opposees (liste)$/
optimBeh	sl_facto_optimexpr.c	/^optimBeh (beh, optim, delais, optimPO, order)$/
optimEntrees	netop_load_optim.c	/^optimEntrees (conIn, fanoutMax, optimIn)$/
optimExpr	sl_facto_optimexpr.c	/^optimExpr (expr, support, optim)$/
optimExprExt	sl_facto_optimexpr.c	/^optimExprExt (expr, caracTH, optim, dejaTraite, order, beh)$/
optimFanMax	netop_load_optim.c	/^optimFanMax ()$/
optimiseInst	netop_load_optim.c	/^optimiseInst (instTraite)$/
orderProofBeh	sl_proof_util.c	/^orderProofBeh (bef1, bef2, varaux)$/
pEqIndex	c4_util.c	/^short inpProc, pEqIndex, nEqIndex;$/
pTHBalance	c4_prepar_balance.c	/^pTH pTHBalance;$/
pTabExpr	sl_facto.c	/^pTH pTabExpr;$/
param	lax_param.h	/^param;$/
param_cell_elp	c4_caraccell.c	/^param_cell_elp (ptlofig)$/
param_cell_rds	c4_caraccell.c	/^param_cell_rds (ptlofig)$/
paramcell	c4_caraccell.c	/^paramcell (ptlofig, capa, front)$/
parcours	mapping_mapper.c	/^parcours (signal, abl)$/
parcoursConclu	mapping_regles.c	/^parcoursConclu (conclusion, entrees)$/
parseName	lax_param.c	/^parseName (VHDL_name)$/
pathTH	netop_load_incdelai.c	/^pTH pathTH;$/
permutExpr	c4_util.c	/^permutExpr (expr)$/
permutOp	mapping_moteur.c	/^permutOp (expr1, expr2, tri, profPrem, prof)$/
permutVar	mapping_decomp.c	/^permutVar (exp, envel)$/
phaseExpr	c4_prepar_post.c	/^phaseExpr (expr, pTHOcc, beh, cellN, sl_aux)$/
placeArgs	c4_util.c	/^placeArgs (tabCutA, nbCut)$/
placeInputs	c4_util.c	/^placeInputs (cell)$/
polarBDBeh	sl_proof_util.c	/^polarBDBeh (beh)$/
polarite	mapping_mapper.c	/^polarite (expr)$/
polarityExpr	sl_prepar_bib.c	/^polarityExpr (expr)$/
porteCriticDw	netop_load_incdelai.c	/^loins_list *porteCriticDw;$/
porteCriticMinDw	netop_load_incdelai.c	/^loins_list *porteCriticMinDw;$/
porteCriticMinUp	netop_load_incdelai.c	/^loins_list *porteCriticMinUp;$/
porteCriticUp	netop_load_incdelai.c	/^loins_list *porteCriticUp;$/
posOper	c4_util.c	/^posOper (oper)$/
postBeh	c4_prepar_post.c	/^postBeh (beh, sl_aux)$/
prepareLofig	netop_load_incdelai.c	/^prepareLofig (lofig)$/
printVirtuel	mapping_display.c	/^printVirtuel (nameVirt)$/
print_elapsed_time	big_main.c	/^print_elapsed_time (clock_start, clock_end)$/
profAuxPTCL	sl_order.c	38;"	file:
profExprBeh	sl_util.c	/^profExprBeh (beh, expr, profTH)$/
profExprFact	sl_util.c	/^profExprFact (expr)$/
profFact	sl_facto_optim.c	/^profFact (pt, ptHash)$/
profFact2	sl_facto_optim.c	/^profFact2 (high, low, cpt, ptHash)$/
profondeur	netop_load_optim.c	/^profondeur (inst)$/
profondeurCircuit	netop_load_incdelai.c	/^long profondeurCircuit;$/
proofBeh	sl_proof_util.c	/^proofBeh (beh1, beh2, mode, exitIO)$/
ptr_ctrlst	sl_util.c	/^chain_list *ptr_ctrlst;$/
puissanceLofig	netop_load_global.c	/^puissanceLofig (limite)$/
put_CATA_LIB	sl_util.c	/^put_CATA_LIB (cata_lib)$/
randomOrder	sl_bdd_order.c	/^randomOrder (ptChain, amp)$/
reCopyBiabl	mapping_generic.c	/^reCopyBiabl (biabl, n)$/
recupGeneric	mapping_generic.c	/^recupGeneric (beh, cell, hauteur)$/
recupLosig	mapping_mbk.c	/^recupLosig (losigHash, cell, name, abl)$/
regOpposee	mapping_regles.c	/^regOpposee (cell)$/
regenereBddBeh	sl_facto.c	/^regenereBddBeh (beh, order)$/
regle	mapping_local.h	/^typedef struct regle$/
regleOperVHDL	mapping_regles.c	/^regleOperVHDL (cell)$/
regle_list	mapping_local.h	/^regle_list;$/
reglesCellBus	mapping_regles.c	/^reglesCellBus (cell)$/
reglesCellLogique	mapping_regles.c	/^reglesCellLogique (cell)$/
reglesCellRegistre	mapping_regles.c	/^reglesCellRegistre (cell, type)$/
reglesCellules	mapping_regles.c	/^reglesCellules ()$/
reglesXor	mapping_regles.c	/^reglesXor (cell)$/
remegalExpr	sl_compile.c	/^remegalExpr (expr)$/
remonteFilsExpr	c4_prepar_map.c	/^remonteFilsExpr (expr, filsSelect, level, caracTH, ssFils)$/
remonter	netop_load_global.c	/^remonter (instTraite, retardMoyen, capaPlus)$/
removeAuxBeh	sl_util.c	/^removeAuxBeh (beh, saveAux)$/
removeDCBeh	sl_util.c	/^removeDCBeh (beh)$/
remp	mapping_arbres.c	/^remp (inst, abl, indSol)$/
rempTabExpr	sl_facto.c	/^rempTabExpr (beh, expr)$/
remplTHOccBeh	sl_prepar_compact.c	/^remplTHOccBeh (beh, pTHOcc)$/
remplTHOccExpr	sl_prepar_compact.c	/^remplTHOccExpr (pTHOcc, expr)$/
remplTHSuccBeh	sl_prepar_compact.c	/^remplTHSuccBeh (beh, pTHSucc)$/
remplTHSuccExpr	sl_prepar_compact.c	/^remplTHSuccExpr (pTHSucc, expr, name)$/
remplace	mapping_moteur.c	/^remplace (conc, tabVar)$/
remplaceNot	mapping_regles.c	/^remplaceNot (abl, conc)$/
renameBeh	sl_util.c	/^renameBeh (beh, func)$/
renameExpr	sl_util.c	/^renameExpr (expr, func)$/
renameSig	mapping_compile.c	/^renameSig (name)$/
reportNot	mapping_regles.c	/^reportNot (liste, cell)$/
requi	netop_load_incdelai.c	/^requi (inst, requiUp, requiDw, tout)$/
resCheck	c4_local.h	/^typedef struct resCheck$/
resetAlist	mapping_util.c	/^resetAlist (ptTL, type)$/
resetDustExpr	sl_facto.c	/^resetDustExpr (expr)$/
resetParam	lax_param.c	/^resetParam (par)$/
resistIn	mapping_generic.c	/^resistIn (cell, nomPhy, nameIn)$/
resistance	mapping_generic.c	/^resistance (cell, nomPhy)$/
resistanceNot	netop_load_util.c	/^resistanceNot (front)$/
respectTrExpr	sl_prepar_bib.c	/^respectTrExpr (expr, tp, tn, optim)$/
retard	netop_load_incdelai.c	/^retard (inst)$/
returnIndexMax	netop_system.c	/^returnIndexMax (ptfig)$/
reverseExpr	sl_facto.c	/^reverseExpr (expr)$/
routeTrans	c4_util.c	/^routeTrans (cell, nbNChan, nbPChan)$/
s_sig	mapping_local.h	/^typedef struct s_sig$/
saturationExpr	c4_prepar_map.c	/^saturationExpr (expr, credit, optim, caracTH)$/
saveParam	lax_param.c	/^saveParam (saveparam, FileName)$/
searchAlist	sl_util.c	/^searchAlist (ptTL, name)$/
searchCharOper	mapping_oper.c	/^searchCharOper (num)$/
searchExprOutBeh	sl_proof_util.c	/^searchExprOutBeh (beh, name)$/
searchGeneric	mapping_generic.c	/^searchGeneric (cell, cellPhy, name)$/
searchMax	mapping_decomp.c	/^searchMax (liste, n)$/
searchNameBeh	sl_prepar_prep.c	/^searchNameBeh (beh, name)$/
searchNumOper	mapping_oper.c	/^searchNumOper (name)$/
searchObj	mapping_decomp.c	/^searchObj (name, pTab)$/
searchPtype	sl_util.c	/^searchPtype (pTL, name)$/
searchRef	mapping_util.c	/^searchRef (name)$/
searchRefName	mapping_util.c	/^searchRefName (name, niv)$/
searchRefNiv	mapping_util.c	/^searchRefNiv (niv)$/
segFree	c4_local.h	/^typedef struct segFree$/
setChanNo	c4_util.c	/^setChanNo (mRou, nbPit, nbCh, indOut)$/
setONOFF	sl_facto_cliqueZ.c	/^setONOFF (pZ, ppONp, ppOFFp, tabCouple, count, level)$/
setfptdebugflag	but_error.c	/^setfptdebugflag ()$/
setfptverboseflag	but_error.c	/^setfptverboseflag ()$/
sig	mapping_local.h	/^sig;$/
sigBeh	mapping_util.c	/^pTH sigBeh;$/
sigmaDFBeh	sl_dontcare.c	/^sigmaDFBeh (support, Fon, beh, dejaTraite)$/
signauxFils	mapping_mapper.c	/^signauxFils (expr)$/
simple	mapping_regles.c	/^simple (exp)$/
simpleInverse	mapping_regles.c	/^simpleInverse (exp)$/
simplifNot	mapping_regles.c	/^simplifNot (exp)$/
simplifONOFF	sl_facto_cliqueZ.c	/^simplifONOFF (pX, ppY)$/
sl_Torder	sl_local.h	/^typedef struct sl_Torder$/
sl_sys	sl_util.c	/^sl_system *sl_sys;$/
sl_syst	sl_local.h	/^typedef struct sl_syst$/
sl_system	sl_local.h	/^sl_system;$/
sl_tableOrder	sl_local.h	/^sl_tableOrder;$/
sol_list	netop_local.h	/^sol_list;$/
solution	sl_local.h	/^typedef struct solution$/
solutions	mapping_regles.c	/^solutions (exp, signe, op)$/
sort2Expr	mapping_util.c	/^sort2Expr (expr, func1, func2, dir1, dir2)$/
ssExprArite	mapping_moteur.c	/^ssExprArite (prem, varRegle)$/
statistics	netop_load_optim.c	/^statistics (lofig, surfInit)$/
statistiques	mapping_util.c	/^statistiques ()$/
struct_bdd_table	sl_facto_optimexpr.c	/^typedef struct struct_bdd_table$/;"	file:
substExprBeh	sl_util.c	/^substExprBeh (beh, name, sexpr)$/
substPhyExprBeh	sl_util.c	/^substPhyExprBeh (beh, name, expr)$/
substTHOccExpr	sl_prepar_prep.c	/^substTHOccExpr (beh, pTHOcc, pTHNum, pTHAux, pTHSucc, expr, optim, dejaTraite)$/
sumBiabl	sl_proof_util.c	/^sumBiabl (biabl)$/
sumBinode	sl_proof_util.c	/^sumBinode (binode)$/
sumCNDBinode	sl_proof_util.c	/^sumCNDBinode (binode)$/
supp	mapping_arbres.c	/^supp ()$/
suppVirtuel	mapping_arbres.c	/^suppVirtuel (nameInst, liste)$/
supportAuxExpr	sl_order.c	/^supportAuxExpr (beh, abl, ppAux, prof, ptHOrder)$/
supportOptimExpr	sl_prepar_carac.c	/^supportOptimExpr (expr, caracTH, delais)$/
supportOptimExprInt	sl_prepar_carac.c	/^supportOptimExprInt (expr, caracTH, delais, ppCL)$/
suptautology	sl_facto_cliqueZ.c	/^suptautology (x, y)$/
surface	mapping_cout.c	/^surface (expr)$/
surface_cone	mapping_cout.c	/^surface_cone (cell)$/
sysOper	mapping_oper.c	/^ *sysOper;$/
t_sol	netop_local.h	/^typedef struct t_sol$/
tabNum	mapping_local.h	/^typedef struct tabNum$/
tabNumList	mapping_local.h	/^tabNumList;$/
tabSolution	sl_local.h	/^tabSolution;$/
testElimineListe	netop_enveloppe.c	/^testElimineListe (liste1, liste2)$/
testObj	sl_util.c	/^testObj (name, type)$/
testOpening	c4_util.c	/^testOpening (intercon_half_matrix, nbEquis, nbPitchs)$/;"	file:
testOperVHDL	mapping_regles.c	/^testOperVHDL (cell)$/
testOverlays	c4_util.c	/^testOverlays (intercon_half_matrix, nbEquis)$/;"	file:
tie	c4_decomp_tie.c	/^tie ()$/
tie_p	c4_genlib.c	/^tie_p (tie)$/
tieicon	c4_icon.c	/^tieicon (name, store_it)$/
timeExpr	sl_facto_optimexpr.c	/^timeExpr (expr, timeTH)$/
toto_param	lax_param.h	/^typedef struct toto_param$/
trGraph	c4_local.h	/^typedef struct trGraph$/
traiteBus	mapping_mapper.c	/^traiteBus (biabl)$/
traiteExpLog	mapping_mapper.c	/^traiteExpLog (inst, coutSig)$/
traiteReg	mapping_mapper.c	/^traiteReg (biabl)$/
traitementABL	sl_order.c	/^traitementABL (beh, abl, ptOrder, ptHOrder, depth, oper, ptHAux)$/
traitementABLInt	sl_order.c	/^traitementABLInt (beh, abl, ptOrder, ptHOrder, depth, oper, pAux, ptHAux)$/
traitementAux	sl_order.c	/^traitementAux (beh, name, ptOrder, ptHOrder, depth, oper, ptHAux)$/
traitementCone	sl_order.c	/^traitementCone (beh, expr, ptOrder, ptHOrder, ptHAux)$/
traitementDCBeh	sl_dontcare.c	/^traitementDCBeh (beh, trace, func, level)$/
triCommut	mapping_regles.c	/^triCommut (liste)$/
triConptype	netop_load_optim.c	/^triConptype (liste, name, data)$/
triExpr	mapping_generic.c	/^triExpr (expr, cell)$/
triFanout	netop_load_global.c	/^triFanout (inst, conIn, sens, except)$/
triInstance	netop_load_optim.c	/^triInstance (fanout, nameCell, type, sol, tout)$/
triOrdreInterface	mapping_generic.c	/^triOrdreInterface (entrees, interface)$/
triVar	mapping_decomp.c	/^triVar (exp)$/
tripType	netop_load_util.c	/^tripType (liste, type, data, sens)$/
typeOper	mapping_oper.c	/^struct typeOper$/;"	file:
undefMemFig	c4_util.c	/^undefMemFig (cell)$/
upSideDown	c4_util.c	/^upSideDown (graph, intercon_matrix, transistors_graph)$/;"	file:
upVarAllDoubleBdd	sl_facto_cliqueZ.c	/^upVarAllDoubleBdd (pt)$/
upVarAllOneBdd	sl_facto_jacoX.c	/^upVarAllOneBdd (pt)$/
usageNetOptim	netop_system.c	/^usageNetOptim ()$/
varF	mapping_regles.c	/^varF (n, var)$/
verifArgs	sl_system.c	/^verifArgs (sl, argc, argv)$/
verifArgsProof	proof_main.c	/^int verifArgsProof(argc,argv)$/
verifCohBeh	sl_util.c	/^verifCohBeh (beh, delaypi, optimpo)$/
verifExpr	mapping_moteur.c	/^verifExpr (prem, exp)$/
verifIOBeh	sl_proof_util.c	/^verifIOBeh (beh1, beh2, mode)$/
verifPNode	sl_proof_util.c	/^verifPNode (beh1, beh2, mode)$/
veriflores	c4_caraccell.c	/^veriflores (lofig, res)$/
vertSeg	c4_local.h	/^typedef struct vertSeg$/
videBddBefig	sl_util.c	/^videBddBefig (beh)$/
viewlores	c4_caraccell.c	/^viewlores (lofig, res)$/
virtuel	mapping_local.h	/^typedef struct virtuel$/
virtuelList	mapping_local.h	/^virtuelList;$/
waitCut	c4_util.c	/^char intLev, waitCut;$/
