- c -

• CAB : cuddWindow.c
• CABD : cuddWindow.c
• CACHE_POINTER : bddint.h
• cache_purge_fn_none : bddint.h
• cache_reclaim_fn_none : bddint.h
• cache_return_fn_none : bddint.h
• CACHE_TABLE_DEFAULT_CACHE_RATIO : calCacheTableTwo.c
• CACHE_TABLE_DEFAULT_SIZE_INDEX : calCacheTableTwo.c
• CACHE_TYPE_ITE : bddint.h
• CACHE_TYPE_ONEDATA : bddint.h
• CACHE_TYPE_TWO : bddint.h
• CACHE_TYPE_TWODATA : bddint.h
• CACHE_TYPE_USER1 : bddint.h
• CacheResultNodeIsForwardedTo : calCacheTableTwo.c
• CacheTableTwoCompareCacheEntry : calCacheTableTwo.c
• CacheTableTwoDoHash : calCacheTableTwo.c
• CADB : cuddWindow.c
• CAL_ALLOC_ALIGNMENT : calMem.h
• Cal_Assert : cal.h
• CAL_BDD_CONST_ID : calInt.h
• CAL_BDD_CONST_INDEX : calInt.h
• CAL_BDD_FREE_REC : calInt.h
• CAL_BDD_IOERROR : calDump.c
• CAL_BDD_NEW_REC : calInt.h
• CAL_BDD_NULL_ID : calInt.h
• CAL_BDD_NULL_INDEX : calInt.h
• CAL_BDD_OK : calInt.h
• CAL_BDD_OUT_OF_ORDER : calInt.h
• CAL_BDD_OVERFLOWED : calInt.h
• CAL_BDD_POINTER : calInt.h
• CAL_BDD_REORDER_THRESHOLD : calInt.h
• CAL_BDD_SWAP : calInt.h
• CAL_BDD_TYPE_CONSTANT : cal.h
• CAL_BDD_TYPE_NEGVAR : cal.h
• CAL_BDD_TYPE_NONTERMINAL : cal.h
• CAL_BDD_TYPE_ONE : cal.h
• CAL_BDD_TYPE_OVERFLOW : cal.h
• CAL_BDD_TYPE_POSVAR : cal.h
• CAL_BDD_TYPE_ZERO : cal.h
• CAL_BDD_UNDUMP_EOF : cal.h
• CAL_BDD_UNDUMP_FORMAT : cal.h
• CAL_BDD_UNDUMP_IOERROR : cal.h
• CAL_BDD_UNDUMP_OVERFLOW : cal.h
• Cal_BddNamingFnNone : cal.h
• Cal_BddTerminalIdFnNone : cal.h
• CAL_GC_CHECK : calInt.h
• CAL_INFINITY : calInt.h
• CAL_LARGE_BDD : calInt.h
• CAL_LEQA1 : calUtil.c
• CAL_LEQA2 : calUtil.c
• CAL_LEQQ1 : calUtil.c
• CAL_LEQQ2 : calUtil.c
• CAL_LEQR1 : calUtil.c
• CAL_LEQR2 : calUtil.c
• CAL_MAX_REF_COUNT : calInt.h
• CAL_MAX_VAR_ID : calInt.h
• CAL_MAX_VAR_INDEX : calInt.h
• Cal_MemAlloc : calMem.h
• Cal_MemCopy : calMem.h
• Cal_MemFree : calMem.h
• Cal_MemRealloc : calMem.h
• Cal_MemZero : calMem.h
• CAL_MIN_GC_LIMIT : calInt.h
• CAL_MODULUS1 : calUtil.c
• CAL_MODULUS2 : calUtil.c
• Cal_Nil : calMem.h
• CAL_NUM_FORWARDED_NODES_LIMIT : calInt.h
• CAL_NUM_PAGES_THRESHOLD : calInt.h
• CAL_OP_AND : calInt.h
• CAL_OP_COMPOSE : calInt.h
• CAL_OP_INVALID : calInt.h
• CAL_OP_NAND : calInt.h
• CAL_OP_OR : calInt.h
• CAL_OP_QUANT : calInt.h
• CAL_OP_REL_PROD : calInt.h
• CAL_OP_SUBST : calInt.h
• CAL_OP_VAR_SUBSTITUTE : calInt.h
• CAL_REORDER_METHOD_BF : cal.h
• CAL_REORDER_METHOD_DF : cal.h
• CAL_REORDER_NONE : cal.h
• CAL_REORDER_SIFT : cal.h
• CAL_REORDER_WINDOW : cal.h
• CAL_REPACK_AFTER_GC_THRESHOLD : calInt.h
• CAL_ROUNDUP : calMem.h
• CAL_STAB_DIV : calUtil.c
• CAL_STAB_SIZE : calUtil.c
• CAL_TABLE_REPACK_THRESHOLD : calInt.h
• CAL_TAG0 : calInt.h
• CalBddAddRefCount : calInt.h
• CalBddDcrRefCount : calInt.h
• CalBddForward : calInt.h
• CalBddFree : calInt.h
• CalBddGetBddId : calInt.h
• CalBddGetBddIndex : calInt.h
• CalBddGetBddNode : calInt.h
• CalBddGetBddNodeNot : calInt.h
• CalBddGetCofactors : calInt.h
• CalBddGetDepth : calInt.h
• CalBddGetElseBdd : calInt.h
• CalBddGetElseBddId : calInt.h
• CalBddGetElseBddIndex : calInt.h
• CalBddGetElseBddNode : calInt.h
• CalBddGetMark : calInt.h
• CalBddGetMinId2 : calInt.h
• CalBddGetMinId3 : calInt.h
• CalBddGetMinIdAndMinIndex : calInt.h
• CalBddGetMinIndex2 : calInt.h
• CalBddGetMinIndex3 : calInt.h
• CalBddGetNextBddNode : calInt.h
• CalBddGetRefCount : calInt.h
• CalBddGetThenBdd : calInt.h
• CalBddGetThenBddId : calInt.h
• CalBddGetThenBddIndex : calInt.h
• CalBddGetThenBddNode : calInt.h
• CalBddIcrRefCount : calInt.h
• CalBddIdNeedsRepacking : calInt.h
• CalBddIsBddConst : calInt.h
• CalBddIsBddNull : calInt.h
• CalBddIsBddOne : calInt.h
• CalBddIsBddZero : calInt.h
• CalBddIsComplement : calInt.h
• CalBddIsComplementEqual : calInt.h
• CalBddIsEqual : calInt.h
• CalBddIsForwarded : calInt.h
• CalBddIsForwardedTo : calInt.h
• CalBddIsMarked : calInt.h
• CalBddIsOutPos : calInt.h
• CalBddIsRefCountMax : calInt.h
• CalBddIsRefCountZero : calInt.h
• CalBddManagerGetBddNull : calInt.h
• CalBddManagerGetBddOne : calInt.h
• CalBddManagerGetBddZero : calInt.h
• CalBddManagerGetNodeManager : calBddManager.c
• CalBddMark : calInt.h
• CalBddNodeAddRefCount : calInt.h
• CalBddNodeDcrRefCount : calInt.h
• CalBddNodeEqual : calInt.h
• CalBddNodeForward : calInt.h
• CalBddNodeGetElseBdd : calInt.h
• CalBddNodeGetElseBddId : calInt.h
• CalBddNodeGetElseBddIndex : calInt.h
• CalBddNodeGetElseBddNode : calInt.h
• CalBddNodeGetMark : calInt.h
• CalBddNodeGetNextBddNode : calInt.h
• CalBddNodeGetRefCount : calInt.h
• CalBddNodeGetThenBdd : calInt.h
• CalBddNodeGetThenBddId : calInt.h
• CalBddNodeGetThenBddIndex : calInt.h
• CalBddNodeGetThenBddNode : calInt.h
• CalBddNodeIcrRefCount : calInt.h
• CalBddNodeIsForwarded : calInt.h
• CalBddNodeIsForwardedTo : calInt.h
• CalBddNodeIsMarked : calInt.h
• CalBddNodeIsOutPos : calInt.h
• CalBddNodeIsRefCountMax : calInt.h
• CalBddNodeIsRefCountZero : calInt.h
• CalBddNodeMark : calInt.h
• CalBddNodeNot : calInt.h
• CalBddNodePutElseBdd : calInt.h
• CalBddNodePutElseBddId : calInt.h
• CalBddNodePutElseBddNode : calInt.h
• CalBddNodePutMark : calInt.h
• CalBddNodePutNextBddNode : calInt.h
• CalBddNodePutRefCount : calInt.h
• CalBddNodePutThenBdd : calInt.h
• CalBddNodePutThenBddId : calInt.h
• CalBddNodePutThenBddNode : calInt.h
• CalBddNodeRegular : calInt.h
• CalBddNodeUnmark : calInt.h
• CalBddNormalize : calInt.h
• CalBddNot : calInt.h
• CalBddNull : calInt.h
• CalBddOne : calInt.h
• CalBddPairGetCofactors : calInt.h
• CalBddPutBddId : calInt.h
• CalBddPutBddNode : calInt.h
• CalBddPutDepth : calInt.h
• CalBddPutElseBdd : calInt.h
• CalBddPutElseBddId : calInt.h
• CalBddPutElseBddNode : calInt.h
• CalBddPutMark : calInt.h
• CalBddPutNextBddNode : calInt.h
• CalBddPutRefCount : calInt.h
• CalBddPutThenBdd : calInt.h
• CalBddPutThenBddId : calInt.h
• CalBddPutThenBddNode : calInt.h
• CalBddRegular : calInt.h
• CalBddReorderBddIsForwarded : calBddReorderTest.c
• CalBddReorderBddNodeIsForwarded : calBddReorderTest.c
• CalBddReorderForward : calBddReorderTest.c
• CalBddSameOrNegation : calInt.h
• CalBddUnmark : calInt.h
• CalBddUpdatePhase : calInt.h
• CalBddZero : calInt.h
• CalCacheTableOneInsert : calInt.h
• CalCacheTableOneLookup : calInt.h
• CalDoHash2 : calInt.h
• CalDoHash3 : calHashTableThree.c
• CalITERequestNodeGetCofactors : calInt.h
• CalNodeManagerAllocNode : calInt.h
• CalNodeManagerCreateAndDupBddNode : calInt.h
• CalNodeManagerFreeNode : calInt.h
• CalNodeManagerInitBddNode : calInt.h
• CalRequestAddRefCount : calInt.h
• CalRequestGetElseRequest : calInt.h
• CalRequestGetElseRequestId : calInt.h
• CalRequestGetElseRequestNode : calInt.h
• CalRequestGetF : calInt.h
• CalRequestGetG : calInt.h
• CalRequestGetMark : calInt.h
• CalRequestGetNextNode : calInt.h
• CalRequestGetRequestId : calInt.h
• CalRequestGetRequestNode : calInt.h
• CalRequestGetThenRequest : calInt.h
• CalRequestGetThenRequestId : calInt.h
• CalRequestGetThenRequestNode : calInt.h
• CalRequestIsForwardedTo : calInt.h
• CalRequestIsMarked : calInt.h
• CalRequestIsNull : calInt.h
• CalRequestMark : calInt.h
• CalRequestNodeAddRefCount : calInt.h
• CalRequestNodeGetCofactors : calInt.h
• CalRequestNodeGetDepth : calInt.h
• CalRequestNodeGetElseRequest : calInt.h
• CalRequestNodeGetElseRequestId : calInt.h
• CalRequestNodeGetElseRequestNode : calInt.h
• CalRequestNodeGetF : calInt.h
• CalRequestNodeGetG : calInt.h
• CalRequestNodeGetMark : calInt.h
• CalRequestNodeGetNextRequestNode : calInt.h
• CalRequestNodeGetRefCount : calInt.h
• CalRequestNodeGetThenRequest : calInt.h
• CalRequestNodeGetThenRequestId : calInt.h
• CalRequestNodeGetThenRequestNode : calInt.h
• CalRequestNodeIsMarked : calInt.h
• CalRequestNodeMark : calInt.h
• CalRequestNodePutDepth : calInt.h
• CalRequestNodePutElseRequest : calInt.h
• CalRequestNodePutElseRequestId : calInt.h
• CalRequestNodePutElseRequestNode : calInt.h
• CalRequestNodePutF : calInt.h
• CalRequestNodePutG : calInt.h
• CalRequestNodePutMark : calInt.h
• CalRequestNodePutNextRequestNode : calInt.h
• CalRequestNodePutThenRequest : calInt.h
• CalRequestNodePutThenRequestId : calInt.h
• CalRequestNodePutThenRequestNode : calInt.h
• CalRequestNodeUnmark : calInt.h
• CalRequestPutElseRequest : calInt.h
• CalRequestPutElseRequestId : calInt.h
• CalRequestPutElseRequestNode : calInt.h
• CalRequestPutF : calInt.h
• CalRequestPutG : calInt.h
• CalRequestPutMark : calInt.h
• CalRequestPutNextNode : calInt.h
• CalRequestPutRequestId : calInt.h
• CalRequestPutRequestNode : calInt.h
• CalRequestPutThenRequest : calInt.h
• CalRequestPutThenRequestId : calInt.h
• CalRequestPutThenRequestNode : calInt.h
• CalRequestUnmark : calInt.h
• CARE : cuddApprox.c
• CARE_ERROR : cuddApprox.c
• CBA : cuddWindow.c
• CBAD : cuddWindow.c
• CBDA : cuddWindow.c
• CDAB : cuddWindow.c
• CDBA : cuddWindow.c
• cmu_bdd_reorder_none : bdduser.h
• COMPARE : avl.c
• COMPTYPE : lsort.h
• compute_height : avl.c
• CONCAT_PTR : bddint.h
• CONST : mtr.h
• CONSTANT_ENCODING : bdddump.c , calDump.c
• CUDD_CACHE_SLOTS : cudd.h
• Cudd_Complement : cudd.h
• CUDD_CONST_INDEX : cudd.h
• Cudd_E : cudd.h
• Cudd_ForeachCube : cudd.h
• Cudd_ForeachNode : cudd.h
• Cudd_ForeachPrime : cudd.h
• CUDD_GEN_CUBES : cuddInt.h
• CUDD_GEN_EMPTY : cuddInt.h
• CUDD_GEN_NODES : cuddInt.h
• CUDD_GEN_NONEMPTY : cuddInt.h
• CUDD_GEN_PRIMES : cuddInt.h
• CUDD_GEN_ZDD_PATHS : cuddInt.h
• CUDD_INVERSE_TRANSFORM_MOVE : cuddLinear.c , cuddZddLin.c
• Cudd_IsComplement : cudd.h
• Cudd_IsConstant : cudd.h
• CUDD_LINEAR_TRANSFORM_MOVE : cuddLinear.c , cuddZddLin.c
• CUDD_MAXINDEX : cudd.h
• Cudd_Not : cudd.h
• Cudd_NotCond : cudd.h
• CUDD_OUT_OF_MEM : cudd.h
• Cudd_ReadIndex : cudd.h
• Cudd_Regular : cudd.h
• CUDD_RESIDUE_DEFAULT : cudd.h
• CUDD_RESIDUE_MSB : cudd.h
• CUDD_RESIDUE_TC : cudd.h
• CUDD_SWAP_MOVE : cuddLinear.c , cuddZddLin.c
• Cudd_T : cudd.h
• CUDD_UNIQUE_SLOTS : cudd.h
• Cudd_V : cudd.h
• CUDD_VALUE_TYPE : cudd.h
• CUDD_VERSION : cudd.h
• Cudd_zddForeachPath : cudd.h
• cuddAdjust : cuddInt.h
• cuddClean : cuddInt.h
• cuddDeallocMove : cuddInt.h
• cuddDeallocNode : cuddInt.h
• cuddDeref : cuddInt.h
• cuddE : cuddInt.h
• cuddI : cuddInt.h
• cuddIsConstant : cuddInt.h
• cuddIZ : cuddInt.h
• cuddRef : cuddInt.h
• cuddSatDec : cuddInt.h
• cuddSatInc : cuddInt.h
• cuddT : cuddInt.h
• cuddV : cuddInt.h