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

- c -

• cactive() : espresso.h, setc.c
• cadical_completely_backtrack_to_root_level() : cadical_kitten.c
• 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_new_learned_klause() : cadical_kitten.c
• cadical_solve_cnf() : cadicalSolver.c, 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() : util_old.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_End() : cbaCom.c, mainInit.c
• Cba_FonGetName() : cbaWriteVer.c
• Cba_Init() : cbaCom.c, mainInit.c
• 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_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_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_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_ObjGetName() : cbaWriteVer.c
• Cba_ReadHexDigit() : cbaBlast.c
• Cba_StrCmp() : cbaNtk.c
• Cba_StrCmpInt() : cbaNtk.c
• Cba_VecCopy() : cbaBlast.c
• Cba_VecLoadFanins() : cbaBlast.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_ReadModel() : giaCSatOld.c
• Cbs0_SetDefaultParams() : giaCSatOld.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_ObjPrintFanouts() : giaCSat2.c
• Cbs2_ReadModel() : giaCSat2.c
• Cbs2_SetDefaultParams() : giaCSat2.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_ReadModel() : giaCSat3.c
• Cbs3_SetDefaultParams() : giaCSat3.c
• 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_ReadModel() : gia.h, giaCSat.c
• Cbs_SetDefaultParams() : giaCSat.c
• 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_PrintRecord() : giaCSatP.c, giaCSatP.h
• CbsP_ReadModel() : giaCSatP.c
• CbsP_SetDefaultParams() : giaCSatP.c
• 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_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_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_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_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_SetDefaultParams() : cecSat.c
• Cec3_AddClausesMux() : cecSatG.c
• Cec3_AddClausesSuper() : cecSatG.c
• Cec3_CollectSuper() : cecSatG.c
• Cec3_CollectSuper_rec() : 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_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_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_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_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_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_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_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_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
• 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
• 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_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_SetDefaultParams() : cgt.h, cgtCore.c
• Cgt_SimulationFilter() : cgtCore.c
• Cgt_SimulationRecord() : cgtCore.c
• check_arg() : main.c
• check_consistency() : espresso.h, verify.c
• check_equiv() : equiv.c, espresso.h
• check_implication() : cecSatG2.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
• 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
• clearerr() : util_old.h
• close_libs() : libSupport.c
• 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_DagCollect() : cloud.c, cloud.h
• Cloud_DagSize() : cloud.c, cloud.h
• Cloud_GetOneCube() : cloud.c, cloud.h
• Cloud_Init() : cloud.c, cloud.h
• Cloud_MakeNode() : cloud.c, cloud.h
• Cloud_PrintHashTable() : cloud.c, cloud.h
• Cloud_PrintInfo() : cloud.c, cloud.h
• Cloud_Quit() : cloud.c, 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
• cloudBddAnd() : cloud.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_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_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_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_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_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_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
• Cof_ManCleanValue() : giaCof.c
• Cof_ManCollectHighFanout() : giaCof.c
• Cof_ManCountRemoved() : giaCof.c
• Cof_ManCreateLogicSimple() : 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_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
• CompareMinterms() : casCore.c
• CompareSupports() : casCore.c
• CompareWords() : extraUtilMisc.c
• compareWords() : lucky.c
• compareWords1() : lucky.c
• compareWords2() : lucky.c
• compareWords3() : lucky.c
• 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_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
• consensus() : espresso.h, setc.c
• constructQuadraticProblem() : place_genqp.c, place_gordian.h
• copy_block() : trees.c
• copy_cost() : cvrmisc.c, espresso.h
• countCombination() : combination.c
• CountLiterals() : exor.h, exorUtil.c
• CountLiteralsCheck() : exorUtil.c
• CountQCost() : exor.h, exorUtil.c
• Cov_ManAlloc() : cov.h, covMan.c
• Cov_ManFree() : cov.h, covMan.c
• cover_cost() : cvrmisc.c, espresso.h
• cprint() : cvrout.c, espresso.h
• crc32() : crc32.c
• crc32_combine() : crc32.c
• crc32_combine64() : crc32.c
• crc32_combine_() : crc32.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
• CSAT_SetCaller() : csat_apis.h
• Csw_CutComputeTruth() : cswCut.c
• Csw_CutFilter() : cswCut.c
• Csw_CutHash() : cswTable.c
• Csw_CutMerge() : cswCut.c
• Csw_CutSupportMinimize() : cswCut.c
• Csw_ManStart() : cswInt.h, cswMan.c
• Csw_ManStop() : cswInt.h, cswMan.c
• 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
• cube1list() : cofactor.c, espresso.h
• cube2list() : cofactor.c, espresso.h
• cube3list() : cofactor.c, espresso.h
• cube_is_covered() : espresso.h, irred.c
• cube_setup() : cubestr.c, espresso.h
• CubeExtract() : exorList.c
• CubeInsert() : exorList.c
• cubelist_partition() : cvrm.c, espresso.h
• cubeunlist() : cofactor.c, espresso.h
• Cudd_bddTransferPermute() : casCore.c
• cuddBddTransferPermute() : casCore.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_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_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_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_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_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
• cv_dsharp() : espresso.h, sharp.c
• cv_intersect() : espresso.h, sharp.c
• cv_sharp() : espresso.h, sharp.c
• cvolume() : espresso.h