- a -

• AbsVertexCatalogReadBooleanOps : absCatalog.c
• AbsVertexCatalogReadFixedPoints : absCatalog.c
• AbsVertexCatalogReadIdentifiers : absCatalog.c
• AbsVertexCatalogReadNegations : absCatalog.c
• AbsVertexCatalogReadPreImages : absCatalog.c
• AbsVertexCatalogReadVariables : absCatalog.c
• AbsVertexCatalogSetBooleanOps : absCatalog.c
• AbsVertexCatalogSetFixedPoints : absCatalog.c
• AbsVertexCatalogSetIdentifiers : absCatalog.c
• AbsVertexCatalogSetNegations : absCatalog.c
• AbsVertexCatalogSetPreImages : absCatalog.c
• AbsVertexCatalogSetVariables : absCatalog.c
• ARDC_MAX_LINE_LEN : fsmArdc.c

- b -

• BACKWARD_REDUCTION_RATE : imgLinear.c
• BASIC_PARTITION_UNIT : partFine.c
• BEEP : cmdFile.c

- c -

• CONFLICT : satCore.c
• CUR_DATE : vmVers.c
• CUR_VER : vmVers.c

- d -

• DEFAULT_NUM_PATTERNS : truesimCmd.c
• DEFAULT_NUMBER_OF_VARIABLES : resSmartVarUse.c
• DEFAULT_PROB : truesimUtil.c
• domainVar_c : imgIwls95.c

- e -

• ELEMENTS_PER_WORD : resSmartVarUse.c
• ESC : cmdFile.c

- f -

• FORWARD_REDUCTION_RATE : imgLinear.c
• FSM_HD_DEADEND : fsmHD.c
• FSM_HD_DEADEND_MAX_SIZE_FACTOR : fsmHD.c
• FSM_HD_DEADEND_RESIDUE_LIMIT : fsmHD.c
• FSM_HD_DISJ_SIZE : fsmHD.c
• FSM_HD_DONT_FREE : fsmHD.c
• FSM_HD_FREE : fsmHD.c
• FSM_HD_FROM : fsmHD.c
• FSM_HD_FRONTIER_APPROX_THRESHOLD : fsmHD.c
• FSM_HD_GREEDY : fsmReach.c
• FSM_HD_GROWTH_RATE : fsmReach.c
• FSM_HD_LARGE_SIZE : fsmReach.c
• FSM_HD_MID_SIZE : fsmReach.c
• FSM_HD_MIN_SIZE_FROM : fsmHD.c
• FSM_HD_MINT_GROWTH : fsmReach.c
• FSM_HD_NONGREEDY : fsmReach.c
• FSM_HD_NUM_SLOW_GROWTHS : fsmReach.c
• FSM_HD_REACHED_THRESHOLD : fsmHD.c
• FSM_HD_SP_THRESHOLD : fsmHD.c
• FSM_MDD_DONT_FREE : fsmReach.c
• FSM_MDD_FREE : fsmReach.c

- g -

• GSHoperatorIsEX : mcGFP.c

- h -

• HIST : cmdFile.c

- i -

• IMG_IWLS95_DEBUG : imgIwls95.c

- l -

• LATCH_DATA : ntkNode.c
• LATCH_INITIAL : ntkNode.c
• LIBRARY : vmVers.c
• LOG2_FIRST_PRIME : res.c

- m -

• MAX_COUNT : synthDiv.c
• MAX_LENGTH : bmcCirCUsUtil.c , truesimUtil.c , bmcUtil.c
• MAX_LINE_LENGTH : simIo.c
• MAX_NAME_LENGTH : ordIo.c , ntkCmd.c
• MAX_NUMBER_BDD_VARS : ioWriteBlif.c , ntkFlt.c
• MAX_STR : cmdMisc.c
• MaxSizeOfSet : resSmartVarUse.c

- n -

• NAWK : ioCmd.c , ioReadBlifMv.c
• NO_CONFLICT : satCore.c

- p -

• PartVertexReadGeneric : partFine.c
• PartVertexReadGeneric1 : partFine.c

- q -

• quantifyVar_c : imgIwls95.c

- r -

• rangeVar_c : imgIwls95.c
• RES_VERIFY_DONE : res.c
• RES_VERIFY_IGNORE_PREV_RESULTS : res.c
• RES_VERIFY_NOTHING : res.c
• Rst_VarForEachVarInArray : rstGroup.c

- s -

• STATE_IN : ntkCmd.c , ordIo.c
• STATE_TEST : ordIo.c , ntkCmd.c
• STATE_WAIT : ntkCmd.c , ordIo.c
• STDIN : cmdFile.c
• STDOUT : cmdFile.c
• SUBST : cmdFile.c

- t -

• TOKENS : truesimUtil.c

- u -

• UNASSIGNED_DEPTH : truesimUtil.c
• UNASSIGNED_OUTPUT_INDEX : ntkNode.c