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

- c -

• CADICAL_assert : global.h
• CADICAL_ATTRIBUTE_FORMAT : cadical.hpp
• cadical_getc_unlocked : file.hpp
• CADICAL_NBUILD : global.h
• CADICAL_NCLOSEFROM : global.h
• CADICAL_NCONTRACTS : global.h
• CADICAL_NDEBUG : global.h
• CADICAL_NTRACING : global.h
• cadical_putc_unlocked : file.hpp
• CADICAL_QUIET : global.h
• CALLOC : cadical_kitten.c, allocate.h
• CANON_VERIFY : dauCanon.c
• CAPACITY_FIFO : fifo.h
• capacity_last_learned : internal.h
• CAPACITY_STACK : stack.h
• Cba_ManForEachNtk : cba.h
• 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_ObjForEachFin : cba.h
• Cba_ObjForEachFinFanin : cba.h
• Cba_ObjForEachFinFaninReal : cba.h
• Cba_ObjForEachFinFon : cba.h
• Cba_ObjForEachFon : cba.h
• Cbs0_QueForEachEntry : giaCSatOld.c
• Cbs2_ClauseForEachEntry : giaCSat2.c
• Cbs2_ClauseForEachEntry1 : giaCSat2.c
• Cbs2_ObjForEachFanout : giaCSat2.c
• Cbs2_QueForEachEntry : giaCSat2.c
• Cbs3_ClauseForEachEntry : giaCSat3.c
• Cbs3_ClauseForEachEntry1 : giaCSat3.c
• Cbs3_QueForEachEntry : giaCSat3.c
• Cbs_ClauseForEachVar : giaCSat.c
• Cbs_ClauseForEachVar1 : giaCSat.c
• Cbs_QueForEachEntry : giaCSat.c
• CBS_SAT : giaCSatP.h
• CBS_UNDEC : giaCSatP.h
• CBS_UNSAT : giaCSatP.h
• CbsP_ClauseForEachVar : giaCSatP.c
• CbsP_ClauseForEachVar1 : giaCSatP.c
• CbsP_QueForEachEntry : giaCSatP.c
• ccadical_deref : ccadical.h
• ccadical_reset : ccadical.h
• ccadical_sat : ccadical.h
• CELL_FREE : extraBddKmap.c
• CELL_FULL : extraBddKmap.c
• CELL_NUM : wlnRead.c
• CGLUCOSE_EXP : CGlucose.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_FACTOR : extraBddTime.c
• CHECK_HEAP_IMPORTED : inlineheap.h
• 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
• CLAUSE_ACT_INIT_INC : 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
• CLEARMASK : blocksort.c
• CLIQUE_PENALTY : place_gordian.h
• CLOGANDGATE : congruence.c
• CLOGITEGATE : congruence.c
• CLOGREPR : congruence.c
• CLOGXORGATE : congruence.c
• CLOUD_ASSERT : cloud.h
• CLOUD_CONST_INDEX : cloud.h
• Cloud_E : cloud.h
• Cloud_IsComplement : cloud.h
• Cloud_IsConstant : 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_Regular : cloud.h
• Cloud_T : cloud.h
• Cloud_V : 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
• cloudNodeIsMarked : cloud.h
• cloudNodeMark : cloud.h
• cloudNodeUnmark : cloud.h
• cloudT : cloud.h
• cloudV : cloud.h
• 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
• Cnf_CnfForClause : cnf.h
• Cnf_CutForEachLeaf : cnf.h
• Code : deflate.h
• Cof_ManForEachNode : giaCof.c
• Cof_ManForEachObj : giaCof.c
• Cof_ObjForEachFanin : giaCof.c
• Cof_ObjForEachFanout : giaCof.c
• COLOR : colors.h
• COMMENT_STATE : deflate.h
• COMPARE : avl.c
• COMPILER : cadical_version.cpp, build.h
• COMPL : espresso.h
• COMPL_TIME : espresso.h
• compute_height : avl.c
• CONFIG : cadical_config.cpp
• CONFIGS : cadical_config.cpp
• 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
• CONSERVATIVE : fretime.h
• const : zconf.h
• CONST_SHIFT : wlnRead.c
• CONSTANTREMOVECLAUSE : Constants.h
• CONSTRAINTS_type : espresso.h
• CONTINUE_PROPAGATING_AFTER_CONFLICT : propbeyond.c
• COPY : gzguts.h
• CORE_FLAG : cadical_kitten.c, kitten.c
• coreHeight : ioWriteBook.c
• count_ones : espresso.h
• COUNTER : statistics.h
• COUNTREF_COUNTS : vivify.hpp, vivify.c
• COVER : cover.hpp, cover.h
• COVERED : espresso.h
• CRC2 : inflate.c
• CRC4 : inflate.c
• CREALLOC_GENERIC : resize.c
• CREALLOC_LITERAL_INDEXED : resize.c
• CREALLOC_VARIABLE_INDEXED : resize.c
• CRefUndef : xsatSolver.h
• CROSS_BOUNDARY : fretime.h
• Csw_CutForEachLeaf : cswInt.h
• Csw_ObjForEachCut : cswInt.h
• CUBE_TEMP : espresso.h
• CUBELISTSIZE : espresso.h
• CUT_CELL_MVAR : cutExpand.c, cutPre22.c
• Cut_ListForEachCut : cutInt.h
• Cut_ListForEachCutSafe : cutInt.h
• Cut_ListForEachCutStop : cutInt.h
• CUT_MASK : cut.h
• CUT_SHIFT : cut.h
• CUT_SIZE_MAX : cut.h
• CUT_SIZE_MIN : cut.h
• CYAN : colors.h