Here is a list of all file members with links to the files they belong to:

- c -

• cactive() : espresso.h, setc.c
• CADICAL_assert : global.h
• CADICAL_ATTRIBUTE_FORMAT : cadical.hpp
• cadical_completely_backtrack_to_root_level() : cadical_kitten.c
• cadical_getc_unlocked : file.hpp
• cadical_kitten : kitten.h
• cadical_kitten_add_prime_implicant() : cadical_kitten.c, kitten.h
• cadical_kitten_assume() : cadical_kitten.c, kitten.h
• cadical_kitten_assume_signed() : cadical_kitten.c, kitten.h
• cadical_kitten_binary() : cadical_kitten.c, kitten.h
• cadical_kitten_clause() : cadical_kitten.c, kitten.h
• cadical_kitten_clause_with_id_and_exception() : cadical_kitten.c, kitten.h
• cadical_kitten_clear() : cadical_kitten.c, kitten.h
• cadical_kitten_compute_clausal_core() : cadical_kitten.c, kitten.h
• cadical_kitten_compute_prime_implicant() : cadical_kitten.c, kitten.h
• cadical_kitten_current_ticks() : cadical_kitten.c, kitten.h
• cadical_kitten_failed() : cadical_kitten.c, kitten.h
• cadical_kitten_fixed() : cadical_kitten.c, kitten.h
• cadical_kitten_fixed_signed() : cadical_kitten.c, kitten.h
• cadical_kitten_flip_and_implicant_for_signed_literal() : cadical_kitten.c, kitten.h
• cadical_kitten_flip_literal() : cadical_kitten.c, kitten.h
• cadical_kitten_flip_phases() : cadical_kitten.c, kitten.h
• cadical_kitten_flip_signed_literal() : cadical_kitten.c, kitten.h
• cadical_kitten_init() : cadical_kitten.c, kitten.h
• cadical_kitten_no_terminator() : cadical_kitten.c, kitten.h
• cadical_kitten_no_ticks_limit() : cadical_kitten.c, kitten.h
• cadical_kitten_randomize_phases() : cadical_kitten.c, kitten.h
• cadical_kitten_release() : cadical_kitten.c, kitten.h
• cadical_kitten_set_terminator() : cadical_kitten.c, kitten.h
• cadical_kitten_set_ticks_limit() : cadical_kitten.c, kitten.h
• cadical_kitten_shrink_to_clausal_core() : cadical_kitten.c, kitten.h
• cadical_kitten_shuffle_clauses() : cadical_kitten.c, kitten.h
• cadical_kitten_signed_value() : cadical_kitten.c, kitten.h
• cadical_kitten_solve() : cadical_kitten.c, kitten.h
• cadical_kitten_status() : cadical_kitten.c, kitten.h
• cadical_kitten_trace_core() : cadical_kitten.c, kitten.h
• cadical_kitten_track_antecedents() : cadical_kitten.c, kitten.h
• cadical_kitten_traverse_core_clauses() : cadical_kitten.c, kitten.h
• cadical_kitten_traverse_core_clauses_with_id() : cadical_kitten.c, kitten.h
• cadical_kitten_traverse_core_ids() : cadical_kitten.c, kitten.h
• cadical_kitten_unit() : cadical_kitten.c, kitten.h
• cadical_kitten_value() : cadical_kitten.c, kitten.h
• CADICAL_NBUILD : global.h
• CADICAL_NCLOSEFROM : global.h
• CADICAL_NCONTRACTS : global.h
• CADICAL_NDEBUG : global.h
• cadical_new_learned_klause() : cadical_kitten.c
• CADICAL_NTRACING : global.h
• cadical_putc_unlocked : file.hpp
• CADICAL_QUIET : global.h
• cadical_solve_cnf() : cadicalSolver.c, cadicalSolver.h
• cadical_solver : cadicalSolver.h
• cadical_solver_addclause() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_addvar() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_delete() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_final() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_get_var_value() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_new() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_nvars() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_setnvars() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_solve() : cadicalSolver.c, cadicalSolver.h
• cadical_solver_test() : cadicalTest.c
• call_ends() : libSupport.c
• call_inits() : libSupport.c
• CALLOC : cadical_kitten.c, allocate.h
• calloc() : util_old.h
• candidate : fastel.c
• CANON_VERIFY : dauCanon.c
• CAPACITY_FIFO : fifo.h
• capacity_last_learned : internal.h
• CAPACITY_STACK : stack.h
• Card_AddCardinConstrPairWise() : giaSatMap.c
• Card_AddCardinSolver() : giaSatMap.c
• cautious_define_cube_size() : cubehack.c
• cb1_dsharp() : espresso.h, sharp.c
• cb_consensus() : espresso.h, essen.c
• cb_consensus_dist0() : espresso.h, essen.c
• cb_dsharp() : espresso.h, sharp.c
• cb_recur_dsharp() : espresso.h
• cb_recur_sharp() : espresso.h, sharp.c
• cb_sharp() : espresso.h, sharp.c
• Cba_BlastAdder() : cbaBlast.c
• Cba_BlastConst() : cbaBlast.c
• Cba_BlastDivider() : cbaBlast.c
• Cba_BlastDivider2() : cbaBlast.c
• Cba_BlastDividerSigned() : cbaBlast.c
• Cba_BlastFullAdder() : cbaBlast.c
• Cba_BlastFullAdderCtrl() : cbaBlast.c
• Cba_BlastFullAdderSubtr() : cbaBlast.c
• Cba_BlastLess() : cbaBlast.c
• Cba_BlastLess2() : cbaBlast.c
• Cba_BlastLess_rec() : cbaBlast.c
• Cba_BlastLessSigned() : cbaBlast.c
• Cba_BlastMinus() : cbaBlast.c
• Cba_BlastMultiplier() : cbaBlast.c
• Cba_BlastMultiplier2() : cbaBlast.c
• Cba_BlastPower() : cbaBlast.c
• Cba_BlastReduction() : cbaBlast.c
• Cba_BlastRotateLeft() : cbaBlast.c
• Cba_BlastRotateRight() : cbaBlast.c
• Cba_BlastShiftLeft() : cbaBlast.c
• Cba_BlastShiftRight() : cbaBlast.c
• Cba_BlastSqrt() : cbaBlast.c
• Cba_BlastSubtract() : cbaBlast.c
• Cba_BlastTable() : cbaBlast.c
• Cba_BlastZeroCondition() : cbaBlast.c
• Cba_BlifType_t : cbaReadBlif.c
• CBA_BOX_ABC : cbaTypes.h
• CBA_BOX_ABS : cbaTypes.h
• CBA_BOX_ADD : cbaTypes.h
• CBA_BOX_AND : cbaTypes.h
• CBA_BOX_BA : cbaTypes.h
• CBA_BOX_BAO : cbaTypes.h
• CBA_BOX_BN : cbaTypes.h
• CBA_BOX_BO : cbaTypes.h
• CBA_BOX_BOA : cbaTypes.h
• CBA_BOX_BUF : cbaTypes.h
• CBA_BOX_BX : cbaTypes.h
• CBA_BOX_CF : cbaTypes.h
• CBA_BOX_CONCAT : cbaTypes.h
• CBA_BOX_CT : cbaTypes.h
• CBA_BOX_CX : cbaTypes.h
• CBA_BOX_CZ : cbaTypes.h
• CBA_BOX_DEC : cbaTypes.h
• CBA_BOX_DFF : cbaTypes.h
• CBA_BOX_DFFCPL : cbaTypes.h
• CBA_BOX_DFFRS : cbaTypes.h
• CBA_BOX_DIV : cbaTypes.h
• CBA_BOX_EDEC : cbaTypes.h
• CBA_BOX_ENC : cbaTypes.h
• CBA_BOX_EQU : cbaTypes.h
• CBA_BOX_GATE : cbaTypes.h
• CBA_BOX_INV : cbaTypes.h
• CBA_BOX_LAND : cbaTypes.h
• CBA_BOX_LAST : cbaTypes.h
• CBA_BOX_LATCH : cbaTypes.h
• CBA_BOX_LATCHRS : cbaTypes.h
• CBA_BOX_LETHAN : cbaTypes.h
• CBA_BOX_LNAND : cbaTypes.h
• CBA_BOX_LNOR : cbaTypes.h
• CBA_BOX_LNOT : cbaTypes.h
• CBA_BOX_LOR : cbaTypes.h
• CBA_BOX_LTHAN : cbaTypes.h
• CBA_BOX_LUT : cbaTypes.h
• CBA_BOX_LXNOR : cbaTypes.h
• CBA_BOX_LXOR : cbaTypes.h
• CBA_BOX_MAJ : cbaTypes.h
• CBA_BOX_METHAN : cbaTypes.h
• CBA_BOX_MIN : cbaTypes.h
• CBA_BOX_MOD : cbaTypes.h
• CBA_BOX_MTHAN : cbaTypes.h
• CBA_BOX_MUL : cbaTypes.h
• CBA_BOX_MUX : cbaTypes.h
• CBA_BOX_NAND : cbaTypes.h
• CBA_BOX_NEQU : cbaTypes.h
• CBA_BOX_NMUX : cbaTypes.h
• CBA_BOX_NODE : cbaTypes.h
• CBA_BOX_NOR : cbaTypes.h
• CBA_BOX_OR : cbaTypes.h
• CBA_BOX_PENC : cbaTypes.h
• CBA_BOX_POW : cbaTypes.h
• CBA_BOX_PSEL : cbaTypes.h
• CBA_BOX_RAM : cbaTypes.h
• CBA_BOX_RAMBOX : cbaTypes.h
• CBA_BOX_RAML : cbaTypes.h
• CBA_BOX_RAMR : cbaTypes.h
• CBA_BOX_RAMS : cbaTypes.h
• CBA_BOX_RAMW : cbaTypes.h
• CBA_BOX_RAMWC : cbaTypes.h
• CBA_BOX_RAND : cbaTypes.h
• CBA_BOX_REM : cbaTypes.h
• CBA_BOX_RNAND : cbaTypes.h
• CBA_BOX_RNOR : cbaTypes.h
• CBA_BOX_ROR : cbaTypes.h
• CBA_BOX_ROTL : cbaTypes.h
• CBA_BOX_ROTR : cbaTypes.h
• CBA_BOX_RXNOR : cbaTypes.h
• CBA_BOX_RXOR : cbaTypes.h
• CBA_BOX_SEL : cbaTypes.h
• CBA_BOX_SHARP : cbaTypes.h
• CBA_BOX_SHARPL : cbaTypes.h
• CBA_BOX_SHIL : cbaTypes.h
• CBA_BOX_SHILA : cbaTypes.h
• CBA_BOX_SHIR : cbaTypes.h
• CBA_BOX_SHIRA : cbaTypes.h
• CBA_BOX_SLICE : cbaTypes.h
• CBA_BOX_SLTHAN : cbaTypes.h
• CBA_BOX_SMUL : cbaTypes.h
• CBA_BOX_SQRT : cbaTypes.h
• CBA_BOX_SUB : cbaTypes.h
• CBA_BOX_TABLE : cbaTypes.h
• CBA_BOX_TRI : cbaTypes.h
• CBA_BOX_XNOR : cbaTypes.h
• CBA_BOX_XOR : cbaTypes.h
• Cba_End() : cbaCom.c, mainInit.c
• Cba_FonGetName() : cbaWriteVer.c
• Cba_Init() : cbaCom.c, mainInit.c
• Cba_Man_t : cba.h
• Cba_ManBlast() : cba.h, cbaBlast.c
• Cba_ManCollapse() : cba.h, cbaNtk.c
• Cba_ManCreatePrimMap() : cba.h, cbaWriteVer.c
• Cba_ManDeriveFromGia() : cba.h, cbaNtk.c
• Cba_ManExtractGroup() : cba.h, cbaNtk.c
• Cba_ManExtractGroupInt() : cbaNtk.c
• Cba_ManForEachNtk : cba.h
• Cba_ManGetClpStats() : cbaNtk.c
• Cba_ManGetClpStats_rec() : cbaNtk.c
• Cba_ManGetSliceName() : cba.h, cbaWriteVer.c
• Cba_ManInsertAbc() : cba.h, cbaBlast.c
• Cba_ManInsertGia() : cba.h, cbaBlast.c
• Cba_ManInsertGroup() : cba.h, cbaNtk.c
• Cba_ManIsTopoOrder() : cba.h, cbaNtk.c
• Cba_ManPrintDistrib() : cba.h, cbaNtk.c
• Cba_ManPrintDistribStat() : cbaNtk.c
• Cba_ManReadBlif() : cba.h, cbaReadBlif.c
• Cba_ManReadCba() : cba.h, cbaCba.c
• Cba_ManReadVerilog() : cba.h, cbaReadVer.c
• Cba_ManWriteBlif() : cba.h, cbaWriteBlif.c
• Cba_ManWriteBlifArray() : cbaWriteBlif.c
• Cba_ManWriteBlifLines() : cbaWriteBlif.c
• Cba_ManWriteBlifNtk() : cbaWriteBlif.c
• Cba_ManWriteCba() : cba.h, cbaCba.c
• Cba_ManWriteConcat() : cbaWriteVer.c
• Cba_ManWriteFonName() : cbaWriteVer.c
• Cba_ManWriteFonRange() : cbaWriteVer.c
• Cba_ManWriteLineFile() : cbaWriteVer.c
• Cba_ManWriteVerilog() : cba.h, cbaWriteVer.c
• Cba_ManWriteVerilogNtk() : cbaWriteVer.c
• Cba_Ntk_t : cba.h
• Cba_NtkBlast() : cbaBlast.c
• Cba_NtkCheckComboLoop() : cba.h, cbaNtk.c
• Cba_NtkCheckComboLoop_rec() : cbaNtk.c
• Cba_NtkCiFonNum() : cba.h, cbaNtk.c
• Cba_NtkCoFinNum() : cba.h, cbaNtk.c
• Cba_NtkCollapse_rec() : cbaNtk.c
• Cba_NtkCollectDfs() : cba.h, cbaNtk.c
• Cba_NtkCollectDfs_rec() : cbaNtk.c
• Cba_NtkCollectDistrib() : cbaNtk.c
• Cba_NtkCollectGroupStats() : cbaNtk.c
• Cba_NtkCollectInFons() : cbaNtk.c
• Cba_NtkCollectOutFons() : cbaNtk.c
• Cba_NtkFindMissing() : cbaNtk.c
• Cba_NtkForEachBox : cba.h
• Cba_NtkForEachBoxComb : cba.h
• Cba_NtkForEachBoxPrim : cba.h
• Cba_NtkForEachBoxSeq : cba.h
• Cba_NtkForEachBoxUser : cba.h
• Cba_NtkForEachFinFon : cba.h
• Cba_NtkForEachFon : cba.h
• Cba_NtkForEachFonName : cba.h
• Cba_NtkForEachObj : cba.h
• Cba_NtkForEachObjType : cba.h
• Cba_NtkForEachPi : cba.h
• Cba_NtkForEachPiFon : cba.h
• Cba_NtkForEachPioOrder : cba.h
• Cba_NtkForEachPo : cba.h
• Cba_NtkForEachPoDriver : cba.h
• Cba_NtkForEachPoDriverFon : cba.h
• Cba_NtkInsertGroup() : cbaNtk.c
• Cba_NtkIsTopoOrder() : cbaNtk.c
• Cba_NtkMuxTree_rec() : cbaBlast.c
• Cba_NtkObjOrder() : cba.h, cbaNtk.c
• Cba_NtkPrepareBits() : cbaBlast.c
• Cba_NtkPrintDistrib() : cbaNtk.c
• Cba_NtkPrintDistribOld() : cba.h, cbaNtk.c
• Cba_NtkPrintDistribSortOne() : cbaNtk.c
• Cba_NtkPrintDistribStat() : cbaNtk.c
• Cba_NtkPrintNodes() : cba.h, cbaNtk.c
• Cba_NtkPrintStatsFull() : cba.h, cbaNtk.c
• CBA_OBJ_BOX : cbaTypes.h
• CBA_OBJ_NONE : cbaTypes.h
• CBA_OBJ_PI : cbaTypes.h
• CBA_OBJ_PO : cbaTypes.h
• Cba_ObjForEachFin : cba.h
• Cba_ObjForEachFinFanin : cba.h
• Cba_ObjForEachFinFaninReal : cba.h
• Cba_ObjForEachFinFon : cba.h
• Cba_ObjForEachFon : cba.h
• Cba_ObjGetName() : cbaWriteVer.c
• Cba_ObjType_t : cbaTypes.h
• CBA_PRS_CONCAT : cbaPrs.h
• CBA_PRS_CONST : cbaPrs.h
• CBA_PRS_NAME : cbaPrs.h
• CBA_PRS_SLICE : cbaPrs.h
• Cba_ReadHexDigit() : cbaBlast.c
• Cba_StrCmp() : cbaNtk.c
• Cba_StrCmpInt() : cbaNtk.c
• Cba_VecCopy() : cbaBlast.c
• Cba_VecLoadFanins() : cbaBlast.c
• Cba_VerType_t : cbaPrs.h
• Cbs0_Man_t : giaCSatOld.c
• Cbs0_ManAlloc() : giaCSatOld.c
• Cbs0_ManPropagate() : giaCSatOld.c
• Cbs0_ManSatPrintStats() : giaCSatOld.c
• Cbs0_ManSolve() : giaCSatOld.c
• Cbs0_ManSolve_rec() : giaCSatOld.c
• Cbs0_ManStop() : giaCSatOld.c
• Cbs0_Par_t : giaCSatOld.c
• Cbs0_Que_t : giaCSatOld.c
• Cbs0_QueForEachEntry : giaCSatOld.c
• Cbs0_ReadModel() : giaCSatOld.c
• Cbs0_SetDefaultParams() : giaCSatOld.c
• Cbs2_ClauseForEachEntry : giaCSat2.c
• Cbs2_ClauseForEachEntry1 : giaCSat2.c
• Cbs2_Man_t : giaCSat2.c
• Cbs2_ManAlloc() : giaCSat2.c
• Cbs2_ManCheckFanouts() : giaCSat2.c
• Cbs2_ManCreateFanout_rec() : giaCSat2.c
• Cbs2_ManDeleteFanout_rec() : giaCSat2.c
• Cbs2_ManPrintFanouts() : giaCSat2.c
• Cbs2_ManPropagate() : giaCSat2.c
• Cbs2_ManPropagate2() : giaCSat2.c
• Cbs2_ManSatPrintStats() : giaCSat2.c
• Cbs2_ManSetConflictNum() : giaCSat2.c
• Cbs2_ManSolve() : giaCSat2.c
• Cbs2_ManSolve1_rec() : giaCSat2.c
• Cbs2_ManSolve2() : giaCSat2.c
• Cbs2_ManSolve2_rec() : giaCSat2.c
• Cbs2_ManSolve_rec() : giaCSat2.c
• Cbs2_ManSolveMiterNc() : giaCSat2.c
• Cbs2_ManStop() : giaCSat2.c
• Cbs2_ManUpdateFrontier() : giaCSat2.c
• Cbs2_ObjCreateFanout() : giaCSat2.c
• Cbs2_ObjDeleteFanout() : giaCSat2.c
• Cbs2_ObjForEachFanout : giaCSat2.c
• Cbs2_ObjPrintFanouts() : giaCSat2.c
• Cbs2_Par_t : giaCSat2.c
• Cbs2_Que_t : giaCSat2.c
• Cbs2_QueForEachEntry : giaCSat2.c
• Cbs2_ReadModel() : giaCSat2.c
• Cbs2_SetDefaultParams() : giaCSat2.c
• Cbs3_ClauseForEachEntry : giaCSat3.c
• Cbs3_ClauseForEachEntry1 : giaCSat3.c
• Cbs3_Man_t : giaCSat3.c
• Cbs3_ManAlloc() : giaCSat3.c
• Cbs3_ManMemory() : giaCSat3.c
• Cbs3_ManPropagateNew() : giaCSat3.c
• Cbs3_ManSatPrintStats() : giaCSat3.c
• Cbs3_ManSetConflictNum() : giaCSat3.c
• Cbs3_ManSolve() : giaCSat3.c
• Cbs3_ManSolve2_rec() : giaCSat3.c
• Cbs3_ManSolveMiterNc() : giaCSat3.c
• Cbs3_ManStop() : giaCSat3.c
• Cbs3_ManUpdateJFrontier() : giaCSat3.c
• Cbs3_Par_t : giaCSat3.c
• Cbs3_Que_t : giaCSat3.c
• Cbs3_QueForEachEntry : giaCSat3.c
• Cbs3_ReadModel() : giaCSat3.c
• Cbs3_SetDefaultParams() : giaCSat3.c
• Cbs_ClauseForEachVar : giaCSat.c
• Cbs_ClauseForEachVar1 : giaCSat.c
• Cbs_Man_t : gia.h
• Cbs_ManAlloc() : gia.h, giaCSat.c
• Cbs_ManPropagate() : giaCSat.c
• Cbs_ManSatPrintStats() : giaCSat.c
• Cbs_ManSetConflictNum() : gia.h, giaCSat.c
• Cbs_ManSolve() : gia.h, giaCSat.c
• Cbs_ManSolve2() : gia.h, giaCSat.c
• Cbs_ManSolve_rec() : giaCSat.c
• Cbs_ManSolveMiter() : gia.h, giaCSatOld.c
• Cbs_ManSolveMiterNc() : gia.h, giaCSat.c
• Cbs_ManStop() : gia.h, giaCSat.c
• Cbs_Par_t : giaCSat.c
• Cbs_Que_t : giaCSat.c
• Cbs_QueForEachEntry : giaCSat.c
• Cbs_ReadModel() : gia.h, giaCSat.c
• CBS_SAT : giaCSatP.h
• Cbs_SetDefaultParams() : giaCSat.c
• CBS_UNDEC : giaCSatP.h
• CBS_UNSAT : giaCSatP.h
• CbsP_ClauseForEachVar : giaCSatP.c
• CbsP_ClauseForEachVar1 : giaCSatP.c
• CbsP_Man_t : giaCSatP.h
• CbsP_ManAlloc() : giaCSatP.c, giaCSatP.h
• CbsP_ManPropagate() : giaCSatP.c
• CbsP_ManSatPrintStats() : giaCSatP.c, giaCSatP.h
• CbsP_ManSetConflictNum() : giaCSatP.c
• CbsP_ManSolve() : giaCSatP.c
• CbsP_ManSolve2() : giaCSatP.c, giaCSatP.h
• CbsP_ManSolve_rec() : giaCSatP.c
• CbsP_ManSolveMiterNc() : giaCSatP.c
• CbsP_ManStop() : giaCSatP.c, giaCSatP.h
• CbsP_Par_t : giaCSatP.h
• CbsP_PrintRecord() : giaCSatP.c, giaCSatP.h
• CbsP_Que_t : giaCSatP.h
• CbsP_QueForEachEntry : giaCSatP.c
• CbsP_ReadModel() : giaCSatP.c
• CbsP_SetDefaultParams() : giaCSatP.c
• CCaDiCaL : ccadical.h
• ccadical_active() : cadical_ccadical.cpp, ccadical.h
• ccadical_add() : cadical_ccadical.cpp, ccadical.h
• ccadical_assume() : cadical_ccadical.cpp, ccadical.h
• ccadical_close_proof() : cadical_ccadical.cpp, ccadical.h
• ccadical_conclude() : cadical_ccadical.cpp, ccadical.h
• ccadical_constrain() : cadical_ccadical.cpp, ccadical.h
• ccadical_constraint_failed() : cadical_ccadical.cpp, ccadical.h
• ccadical_deref : ccadical.h
• ccadical_failed() : cadical_ccadical.cpp, ccadical.h
• ccadical_fixed() : cadical_ccadical.cpp, ccadical.h
• ccadical_freeze() : cadical_ccadical.cpp, ccadical.h
• ccadical_frozen() : cadical_ccadical.cpp, ccadical.h
• ccadical_get_option() : cadical_ccadical.cpp, ccadical.h
• ccadical_init() : cadical_ccadical.cpp, ccadical.h
• ccadical_irredundant() : cadical_ccadical.cpp, ccadical.h
• ccadical_is_inconsistent() : cadical_ccadical.cpp, ccadical.h
• ccadical_limit() : cadical_ccadical.cpp, ccadical.h
• ccadical_melt() : cadical_ccadical.cpp, ccadical.h
• ccadical_print_statistics() : cadical_ccadical.cpp, ccadical.h
• ccadical_release() : cadical_ccadical.cpp, ccadical.h
• ccadical_reserve() : cadical_ccadical.cpp, ccadical.h
• ccadical_reserve_difference() : cadical_ccadical.cpp, ccadical.h
• ccadical_reset : ccadical.h
• ccadical_sat : ccadical.h
• ccadical_set_learn() : cadical_ccadical.cpp, ccadical.h
• ccadical_set_option() : cadical_ccadical.cpp, ccadical.h
• ccadical_set_terminate() : cadical_ccadical.cpp, ccadical.h
• ccadical_signature() : cadical_ccadical.cpp, ccadical.h
• ccadical_simplify() : cadical_ccadical.cpp, ccadical.h
• ccadical_solve() : cadical_ccadical.cpp, ccadical.h
• ccadical_terminate() : cadical_ccadical.cpp, ccadical.h
• ccadical_trace_proof() : cadical_ccadical.cpp, ccadical.h
• ccadical_val() : cadical_ccadical.cpp, ccadical.h
• ccadical_vars() : cadical_ccadical.cpp, ccadical.h
• Ccf_Man_t : giaCCof.c
• Ccf_ManStart() : giaCCof.c
• Ccf_ManStop() : giaCCof.c
• ccommon() : espresso.h, setc.c
• cdist() : espresso.h, setc.c
• cdist0() : espresso.h, setc.c
• cdist01() : espresso.h, setc.c
• Cec2_AddClausesMux() : cecSat.c
• Cec2_AddClausesSuper() : cecSat.c
• Cec2_CollectSuper() : cecSat.c
• Cec2_CollectSuper_rec() : cecSat.c
• Cec2_Man_t : cecSat.c
• Cec2_ManCollect_rec() : cecSat.c
• Cec2_ManCreate() : cecSat.c
• Cec2_ManCreateClasses() : cecSat.c
• Cec2_ManDeriveCex() : cecSat.c
• Cec2_ManDestroy() : cecSat.c
• Cec2_ManPerformSweeping() : cecSat.c
• Cec2_ManPrintStats() : cecSat.c
• Cec2_ManSaveCis() : cecSat.c
• Cec2_ManSimAlloc() : cecSat.c
• Cec2_ManSimClassRefineOne() : cecSat.c
• Cec2_ManSimHashKey() : cecSat.c
• Cec2_ManSimulate() : cecSat.c
• Cec2_ManSimulateCis() : cecSat.c
• Cec2_ManSimulateCos() : cecSat.c
• Cec2_ManSimulateTest() : cecSat.c
• Cec2_ManSolveTwo() : cecSat.c
• Cec2_ManSweepNode() : cecSat.c
• Cec2_ManVerify() : cecSat.c
• Cec2_ManVerify_rec() : cecSat.c
• Cec2_ObjAddToFrontier() : cecSat.c
• Cec2_ObjGetCnfVar() : cecSat.c
• Cec2_Par_t : cecSat.c
• Cec2_SetDefaultParams() : cecSat.c
• Cec3_AddClausesMux() : cecSatG.c
• Cec3_AddClausesSuper() : cecSatG.c
• Cec3_CollectSuper() : cecSatG.c
• Cec3_CollectSuper_rec() : cecSatG.c
• Cec3_Man_t : cecSatG.c
• Cec3_ManCollect_rec() : cecSatG.c
• Cec3_ManCreate() : cecSatG.c
• Cec3_ManCreateClasses() : cecSatG.c
• Cec3_ManDeriveCex() : cecSatG.c
• Cec3_ManDestroy() : cecSatG.c
• Cec3_ManPerformSweeping() : cecSatG.c
• Cec3_ManPrintStats() : cecSatG.c
• Cec3_ManSaveCis() : cecSatG.c
• Cec3_ManSimAlloc() : cecSatG.c
• Cec3_ManSimClassRefineOne() : cecSatG.c
• Cec3_ManSimHashKey() : cecSatG.c
• Cec3_ManSimulate() : cecSatG.c
• Cec3_ManSimulateCis() : cecSatG.c
• Cec3_ManSimulateCos() : cecSatG.c
• Cec3_ManSimulateTest() : cecSatG.c
• Cec3_ManSolveTwo() : cecSatG.c
• Cec3_ManSweepNode() : cecSatG.c
• Cec3_ManVerify() : cecSatG.c
• Cec3_ManVerify_rec() : cecSatG.c
• Cec3_ObjAddToFrontier() : cecSatG.c
• Cec3_ObjGetCnfVar() : cecSatG.c
• Cec3_Par_t : cecSatG.c
• Cec3_SetDefaultParams() : cecSatG.c
• Cec4_AddClausesMux() : cecSatG2.c
• Cec4_AddClausesSuper() : cecSatG2.c
• Cec4_CallSATsolver() : cecSatG2.c
• Cec4_CollectSuper() : cecSatG2.c
• Cec4_CollectSuper_rec() : cecSatG2.c
• Cec4_EvalCombine() : cecSatG2.c
• Cec4_EvalPatterns() : cecSatG2.c
• Cec4_Man_t : cecSatG2.c
• Cec4_ManCandIterNext() : cecSatG2.c
• Cec4_ManCandIterStart() : cecSatG2.c
• Cec4_ManCexVerify() : cecSatG2.c
• Cec4_ManCexVerify_rec() : cecSatG2.c
• Cec4_ManClearCis() : cecSatG2.c
• Cec4_ManComputeMapping() : cecSatG2.c
• Cec4_ManConvertToLits() : cecSatG2.c
• Cec4_ManCreate() : cecSatG2.c
• Cec4_ManDeriveCex() : cecSatG2.c
• Cec4_ManDestroy() : cecSatG2.c
• Cec4_ManFindRepr() : cecSatG2.c
• Cec4_ManGeneratePatternOne() : cecSatG2.c
• Cec4_ManGeneratePatterns() : cecSatG2.c
• Cec4_ManGeneratePatterns_rec() : cecSatG2.c
• Cec4_ManMarkIndependentClasses() : giaEquiv.c
• Cec4_ManMarkIndependentClasses_rec() : giaEquiv.c
• Cec4_ManPackAddPattern() : cecSatG2.c
• Cec4_ManPackAddPatterns() : cecSatG2.c
• Cec4_ManPackAddPatternTry() : cecSatG2.c
• Cec4_ManPerformSweeping() : cecSatG2.c
• Cec4_ManPrintClasses() : cecSatG2.c
• Cec4_ManPrintClasses2() : cecSatG2.c
• Cec4_ManPrintStats() : cecSatG2.c
• Cec4_ManPrintTfiConeStats() : cecSatG2.c
• Cec4_ManSatSolverAnd_rec() : giaEquiv.c
• Cec4_ManSatSolverChoices() : giaEquiv.c
• Cec4_ManSatSolverChoices_rec() : giaEquiv.c
• Cec4_ManSatSolverRecycle() : cecSatG2.c
• Cec4_ManSetParams() : cecSatG2.c
• Cec4_ManSimAlloc() : cecSatG2.c
• Cec4_ManSimHashKey() : cecSatG2.c
• Cec4_ManSimulate() : cecSatG2.c
• Cec4_ManSimulate_rec() : cecSatG2.c
• Cec4_ManSimulateCis() : cecSatG2.c
• Cec4_ManSimulateCos() : cecSatG2.c
• Cec4_ManSimulateDumpInfo() : cecSatG2.c
• Cec4_ManSimulateOnlyTest() : cecSatG2.c
• Cec4_ManSimulateTest() : cecSatG2.c
• Cec4_ManSimulateTest2() : cecSatG2.c
• Cec4_ManSimulateTest3() : wlnRead.c, cecSatG2.c
• Cec4_ManSimulateTest4() : cecSatG2.c
• Cec4_ManSimulateTest5() : cecSatG2.c
• Cec4_ManSimulateTest5Int() : cecSatG2.c
• Cec4_ManSolveTwo() : cecSatG2.c
• Cec4_ManStartNew() : cecSatG2.c
• Cec4_ManSweepNode() : cecSatG2.c
• Cec4_ManVerify() : cecSatG2.c
• Cec4_ManVerify_rec() : cecSatG2.c
• Cec4_ManVerifyEquivs() : cecSatG2.c
• Cec4_ObjAddToFrontier() : cecSatG2.c
• Cec4_ObjGetCnfVar() : cecSatG2.c
• Cec4_RefineClasses() : cecSatG2.c
• Cec4_RefineInit() : cecSatG2.c
• Cec4_RefineOneClass() : cecSatG2.c
• Cec4_RefineOneClassIter() : cecSatG2.c
• Cec5_AddClausesMux() : cecSatG3.c
• Cec5_AddClausesSuper() : cecSatG3.c
• Cec5_ClearCexMarks() : cecSatG3.c
• Cec5_CollectSuper() : cecSatG3.c
• Cec5_CollectSuper_rec() : cecSatG3.c
• Cec5_EvalCombine() : cecSatG3.c
• Cec5_EvalPatterns() : cecSatG3.c
• Cec5_FlushCache2Pattern() : cecSatG3.c
• Cec5_Man_t : cecSatG3.c
• Cec5_ManCandIterNext() : cecSatG3.c
• Cec5_ManCandIterStart() : cecSatG3.c
• Cec5_ManCexVerify() : cecSatG3.c
• Cec5_ManCexVerify_rec() : cecSatG3.c
• Cec5_ManCheckGlobalSim() : cecSatG3.c
• Cec5_ManClearCis() : cecSatG3.c
• Cec5_ManCreate() : cecSatG3.c
• Cec5_ManDeriveCex() : cecSatG3.c
• Cec5_ManDestroy() : cecSatG3.c
• Cec5_ManExtend() : cecSatG3.c
• Cec5_ManFindRepr() : cecSatG3.c
• Cec5_ManGeneratePatternOne() : cecSatG3.c
• Cec5_ManGeneratePatterns() : cecSatG3.c
• Cec5_ManGeneratePatterns_rec() : cecSatG3.c
• Cec5_ManLoadInstance() : cecSatG3.c
• Cec5_ManPackAddPattern() : cecSatG3.c
• Cec5_ManPackAddPatterns() : cecSatG3.c
• Cec5_ManPackAddPatternTry() : cecSatG3.c
• Cec5_ManPerformSweeping() : cecSatG3.c
• Cec5_ManPrintClasses() : cecSatG3.c
• Cec5_ManPrintClasses2() : cecSatG3.c
• Cec5_ManPrintStats() : cecSatG3.c
• Cec5_ManPrintTfiConeStats() : cecSatG3.c
• Cec5_ManSatSolverRecycle() : cecSatG3.c
• Cec5_ManSetParams() : cecSatG3.c
• Cec5_ManSimAlloc() : cecSatG3.c
• Cec5_ManSimHashKey() : cecSatG3.c
• Cec5_ManSimulate() : cecSatG3.c
• Cec5_ManSimulate_rec() : cecSatG3.c
• Cec5_ManSimulateCis() : cecSatG3.c
• Cec5_ManSimulateCos() : cecSatG3.c
• Cec5_ManSimulateTest() : cecSatG3.c
• Cec5_ManSimulateTest3() : cecSatG3.c
• Cec5_ManSolveTwo() : cecSatG3.c
• Cec5_ManSolveTwoCbs() : cecSatG3.c
• Cec5_ManStartNew() : cecSatG3.c
• Cec5_ManSweepNode() : cecSatG3.c
• Cec5_ManSweepNodeCbs() : cecSatG3.c
• Cec5_ManVerify() : cecSatG3.c
• Cec5_ManVerify_rec() : cecSatG3.c
• Cec5_ObjAddToFrontier() : cecSatG3.c
• Cec5_ObjGetCnfVar() : cecSatG3.c
• Cec5_RefineClasses() : cecSatG3.c
• Cec5_RefineInit() : cecSatG3.c
• Cec5_RefineOneClass() : cecSatG3.c
• Cec5_RefineOneClassIter() : cecSatG3.c
• Cec_AddClausesMux() : cecSolve.c
• Cec_AddClausesSuper() : cecSolve.c
• Cec_CnfNodeAddToSolver() : cecSolve.c
• Cec_CollectSuper() : cecSolve.c
• Cec_CollectSuper_rec() : cecSolve.c
• Cec_ComputeChoices() : cecChoice.c
• Cec_ComputeChoicesNew() : cecChoice.c
• Cec_ComputeChoicesNew2() : cecChoice.c
• Cec_DeriveSOPs() : cecSatG2.c
• Cec_FraigCombinational() : cecCec.c
• Cec_GiaProveTest() : cecProve.c
• Cec_GiaSplitTest() : cecSplit.c
• Cec_LatchCorrespondence() : cecCec.c
• Cec_ManCecSetDefaultParams() : cec.h, cecCore.c
• Cec_ManChcSetDefaultParams() : cec.h, cecCore.c
• Cec_ManCheckNonTrivialCands() : cec.h, cecInt.h, cecSeq.c
• Cec_ManCheckSat2() : cecSimBack.c
• Cec_ManCheckSat2_rec() : cecSimBack.c
• Cec_ManCheckSat_rec() : cecSimBack.c
• Cec_ManChoiceComputation() : cec.h, cecChoice.c
• Cec_ManChoiceComputation_int() : cecChoice.c
• Cec_ManChoiceComputationVec() : cecChoice.c
• Cec_ManCombSpecReduce() : cecChoice.c
• Cec_ManComputeInitState() : cecCorr.c
• Cec_ManCorSetDefaultParams() : cec.h, cecCore.c
• Cec_ManCountLits() : cecCorr.c
• Cec_ManCountNonConstOutputs() : cecInt.h, cecSeq.c
• Cec_ManDetectIsomorphism() : cecInt.h, cecIso.c
• Cec_ManFra_t : cecInt.h
• Cec_ManFraClassesUpdate() : cecInt.h, cecSweep.c
• Cec_ManFraClassesUpdate_rec() : cecSweep.c
• Cec_ManFraCreateInfo() : cecSweep.c
• Cec_ManFraSetDefaultParams() : cec.h, cecCore.c
• Cec_ManFraSpecReduction() : cecInt.h, cecSweep.c
• Cec_ManFraStart() : cecInt.h, cecMan.c
• Cec_ManFraStop() : cecInt.h, cecMan.c
• Cec_ManHandleSpecialCases() : cecCec.c
• Cec_ManLoadCounterExamples() : cecCorr.c
• Cec_ManLoadCounterExamples2() : cecCorr.c
• Cec_ManLoadCounterExamplesTry() : cecCorr.c
• Cec_ManLSCorrAnalyzeDependence() : cecCorr.c
• Cec_ManLSCorrespondence() : cec.h, cecCorr.c
• Cec_ManLSCorrespondenceBmc() : cecCorr.c
• Cec_ManLSCorrespondenceClasses() : cec.h, cecCorr.c
• Cec_ManPat_t : cecInt.h
• Cec_ManPatCleanMark0() : cecPat.c
• Cec_ManPatCollectPatterns() : cecInt.h, cecPat.c
• Cec_ManPatCollectTry() : cecPat.c
• Cec_ManPatComputePattern1_rec() : cecPat.c
• Cec_ManPatComputePattern2_rec() : cecPat.c
• Cec_ManPatComputePattern3_rec() : cecPat.c
• Cec_ManPatComputePattern4_rec() : cecPat.c
• Cec_ManPatComputePattern_rec() : cecPat.c
• Cec_ManPatPackPatterns() : cecInt.h, cecPat.c
• Cec_ManPatPrintStats() : cecInt.h, cecMan.c
• Cec_ManPatSavePattern() : cecInt.h, cecPat.c
• Cec_ManPatSavePatternCSat() : cecInt.h, cecPat.c
• Cec_ManPatStart() : cecInt.h, cecMan.c
• Cec_ManPatStop() : cecInt.h, cecMan.c
• Cec_ManPatVerifyPattern() : cecPat.c
• Cec_ManPrintFlopEquivs() : cecCorr.c
• Cec_ManRefinedClassPrintStats() : cecCorr.c, cecInt.h
• Cec_ManResimulateCounterExamples() : cecCorr.c
• Cec_ManResimulateCounterExamplesComb() : cecChoice.c, cecCorr.c
• Cec_ManS_t : cecSim.c
• Cec_ManSat_t : cecInt.h
• Cec_ManSatAddToStore() : cecSolve.c
• Cec_ManSatCheckNode() : cecInt.h, cecSolve.c
• Cec_ManSatCheckNodeTwo() : cecInt.h, cecSolve.c
• Cec_ManSatCreate() : cecInt.h, cecMan.c
• Cec_ManSatPrintStats() : cecInt.h, cecMan.c
• Cec_ManSatReadCex() : cecInt.h, cecSolve.c
• Cec_ManSatSetDefaultParams() : cec.h, cecCore.c
• Cec_ManSatSolve() : cecInt.h, cecSolve.c
• Cec_ManSatSolveCSat() : cecInt.h, cecSolve.c
• Cec_ManSatSolveExractPattern() : cecSolve.c
• Cec_ManSatSolveMiter() : cecInt.h, cecSolve.c
• Cec_ManSatSolveMiter_rec() : cecSolve.c
• Cec_ManSatSolverRecycle() : cecSolve.c
• Cec_ManSatSolveSeq() : cecInt.h, cecSolve.c
• Cec_ManSatSolveSeq_rec() : cecSolve.c
• Cec_ManSatSolving() : cec.h, cecCore.c
• Cec_ManSatStop() : cecInt.h, cecMan.c
• Cec_ManSatSweeping() : cec.h, cecCore.c
• Cec_ManSavePattern() : cecInt.h, cecSolve.c
• Cec_ManScorrCorrespondence() : abcScorr.c
• Cec_ManSeqDeriveInfoFromCex() : cecSeq.c
• Cec_ManSeqDeriveInfoInitRandom() : cecInt.h, cecSeq.c
• Cec_ManSeqResimulate() : cecInt.h, cecSeq.c
• Cec_ManSeqResimulateCounter() : cec.h, cecSeq.c
• Cec_ManSeqResimulateInfo() : cecInt.h, cecSeq.c
• Cec_ManSeqSemiformal() : cec.h, cecSeq.c
• Cec_ManSim_t : cecInt.h
• Cec_ManSimAnalyzeOutputs() : cecClass.c
• Cec_ManSimBack() : cecSimBack.c
• Cec_ManSimClassCreate() : cecClass.c
• Cec_ManSimClassesPrepare() : cecClass.c, cecInt.h
• Cec_ManSimClassesRefine() : cecClass.c, cecInt.h
• Cec_ManSimClassRefineOne() : cecClass.c
• Cec_ManSimClassRefineOne_() : cecClass.c
• Cec_ManSimClassRefineOne_rec() : cecClass.c
• Cec_ManSimClassRemoveOne() : cecClass.c, cecInt.h
• Cec_ManSimCompareConst() : cecClass.c
• Cec_ManSimCompareConstFirstBit() : cecClass.c
• Cec_ManSimCompareConstScore() : cecClass.c
• Cec_ManSimCompareEqual() : cecClass.c
• Cec_ManSimCompareEqualFirstBit() : cecClass.c
• Cec_ManSimCompareEqualScore() : cecClass.c
• Cec_ManSimCreateInfo() : cecClass.c
• Cec_ManSimFindBestPattern() : cecClass.c
• Cec_ManSimHashKey() : cecClass.c
• Cec_ManSimMemRelink() : cecClass.c
• Cec_ManSimProcessRefined() : cecClass.c
• Cec_ManSimSavePattern() : cecClass.c
• Cec_ManSimSetDefaultParams() : cec.h, cecCore.c
• Cec_ManSimSimDeref() : cecClass.c
• Cec_ManSimSimRef() : cecClass.c
• Cec_ManSimSimulateRound() : cecClass.c, cecInt.h
• Cec_ManSimStart() : cecInt.h, cecMan.c
• Cec_ManSimStop() : cecInt.h, cecMan.c
• Cec_ManSimulation() : cec.h, cecCore.c
• Cec_ManSimulationOne() : cecCore.c
• Cec_ManSInsert() : cecSim.c
• Cec_ManSmfSetDefaultParams() : cec.h, cecCore.c
• Cec_ManSRunImply() : cecSim.c
• Cec_ManSRunPropagate() : cecSim.c
• Cec_ManSRunSim() : cecSim.c
• Cec_ManSRunSimInt() : cecSim.c
• Cec_ManSRunTest() : cecSim.c
• Cec_ManSStart() : cecSim.c
• Cec_ManSStop() : cecSim.c
• Cec_ManStartSimInfo() : cecCorr.c
• Cec_ManSVerify() : cecSim.c
• Cec_ManSVerify_rec() : cecSim.c
• Cec_ManSVerifyTwo() : cecSim.c
• Cec_ManTransformClasses() : cecIso.c
• Cec_ManTransformPattern() : cecCec.c
• Cec_ManVerify() : cec.h, cecCec.c
• Cec_ManVerifyNaive() : cecCec.c
• Cec_ManVerifyOld() : cecCec.c
• Cec_ManVerifySimple() : cec.h, cecCec.c
• Cec_ManVerifyTwo() : cec.h, cecCec.c
• Cec_ManVerifyTwoAigs() : cecCec.c
• Cec_ManVerifyTwoInv() : cec.h, cecCec.c
• Cec_ObjAddToFrontier() : cecSolve.c
• Cec_ObjSatVarValue() : cecInt.h, cecSolve.c
• Cec_ObjSatVerify() : cecSimBack.c
• Cec_ParCec_t : cec.h
• Cec_ParChc_t : cec.h
• Cec_ParCor_t : cec.h
• Cec_ParFra_t : cec.h
• Cec_ParSat_t : cec.h
• Cec_ParSeq_t : cec.h
• Cec_ParSim_t : cec.h
• Cec_ParSimGen_t : cec.h
• Cec_ParSmf_t : cec.h
• Cec_RemoveNonLutNodes() : cecSatG2.c
• Cec_SeqReadMinDomSize() : cec.h, cecSynth.c
• Cec_SeqReadVerbose() : cec.h, cecSynth.c
• Cec_SeqSynthesisSetDefaultParams() : cec.h, cecSynth.c
• Cec_SequentialSynthesisPart() : cec.h, cecSynth.c
• Cec_SetActivityFactors() : cecSolve.c
• Cec_SetActivityFactors_rec() : cecSolve.c
• Cec_SignalCorrespondence() : cecCec.c
• Cec_SimGenRun() : cecSatG2.c
• Cec_SimGenSetParDefault() : cecSatG2.c
• CecG_AddClausesMux() : cecSolveG.c
• CecG_AddClausesSuper() : cecSolveG.c
• CecG_CnfNodeAddToSolver() : cecSolveG.c
• CecG_CollectSuper() : cecSolveG.c
• CecG_CollectSuper_rec() : cecSolveG.c
• CecG_ManSatCheckNode() : cecSolveG.c
• CecG_ManSatSolve() : cecInt.h, cecSolveG.c
• CecG_ManSatSolverRecycle() : cecSolveG.c
• CecG_ObjAddToFrontier() : cecSolveG.c
• CecG_ObjSatVarValue() : cecSolveG.c
• CELL_FREE : extraBddKmap.c
• CELL_FULL : extraBddKmap.c
• CELL_NUM : wlnRead.c
• cells : abcPlace.c
• cellSortByID() : place_base.c, place_base.h
• cellSortByX() : place_base.c, place_base.h
• cellSortByY() : place_base.c, place_base.h
• Cex_ManGenCex() : cecSolve.c
• Cex_ManGenSimple() : cecSolve.c
• CGLUCOSE_EXP : CGlucose.h
• Cgt_CheckImplication() : cgtInt.h, cgtSat.c
• Cgt_ClockGating() : cgt.h, cgtCore.c
• Cgt_ClockGatingCandidates() : cgt.h, cgtCore.c
• Cgt_ClockGatingInt() : cgt.h, cgtCore.c
• Cgt_ClockGatingRange() : cgtCore.c
• Cgt_ClockGatingRangeCheck() : cgtCore.c
• Cgt_Man_t : cgtInt.h
• Cgt_ManBuildClockGate() : cgtAig.c
• Cgt_ManCheckGateComplete() : cgtDecide.c
• Cgt_ManClean() : cgtInt.h, cgtMan.c
• Cgt_ManCollectFanoutPos() : cgtDecide.c
• Cgt_ManCollectFanoutPos_rec() : cgtDecide.c
• Cgt_ManCollectVisited() : cgtAig.c
• Cgt_ManCollectVisited_rec() : cgtAig.c
• Cgt_ManCompleteGates() : cgtDecide.c
• Cgt_ManComputeCoverage() : cgtDecide.c
• Cgt_ManConstructCare() : cgtAig.c
• Cgt_ManConstructCare_rec() : cgtAig.c
• Cgt_ManConstructCareCondition() : cgtAig.c
• Cgt_ManCreate() : cgtInt.h, cgtMan.c
• Cgt_ManDecideArea() : cgtDecide.c, cgtInt.h
• Cgt_ManDecideSimple() : cgtDecide.c, cgtInt.h
• Cgt_ManDeriveAigForGating() : cgtAig.c, cgtInt.h
• Cgt_ManDeriveGatedAig() : cgtAig.c, cgtInt.h
• Cgt_ManDetectCandidates() : cgtAig.c, cgtInt.h
• Cgt_ManDetectCandidates_rec() : cgtAig.c
• Cgt_ManDetectFanout() : cgtAig.c
• Cgt_ManDetectFanout_rec() : cgtAig.c
• Cgt_ManDupPartition() : cgtAig.c, cgtInt.h
• Cgt_ManDupPartition_rec() : cgtAig.c
• Cgt_ManPrintStats() : cgtMan.c
• Cgt_ManStop() : cgtInt.h, cgtMan.c
• Cgt_Par_t : cgt.h
• Cgt_SetDefaultParams() : cgt.h, cgtCore.c
• Cgt_SimulationFilter() : cgtCore.c
• Cgt_SimulationRecord() : cgtCore.c
• changes : kimits.h
• Char : bzlib_private.h
• charf : zconf.h
• CHECK : inflate.h
• CHECK_AND_ADD_BINARY : check.h
• CHECK_AND_ADD_CLAUSE : check.h
• CHECK_AND_ADD_EMPTY : check.h
• CHECK_AND_ADD_LITS : check.h
• CHECK_AND_ADD_STACK : check.h
• CHECK_AND_ADD_TERNARY : check.h
• CHECK_AND_ADD_UNIT : check.h
• check_and_gate_implied : congruence.c
• check_and_lits_normalized : congruence.c
• check_arg() : main.c
• check_consistency() : espresso.h, verify.c
• check_equiv() : equiv.c, espresso.h
• CHECK_FACTOR : extraBddTime.c
• CHECK_HEAP_IMPORTED : inlineheap.h
• check_implication() : cecSatG2.c
• check_ite_gate_implied : congruence.c
• check_ite_implied : congruence.c
• check_ite_lits_normalized : congruence.c
• check_lits_sorted : congruence.c
• check_match : deflate.c
• CHECK_RANKED : rank.h
• CHECK_SHRINK_CLAUSE : check.h
• CHECK_SORTED : sort.h
• check_ternary : congruence.c
• check_xor_gate_implied : congruence.c
• check_xor_lits_normalized : congruence.c
• checkAllBoolHaveAIGPointer() : liveness.c, ltl_parser.c
• CheckAndInsert() : exorList.c
• checkBooleanConstant() : ltl_parser.c
• checkCompatibilityCube() : cecSatG2.c
• checkCompatibilityImplication() : cecSatG2.c
• checkEquivalence() : abcBm.c
• CheckForCloseCubes() : exor.h, exorList.c
• checkListConsistency() : abcBm.c
• checkMonotoneSignal() : kLiveConstraints.c
• checkSanityOfKnownMonotone() : monotone.c
• checkSignalNameExistence() : liveness.c, ltl_parser.c
• cinfo : exor.h
• citten_clause_with_id() : cadical_kitten.c, kitten.h
• citten_clause_with_id_and_equivalence() : cadical_kitten.c, kitten.h
• citten_clause_with_id_and_exception() : cadical_kitten.c, kitten.h
• cla : satVec.h
• Cla_Man_t : fraClau.c
• classification : classify.h
• clause : satClause.h, clause.h
• CLAUSE_ACT_INIT_INC : types.h
• clause_act_t : types.h
• CLAUSE_DECAY : abcSaucy.c
• clause_foreach_var : satSolver2.c
• CLAUSES : statistics.h
• CLEAR_ARRAY : array.h
• CLEAR_BH : blocksort.c
• CLEAR_FIFO : fifo.h
• CLEAR_HASH : deflate.c
• CLEAR_STACK : stack.h
• clearerr() : util_old.h
• CLEARMASK : blocksort.c
• CLIQUE_PENALTY : place_gordian.h
• CLOGANDGATE : congruence.c
• CLOGITEGATE : congruence.c
• CLOGREPR : congruence.c
• CLOGXORGATE : congruence.c
• close_libs() : libSupport.c
• closure : congruence.c
• CLOUD_ASSERT : cloud.h
• Cloud_bddAnd() : cloud.c, cloud.h
• Cloud_bddOr() : cloud.c, cloud.h
• Cloud_bddPrint() : cloud.c, cloud.h
• Cloud_bddPrintCube() : cloud.c, cloud.h
• Cloud_bddXor() : cloud.c
• Cloud_CacheAllocate() : cloud.c, cloud.h
• CLOUD_CONST_INDEX : cloud.h
• Cloud_DagCollect() : cloud.c, cloud.h
• Cloud_DagSize() : cloud.c, cloud.h
• Cloud_E : cloud.h
• Cloud_GetOneCube() : cloud.c, cloud.h
• Cloud_Init() : cloud.c, cloud.h
• Cloud_IsComplement : cloud.h
• Cloud_IsConstant : cloud.h
• Cloud_MakeNode() : cloud.c, cloud.h
• CLOUD_MARK_OFF : cloud.h
• CLOUD_MARK_ON : cloud.h
• CLOUD_NODE_BITS : cloud.h
• Cloud_Not : cloud.h
• Cloud_NotCond : cloud.h
• CLOUD_OPER_AND : cloud.h
• CLOUD_OPER_BDIFF : cloud.h
• CLOUD_OPER_LEQ : cloud.h
• CLOUD_OPER_XOR : cloud.h
• Cloud_PrintHashTable() : cloud.c, cloud.h
• Cloud_PrintInfo() : cloud.c, cloud.h
• Cloud_Quit() : cloud.c, cloud.h
• Cloud_Regular : cloud.h
• Cloud_Restart() : cloud.c, cloud.h
• Cloud_SharingSize() : cloud.c, cloud.h
• Cloud_Support() : cloud.c, cloud.h
• Cloud_SupportSize() : cloud.c, cloud.h
• Cloud_T : cloud.h
• Cloud_V : cloud.h
• cloudBddAnd() : cloud.c
• CloudCacheEntry1 : cloud.h
• CloudCacheEntry2 : cloud.h
• CloudCacheEntry3 : cloud.h
• cloudCacheInsert1 : cloud.h
• cloudCacheInsert2 : cloud.h
• cloudCacheInsert3 : cloud.h
• cloudCacheLookup1 : cloud.h
• cloudCacheLookup2 : cloud.h
• cloudCacheLookup3 : cloud.h
• cloudE : cloud.h
• cloudHashBuddy2 : cloud.h
• cloudHashBuddy3 : cloud.h
• cloudHashCudd2 : cloud.h
• cloudHashCudd3 : cloud.h
• cloudIsConstant : cloud.h
• CloudManager : cloud.h
• CloudNode : cloud.h
• cloudNodeIsMarked : cloud.h
• cloudNodeMark : cloud.h
• cloudNodeUnmark : cloud.h
• CloudOper : cloud.h
• CloudSign : cloud.h
• cloudT : cloud.h
• cloudV : cloud.h
• CloudVar : cloud.h
• Clu_Man_t : fraClaus.c
• CLU_MEM_MAX : ifDec16.c, ifDec66.c
• CLU_UNUSED : ifDec16.c, ifDec66.c
• CLU_VAR_MAX : ifDec16.c, ifDec66.c
• CLU_WRD_MAX : ifDec16.c
• CMD_AUTO_ARG_MAX : cmdAuto.c
• CMD_AUTO_LINE_MAX : cmdAuto.c
• Cmd_CommandAbcLoadPlugIn() : cmd.c, cmdPlugin.c
• Cmd_CommandAbcPlugIn() : cmdPlugin.c
• Cmd_CommandAdd() : cmd.h, cmdApi.c
• Cmd_CommandExecute() : cmd.h, cmdApi.c, abcapis.h, abcapis_old.h, demo.c
• Cmd_CommandFuncType : cmd.h
• Cmd_CommandHandleSpecial() : cmdApi.c
• Cmd_CommandIsDefined() : cmd.h, cmdApi.c
• Cmd_CommandSGen() : cmdUtils.c
• Cmd_DeriveConvertIntoString() : cmdAuto.c
• Cmd_DeriveOptionFromSettings() : cmdAuto.c
• Cmd_End() : cmd.c, cmd.h, mainInit.c
• Cmd_FlagDeleteByName() : cmd.h, cmdFlag.c
• Cmd_FlagReadByName() : cmd.h, cmdFlag.c
• Cmd_FlagUpdateValue() : cmd.h, cmdFlag.c
• Cmd_GenScript() : cmdUtils.c
• Cmd_HistoryAddCommand() : cmd.h, cmdHist.c
• Cmd_HistoryPrint() : cmd.h, cmdHist.c
• Cmd_HistoryRead() : cmd.h, cmdHist.c
• Cmd_HistoryWrite() : cmd.h, cmdHist.c
• Cmd_Init() : cmd.c, cmd.h, mainInit.c
• Cmd_ReadFiles() : cmdAuto.c
• Cmd_ReadParamChoices() : cmdAuto.c
• Cmd_RunAutoTuner() : cmdAuto.c
• Cmd_RunAutoTunerEval() : cmdAuto.c
• Cmd_RunAutoTunerEvalSimple() : cmdAuto.c
• Cmd_RunAutoTunerPrintOptions() : cmdAuto.c
• Cmd_RunStarter() : cmdStarter.c
• CmdAddToArgv() : cmdInt.h, cmdUtils.c
• CmdApplyAlias() : cmdInt.h, cmdUtils.c
• cmdCheckShellEscape() : cmdUtils.c
• CmdCollectFileNames() : cmdLoad.c
• CmdCommandAliasAdd() : cmdAlias.c, cmdInt.h
• CmdCommandAliasFree() : cmdAlias.c, cmdInt.h
• CmdCommandAliasLookup() : cmdAlias.c, cmdInt.h
• CmdCommandAliasPrint() : cmdAlias.c, cmdInt.h
• CmdCommandDispatch() : cmdInt.h, cmdUtils.c
• CmdCommandFree() : cmdInt.h, cmdUtils.c
• CmdCommandLoad() : cmd.h, cmdLoad.c
• CmdCommandPrint() : cmdInt.h, cmdUtils.c
• CmdDupArgv() : cmdUtils.c
• CmdFileOpen() : cmdInt.h, cmdUtils.c
• CmdFreeArgv() : cmdInt.h, cmdUtils.c
• CmdHistorySubstitution() : cmdInt.h, cmdUtils.c
• CmdNamePrintCompare() : cmdUtils.c
• CmdPrintTable() : cmdInt.h, cmdUtils.c
• CmdReturnFileNames() : cmd.c
• CmdSplitLine() : cmdInt.h, cmdUtils.c
• Cmf_CreateOptions() : cmdAuto.c
• Cmf_CreateOptions_rec() : cmdAuto.c
• Cnf_AddCardinConstrGeneral() : bmcFault.c
• Cnf_AddCardinConstrPairWise() : bmcFault.c
• Cnf_AddCardinConstrTest() : bmcFault.c
• Cnf_CnfForClause : cnf.h
• Cnf_CollectLeaves() : cnf.h, cnfFast.c
• Cnf_CollectLeaves_rec() : cnfFast.c
• Cnf_CollectVolume() : cnfFast.c
• Cnf_CollectVolume_rec() : cnfFast.c
• Cnf_ComputeClauses() : cnf.h, cnfFast.c
• Cnf_CountCnfSize() : cnfFast.c
• Cnf_Cut_t : cnf.h
• Cnf_CutAlloc() : cnfCut.c
• Cnf_CutAssignAreaFlow() : cnfMap.c
• Cnf_CutCompose() : cnf.h, cnfCut.c
• Cnf_CutCountClauses() : cnfFast.c
• Cnf_CutCreate() : cnf.h, cnfCut.c
• Cnf_CutDeref() : cnfCut.c
• Cnf_CutDeriveTruth() : cnfFast.c
• Cnf_CutForEachLeaf : cnf.h
• Cnf_CutFree() : cnf.h, cnfCut.c
• Cnf_CutInsertIthVar() : cnfCut.c
• Cnf_CutPrint() : cnf.h, cnfCut.c
• Cnf_CutRef() : cnfCut.c
• Cnf_CutRemoveIthVar() : cnfCut.c
• Cnf_CutSuperAreaFlow() : cnfMap.c
• Cnf_CutUpdateRefs() : cnf.h, cnfCut.c
• Cnf_Dat_t : cnf.h
• Cnf_DataAddXorClause() : cnf.h, cnfMan.c
• Cnf_DataAlloc() : cnf.h, cnfMan.c
• Cnf_DataBestVar() : cnfUtil.c
• Cnf_DataCollectCiSatNums() : cnf.h, cnfUtil.c
• Cnf_DataCollectCoSatNums() : cnf.h, cnfUtil.c
• Cnf_DataCollectFlipLits() : cnf.h, cnfMan.c
• Cnf_DataCollectPiSatNums() : cnf.h, cnfMan.c
• Cnf_DataDeriveLitPolarities() : cnf.h, cnfUtil.c
• Cnf_DataDup() : cnf.h, cnfMan.c
• Cnf_DataDupCof() : cnf.h, cnfMan.c
• Cnf_DataDupCofArray() : cnf.h, cnfMan.c
• Cnf_DataFree() : cnf.h, cnfMan.c
• Cnf_DataLift() : cnf.h, cnfMan.c
• Cnf_DataLiftAndFlipLits() : cnf.h, cnfMan.c
• Cnf_DataPrint() : cnf.h, cnfMan.c
• Cnf_DataReadFromFile() : cnf.h, cnfUtil.c
• Cnf_DataSolveFromFile() : cnfUtil.c
• Cnf_DataTranformPolarity() : cnf.h, cnfMan.c
• Cnf_DataWriteAndClauses() : cnf.h, cnfMan.c
• Cnf_DataWriteIntoFile() : cnf.h, cnfMan.c
• Cnf_DataWriteIntoFileGz() : cnfMan.c
• Cnf_DataWriteIntoFileInv() : cnf.h, cnfMan.c
• Cnf_DataWriteIntoFileInvGz() : cnfMan.c
• Cnf_DataWriteIntoSolver() : relationGeneration.cpp, cnf.h, cnfMan.c
• Cnf_DataWriteIntoSolver2() : cnfMan.c
• Cnf_DataWriteIntoSolverInt() : cnf.h, cnfMan.c
• Cnf_DataWriteOrClause() : cnf.h, cnfMan.c
• Cnf_DataWriteOrClause2() : cnfMan.c
• Cnf_Derive() : cnf.h, cnfCore.c
• Cnf_DeriveFast() : cnf.h, cnfFast.c
• Cnf_DeriveFastClauses() : cnfFast.c
• Cnf_DeriveFastMark() : cnf.h, cnfFast.c
• Cnf_DeriveMapping() : cnf.h, cnfMap.c
• Cnf_DeriveMappingArray() : cnf.h, cnfCore.c
• Cnf_DeriveOther() : cnf.h, cnfCore.c
• Cnf_DeriveOtherWithMan() : cnf.h, cnfCore.c
• Cnf_DeriveSimple() : cnf.h, cnfWrite.c
• Cnf_DeriveSimpleForRetiming() : cnf.h, cnfWrite.c
• Cnf_DeriveWithMan() : cnf.h, cnfCore.c
• Cnf_Experiment1() : cnfUtil.c
• Cnf_GenRandLits() : cnfUtil.c
• Cnf_IsopCountLiterals() : cnfWrite.c
• Cnf_IsopWriteCube() : cnfWrite.c
• Cnf_Man_t : cnf.h
• Cnf_ManFree() : cnf.h, cnfCore.c
• Cnf_ManFreeCuts() : cnf.h, cnfPost.c
• Cnf_ManMapForCnf() : cnf.h
• Cnf_ManPostprocess() : cnf.h, cnfPost.c
• Cnf_ManPostprocess_old() : cnfPost.c
• Cnf_ManPrepare() : cnf.h, cnfCore.c
• Cnf_ManRead() : cnf.h, cnfCore.c
• Cnf_ManScanMapping() : cnf.h, cnfUtil.c
• Cnf_ManScanMapping_rec() : cnfUtil.c
• Cnf_ManStart() : cnf.h, cnfMan.c
• Cnf_ManStop() : cnf.h, cnfMan.c
• Cnf_ManTransferCuts() : cnf.h, cnfPost.c
• Cnf_ManWriteCnf() : cnf.h, cnfWrite.c
• Cnf_ManWriteCnfMapping() : cnf.h, cnfWrite.c
• Cnf_ManWriteCnfOther() : cnf.h, cnfWrite.c
• Cnf_ReadMsops() : cnf.h, cnfData.c
• Cnf_RunSolver() : cnfUtil.c
• Cnf_RunSolverArray() : cnfUtil.c
• Cnf_RunSolverOnce() : cnfUtil.c
• Cnf_SopConvertToVector() : cnf.h, cnfWrite.c
• Cnf_SopCountLiterals() : cnfWrite.c
• Cnf_SpecialDataLift() : giaQbf.c
• Cnf_SplitCnfCleanup() : cnfUtil.c
• Cnf_SplitCnfFile() : cnfUtil.c
• Cnf_SplitSat() : cnfUtil.c
• Code : deflate.h
• CODELENS : inflate.h
• CODES : inftrees.h
• codetype : inftrees.h
• Cof_Fan_t : giaCof.c
• Cof_Man_t : giaCof.c
• Cof_ManCleanValue() : giaCof.c
• Cof_ManCollectHighFanout() : giaCof.c
• Cof_ManCountRemoved() : giaCof.c
• Cof_ManCreateLogicSimple() : giaCof.c
• Cof_ManForEachNode : giaCof.c
• Cof_ManForEachObj : giaCof.c
• Cof_ManInsertEntry_rec() : giaCof.c
• Cof_ManPrintFanio() : giaCof.c
• Cof_ManPrintHighFanout() : giaCof.c
• Cof_ManPrintHighFanoutOne() : giaCof.c
• Cof_ManStop() : giaCof.c
• Cof_ManSuppSize() : giaCof.c
• Cof_ManSuppSize_rec() : giaCof.c
• Cof_ManTfiSize() : giaCof.c
• Cof_ManTfiSize_rec() : giaCof.c
• Cof_ManTfoSize() : giaCof.c
• Cof_ManTfoSize_rec() : giaCof.c
• Cof_NodeDeref_rec() : giaCof.c
• Cof_NodeRef_rec() : giaCof.c
• Cof_Obj_t : giaCof.c
• Cof_ObjForEachFanin : giaCof.c
• Cof_ObjForEachFanout : giaCof.c
• cof_output() : cvrm.c, espresso.h
• cofactor() : cofactor.c, espresso.h
• collectBarrierDisjunctions() : arenaViolation.c
• collectCSSignals() : kLiveConstraints.c
• collectCSSignalsWithDSC() : arenaViolation.c
• collectPendingSignalWithDSC() : arenaViolation.c
• collectSafetyInvariantPOIndex() : disjunctiveMonotone.c, kliveness.c
• collectUserGivenDisjunctiveMonotoneSignals() : kliveness.c
• collectWindowBeginSignalWithDSC() : arenaViolation.c
• collectWithinWindowSignalWithDSC() : arenaViolation.c
• COLOR : colors.h
• COMMENT : inflate.h
• COMMENT_STATE : deflate.h
• COMPARE : avl.c
• CompareMinterms() : casCore.c
• CompareSupports() : casCore.c
• CompareWords() : extraUtilMisc.c
• compareWords() : lucky.c
• compareWords1() : lucky.c
• compareWords2() : lucky.c
• compareWords3() : lucky.c
• COMPILER : cadical_version.cpp, build.h
• COMPL : espresso.h
• COMPL_TIME : espresso.h
• complement() : compl.c, espresso.h
• completely_backtrack_to_root_level() : kitten.c
• compress() : compress_.c
• compress2() : compress_.c
• compress_block() : trees.c
• compressBound() : compress_.c
• compute_height : avl.c
• compute_quality_sop() : cecSatG2.c
• computeCofactor() : abcBm.c
• computeFaninCones() : cecSatG2.c
• computeFaninCones_rec() : cecSatG2.c
• computeInputVectors() : cecSatG2.c
• computeISOPs() : cecSatG2.c
• computeLutsOrder() : cecSatG2.c
• computeLutsToImply() : cecSatG2.c
• computeMFFCs() : cecSatG2.c
• computeNetworkValues() : cecSatG2.c
• ComputeQCost() : exor.c, exor.h
• ComputeQCostBits() : exor.c, exor.h
• ComputeQCostTcount() : exor.c
• ComputeQCostTcountBits() : exor.c
• ConcreteCell : place_base.h
• concreteCells : place_test.c
• ConcreteNet : place_base.h
• concreteNets : place_test.c
• CONFIG : cadical_config.cpp
• config : deflate.c
• CONFIGS : cadical_config.cpp
• configuration_table : deflate.c
• CONFLICTS : statistics.h
• congruence_terminated_1 : terminate.h
• congruence_terminated_10 : terminate.h
• congruence_terminated_11 : terminate.h
• congruence_terminated_12 : terminate.h
• congruence_terminated_2 : terminate.h
• congruence_terminated_3 : terminate.h
• congruence_terminated_4 : terminate.h
• congruence_terminated_5 : terminate.h
• congruence_terminated_6 : terminate.h
• congruence_terminated_7 : terminate.h
• congruence_terminated_8 : terminate.h
• congruence_terminated_9 : terminate.h
• consensus() : espresso.h, setc.c
• CONSERVATIVE : fretime.h
• const : zconf.h
• CONST_SHIFT : wlnRead.c
• CONSTANTREMOVECLAUSE : Constants.h
• CONSTRAINTS_type : espresso.h
• constructQuadraticProblem() : place_genqp.c, place_gordian.h
• CONTINUE_PROPAGATING_AFTER_CONFLICT : propbeyond.c
• COPY : gzguts.h, inflate.h
• COPY_ : inflate.h
• copy_block() : trees.c
• copy_cost() : cvrmisc.c, espresso.h
• CORE_FLAG : cadical_kitten.c, kitten.c
• coreHeight : ioWriteBook.c
• cost_t : espresso.h
• count_ones : espresso.h
• countCombination() : combination.c
• COUNTER : statistics.h
• counter : walk.c
• CountLiterals() : exor.h, exorUtil.c
• CountLiteralsCheck() : exorUtil.c
• CountQCost() : exor.h, exorUtil.c
• countref : vivify.c
• COUNTREF_COUNTS : vivify.hpp, vivify.c
• Cov_Man_t : cov.h
• Cov_ManAlloc() : cov.h, covMan.c
• Cov_ManFree() : cov.h, covMan.c
• Cov_Obj_t : cov.h
• COVER : cover.hpp, cover.h
• cover_cost() : cvrmisc.c, espresso.h
• COVERED : espresso.h
• cprint() : cvrout.c, espresso.h
• CRC2 : inflate.c
• crc32() : crc32.c
• crc32_combine() : crc32.c
• crc32_combine64() : crc32.c
• crc32_combine_() : crc32.c
• CRC4 : inflate.c
• crc_table : crc32.h
• CREALLOC_GENERIC : resize.c
• CREALLOC_LITERAL_INDEXED : resize.c
• CREALLOC_VARIABLE_INDEXED : resize.c
• createAndGateForMonotonicityVerification() : arenaViolation.c
• createArenaLi() : arenaViolation.c
• createArenaLO() : arenaViolation.c
• createArenaViolation() : arenaViolation.c
• createConstrained0LiveCone() : kLiveConstraints.c
• createConstrained0LiveConeWithDSC() : arenaViolation.c
• CreateDecomposedNetwork() : casCore.c, casDec.c
• createDisjunctiveMonotoneTester() : disjunctiveMonotone.c
• createMonotoneBarrierLO() : arenaViolation.c
• createMonotoneTester() : monotone.c
• createNewAigWith0LivePo() : kLiveConstraints.c
• createNewAigWith0LivePoWithDSC() : arenaViolation.c
• createSingletonIntVector() : disjunctiveMonotone.c, kliveness.c
• CRefUndef : xsatSolver.h
• CROSS_BOUNDARY : fretime.h
• CSAT_BAND : csat_apis.h
• CSAT_BBUF : csat_apis.h
• CSAT_BBUS : csat_apis.h
• CSAT_BCNF : csat_apis.h
• CSAT_BDC : csat_apis.h
• CSAT_BDFF : csat_apis.h
• CSAT_BINV : csat_apis.h
• CSAT_BMUX : csat_apis.h
• CSAT_BNAND : csat_apis.h
• CSAT_BNOR : csat_apis.h
• CSAT_BOR : csat_apis.h
• CSAT_BPI : csat_apis.h
• CSAT_BPO : csat_apis.h
• CSAT_BPPI : csat_apis.h
• CSAT_BPPO : csat_apis.h
• CSAT_BSDFF : csat_apis.h
• CSAT_BTRIH : csat_apis.h
• CSAT_BTRIL : csat_apis.h
• CSAT_BXNOR : csat_apis.h
• CSAT_BXOR : csat_apis.h
• CSAT_CallerT : csat_apis.h
• CSAT_CONST : csat_apis.h
• CSAT_OptionT : csat_apis.h
• CSAT_SetCaller() : csat_apis.h
• CSAT_StatusT : csat_apis.h
• CSAT_Target_ResultT : csat_apis.h
• Csw_Cut_t : cswInt.h
• Csw_CutComputeTruth() : cswCut.c
• Csw_CutFilter() : cswCut.c
• Csw_CutForEachLeaf : cswInt.h
• Csw_CutHash() : cswTable.c
• Csw_CutMerge() : cswCut.c
• Csw_CutSupportMinimize() : cswCut.c
• Csw_Man_t : cswInt.h
• Csw_ManStart() : cswInt.h, cswMan.c
• Csw_ManStop() : cswInt.h, cswMan.c
• Csw_ObjForEachCut : cswInt.h
• Csw_ObjPrepareCuts() : cswCut.c, cswInt.h
• Csw_ObjSweep() : cswCut.c, cswInt.h
• Csw_ObjTwoVarCut() : cswCut.c
• Csw_Sweep() : csw.h, cswCore.c
• Csw_TableCountCuts() : cswInt.h, cswTable.c
• Csw_TableCutInsert() : cswInt.h, cswTable.c
• Csw_TableCutLookup() : cswInt.h, cswTable.c
• ct_data : deflate.h
• Cube : exor.h
• cube1list() : cofactor.c, espresso.h
• cube2list() : cofactor.c, espresso.h
• cube3list() : cofactor.c, espresso.h
• cube_is_covered() : espresso.h, irred.c
• CUBE_PAIR_FACTOR : exor.h
• cube_setup() : cubestr.c, espresso.h
• CUBE_TEMP : espresso.h
• cubedist : exor.h
• CubeExtract() : exorList.c
• CubeInsert() : exorList.c
• cubelist_partition() : cvrm.c, espresso.h
• CUBELISTSIZE : espresso.h
• cubeunlist() : cofactor.c, espresso.h
• Cudd_bddTransferPermute() : casCore.c
• cuddBddTransferPermute() : casCore.c
• CUT_CELL_MVAR : cutExpand.c, cutPre22.c
• Cut_Cell_t : cutPre22.c
• Cut_CellDumpToFile() : cut.h, cutPre22.c
• Cut_CellIsRunning() : cut.h, cutPre22.c
• Cut_CellLoad() : cut.h, cutPre22.c
• Cut_CellPrecompute() : cut.h, cutPre22.c
• Cut_CellTruthLookup() : cut.h, cutPre22.c
• Cut_CMan_t : cutPre22.c
• Cut_Cut_t : cut.h
• Cut_CutAlloc() : cutCut.c, cutInt.h
• Cut_CutCompare() : cutCut.c, cutInt.h
• Cut_CutCountList() : cut.h, cutCut.c
• Cut_CutCreateTriv() : cutCut.c, cutInt.h
• Cut_CutDupList() : cutCut.c, cutInt.h
• Cut_CutListVerify() : cutInt.h, cutNode.c
• Cut_CutMergeLists() : cutCut.c, cutInt.h
• Cut_CutMergeTwo() : cutInt.h, cutMerge.c
• Cut_CutMergeTwo2() : cutMerge.c
• Cut_CutMergeTwo3() : cutMerge.c
• Cut_CutMergeTwo4() : cutMerge.c
• Cut_CutMergeTwo5() : cutMerge.c
• Cut_CutNumberList() : cutCut.c, cutInt.h
• Cut_CutPrint() : cut.h, cutCut.c
• Cut_CutPrintList() : cut.h, cutCut.c
• Cut_CutPrintMerge() : cutCut.c, cutInt.h
• Cut_CutRecycle() : cutCut.c, cutInt.h
• Cut_CutRecycleList() : cutCut.c, cutInt.h
• Cut_HashTable_t : cutInt.h
• Cut_List_t : cutList.h
• Cut_ListForEachCut : cutInt.h
• Cut_ListForEachCutSafe : cutInt.h
• Cut_ListForEachCutStop : cutInt.h
• Cut_Man_t : cut.h
• Cut_ManIncrementDagNodes() : cut.h, cutMan.c
• Cut_ManMappingArea_rec() : cut.h, cutNode.c
• Cut_ManPrintStats() : cut.h, cutMan.c
• Cut_ManPrintStatsToFile() : cut.h, cutMan.c
• Cut_ManReadNodeAttrs() : cut.h, cutMan.c
• Cut_ManReadParams() : cut.h, cutMan.c
• Cut_ManReadVarsMax() : cut.h, cutMan.c
• Cut_ManSetFanoutCounts() : cut.h, cutMan.c
• Cut_ManSetNodeAttrs() : cut.h, cutMan.c
• Cut_ManStart() : cut.h, cutMan.c
• Cut_ManStop() : cut.h, cutMan.c
• CUT_MASK : cut.h
• Cut_NodeComputeCuts() : cut.h, cutNode.c
• Cut_NodeComputeCutsSeq() : cut.h, cutSeq.c
• Cut_NodeDoComputeCuts() : cutInt.h, cutNode.c
• Cut_NodeFreeCuts() : cut.h, cutApi.c
• Cut_NodeNewMergeWithOld() : cut.h, cutSeq.c
• Cut_NodeOldTransferToNew() : cut.h, cutSeq.c
• Cut_NodeReadCutsNew() : cut.h, cutApi.c
• Cut_NodeReadCutsOld() : cut.h, cutApi.c
• Cut_NodeReadCutsTemp() : cut.h, cutApi.c
• Cut_NodeSetTriv() : cut.h, cutApi.c
• Cut_NodeTempTransferToNew() : cut.h, cutSeq.c
• Cut_NodeTryDroppingCuts() : cut.h, cutApi.c
• Cut_NodeUnionCuts() : cut.h, cutNode.c
• Cut_NodeUnionCutsSeq() : cut.h, cutNode.c
• Cut_NodeWriteCutsNew() : cut.h, cutApi.c
• Cut_NodeWriteCutsOld() : cut.h, cutApi.c
• Cut_NodeWriteCutsTemp() : cut.h, cutApi.c
• Cut_Oracle_t : cut.h
• Cut_OracleComputeCuts() : cut.h, cutOracle.c
• Cut_OracleFreeCuts() : cutOracle.c
• Cut_OracleNodeSetTriv() : cut.h, cutOracle.c
• Cut_OracleReadDrop() : cut.h, cutOracle.c
• Cut_OracleSetFanoutCounts() : cut.h, cutOracle.c
• Cut_OracleStart() : cut.h, cutOracle.c
• Cut_OracleStop() : cut.h, cutOracle.c
• Cut_OracleTryDroppingCuts() : cut.h, cutOracle.c
• Cut_Params_t : cut.h
• CUT_SHIFT : cut.h
• CUT_SIZE_MAX : cut.h
• CUT_SIZE_MIN : cut.h
• Cut_TableClear() : cutInt.h
• Cut_TableLookup() : cutInt.h
• Cut_TableReadTime() : cutInt.h
• Cut_TableStart() : cutInt.h
• Cut_TableStop() : cutInt.h
• Cut_TruthCompose() : cutExpand.c
• Cut_TruthCompute() : cutInt.h, cutTruth.c
• Cut_TruthComputeOld() : cutInt.h, cutTruth.c
• Cut_TruthNCanonicize() : cut.h, cutTruth.c
• CutValue : exorList.c
• cv_dsharp() : espresso.h, sharp.c
• cv_intersect() : espresso.h, sharp.c
• cv_sharp() : espresso.h, sharp.c
• cvolume() : espresso.h
• CYAN : colors.h