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

- d -

• d_code : deflate.h
• D_CODES : deflate.h
• D_JOINS_D_HOR_BOT : extraBddKmap.c
• D_JOINS_D_HOR_TOP : extraBddKmap.c
• D_JOINS_D_VER_LEFT : extraBddKmap.c
• D_JOINS_D_VER_RIGHT : extraBddKmap.c
• D_type : espresso.h
• Dad : deflate.h
• Dar_CutForEachLeaf : darInt.h
• Dar_ObjForEachCut : darInt.h
• Dar_ObjForEachCutAll : darInt.h
• DARK_GRAY : colors.h
• DASH : espresso.h
• DATE : cadical_version.cpp
• DAU_DSD_MAX_VAR : dauGia.c
• DAU_MAX_STR : dau.h
• DAU_MAX_VAR : dau.h
• DAU_MAX_WORD : dau.h
• DBGOPT : options.h
• Dch_ClassForEachNode : dchClass.c
• Dch_ManForEachClass : dchClass.c
• DD_GET_SYMM_VARS_TAG : extraBddSymm.c
• DD_P1 : cloud.h
• DD_P2 : cloud.h
• DD_P3 : cloud.h
• DD_P4 : cloud.h
• DEALLOC : cadical_kitten.c, allocate.h
• DEALLOC_GENERIC : internal.c
• DEALLOC_LITERAL_INDEXED : internal.c
• DEALLOC_VARIABLE_INDEXED : internal.c
• DEBUG_CHECK : fretime.h
• DEC : statistics.h
• Dec_GraphForEachLeaf : dec.h, deco.h
• Dec_GraphForEachNode : dec.h, deco.h
• decide_wrapper : internal.hpp
• DECISION_REASON : assign.h
• DECISIONS : statistics.h
• DEF_MEM_LEVEL : zutil.h
• DEF_WBITS : zutil.h
• deflateInit : zlib.h
• deflateInit2 : zlib.h
• DELAYING : kimits.h
• DELETE_BINARY_FROM_PROOF : proof.h
• DELETE_CLAUSE_FROM_PROOF : proof.h
• DELETE_LITS_FROM_PROOF : proof.h
• delete_proof_chain : congruence.c
• DELETE_STACK_FROM_PROOF : proof.h
• DELETE_TERNARY_FROM_PROOF : proof.h
• DEPTHOF : huffman.c
• DEQUEUE_FIFO : fifo.h
• DIR : build.h
• DISCONNECT : queue.h
• DISCONNECTED : queue.h
• DISCONTAIN : heap.h
• DISCONTAINED : heap.h
• DISJOINT : espresso.h
• DIST_CODE_LEN : trees.c
• dll_unlink : sparse_int.h
• DO1 : adler32.c, crc32.c
• DO16 : adler32.c
• DO2 : adler32.c
• DO4 : adler32.c
• DO8 : adler32.c, crc32.c
• do_hash : st.c, stmm.c
• DOUBLE_BOT_LEFT : extraBddKmap.c
• DOUBLE_BOT_RIGHT : extraBddKmap.c
• DOUBLE_HORIZONTAL : extraBddKmap.c
• DOUBLE_TOP_LEFT : extraBddKmap.c
• DOUBLE_TOP_RIGHT : extraBddKmap.c
• DOUBLE_VERTICAL : extraBddKmap.c
• DOUBLES_CROSS : extraBddKmap.c
• DOWNHEAP : huffman.c
• DR_type : espresso.h
• DROPBITS : infback.c, inflate.c
• DSC_MAX_STR : dsc.h
• DSC_MAX_VAR : dsc.h
• DSD_ARRAY_LIMIT : ifDsd.c
• DSD_CLASS_NUM : extraUtilDsd.c
• Dsd_IsComplement : dsd.h
• Dsd_NodeForEachChild : dsd.h
• Dsd_Not : dsd.h
• Dsd_NotCond : dsd.h
• Dsd_Regular : dsd.h
• DSD_VERSION : ifDsd.c
• Dss_ObjForEachChild : dauTree.c
• Dss_ObjForEachFanin : dauTree.c
• Dss_VecForEachNode : dauTree.c
• Dss_VecForEachObj : dauTree.c
• Dss_VecForEachObjVec : dauTree.c
• Dtc_ForEachCut : acecFadds.c
• Dtc_ForEachFadd : acecFadds.c
• DYN_TREES : zutil.h
• DYNAMICNBLEVEL : Constants.h