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

- i -

• ID : build.h
• IDENTIFIER : cadical_version.cpp
• IDX : literal.h
• IF_BIG_CHAR : if.h
• IF_COST_MAX : if.h
• If_CutForEachLeaf : if.h
• If_CutForEachLeafReverse : if.h
• If_CutForEachLeafSeq : if.h
• If_DsdObjForEachFanin : ifDsd.c
• If_DsdObjForEachFaninLit : ifDsd.c
• If_DsdVecForEachNode : ifDsd.c
• If_DsdVecForEachObj : ifDsd.c
• If_DsdVecForEachObjStart : ifDsd.c
• If_DsdVecForEachObjVec : ifDsd.c
• IF_FLOAT_LARGE : if.h
• IF_FLOAT_SMALL : if.h
• IF_INFINITY : if.h
• IF_INT_LARGE : if.h
• If_LibBoxForEachBox : ifLibBox.c
• If_ManForEachCi : if.h
• If_ManForEachCo : if.h
• If_ManForEachLatchInput : if.h
• If_ManForEachLatchOutput : if.h
• If_ManForEachNode : if.h
• If_ManForEachObj : if.h
• If_ManForEachObjReverse : if.h
• If_ManForEachPi : if.h
• If_ManForEachPo : if.h
• IF_MAX : if.h
• IF_MAX_CUBES : ifDelay.c
• IF_MAX_FUNC_LUTSIZE : if.h
• IF_MAX_LUTSIZE : if.h
• IF_MIN : if.h
• If_ObjForEachCut : if.h
• Ifd_ManForEachNodeWithSupp : mpmPre.c
• IFIF_MAX_LEAVES : abcIfif.c
• IFM_MAX_STR : mpmPre.c
• IFM_MAX_VAR : mpmPre.c
• IFN_INS : ifTune.c
• IFN_PAR : ifTune.c
• IFN_WRD : ifTune.c
• IGNORE : statistics.h
• IGNORE_COG : place_gordian.h
• IGNORE_LIVENESS_KEEP_SAFETY_MODE : liveness.c
• IGNORE_NETSIZE : place_gordian.h
• IGNORE_SAFETY_KEEP_LIVENESS_MODE : liveness.c
• IGNORE_SAFETY_KEEP_LIVENESS_ONE_LOOP_MODE : liveness.c
• ILLEGAL_LIT : literal.h
• IN : espresso.h
• INC : cadical_kitten.c, statistics.h
• increase_phases : phases.c
• inflateBackInit : zlib.h
• inflateInit : zlib.h
• inflateInit2 : zlib.h
• INIT_0 : fretime.h
• INIT_1 : fretime.h
• INIT_CARE : fretime.h
• INIT_CONFLICT_LIMIT : kimits.c
• INIT_EMA : ema.hpp, averages.c
• INIT_FIFO : fifo.h
• INIT_STACK : stack.h
• INIT_STATE : deflate.h
• INITBITS : infback.c, inflate.c
• INITIAL_PHASE : decide.h
• INLABEL : espresso.h
• inline : kitPerm.c
• INLINE_SORT : collect.c, dense.c, watch.c
• INLINEset_and : espresso.h
• INLINEset_clear : espresso.h
• INLINEset_copy : espresso.h
• INLINEset_diff : espresso.h
• INLINEset_fill : espresso.h
• INLINEset_merge : espresso.h
• INLINEset_ndiff : espresso.h
• INLINEset_or : espresso.h
• INLINEset_xnor : espresso.h
• INLINEset_xor : espresso.h
• INLINEsetp_disjoint : espresso.h
• INLINEsetp_equal : espresso.h
• INLINEsetp_implies : espresso.h
• INOUT : espresso.h
• INSERT_STRING : deflate.c
• INSERTION_SORT : sort.h
• INT16_MAX : pstdint.h
• INT16_MIN : pstdint.h
• INT32_MAX : pstdint.h
• INT32_MIN : pstdint.h
• INT8_MAX : pstdint.h
• INT8_MIN : pstdint.h
• INT_FAST16_MAX : pstdint.h
• INT_FAST16_MIN : pstdint.h
• INT_FAST32_MAX : pstdint.h
• INT_FAST32_MIN : pstdint.h
• INT_FAST8_MAX : pstdint.h
• INT_FAST8_MIN : pstdint.h
• INT_LEAST16_MAX : pstdint.h
• INT_LEAST16_MIN : pstdint.h
• INT_LEAST32_MAX : pstdint.h
• INT_LEAST32_MIN : pstdint.h
• INT_LEAST8_MAX : pstdint.h
• INT_LEAST8_MIN : pstdint.h
• INTERNAL_MAX_LIT : literal.h
• INTERNAL_MAX_VAR : literal.h
• INTMAX_C : pstdint.h
• INTMAX_MAX : pstdint.h
• INVALID : cadical_kitten.c, cadical_sweep.cpp, kitten.c
• INVALID64 : cadical_sweep.cpp
• INVALID_API_USAGE : cadical_kitten.c, kitten.c
• INVALID_BEST_TRAIL_POS : walk.c
• INVALID_IDX : literal.h
• INVALID_LEVEL : assign.h
• INVALID_LIT : cadical_definition.cpp, literal.h
• INVALID_REF : reference.h
• INVALID_TRAIL : assign.h
• INVALID_VECTOR_ELEMENT : vector.h
• IO_BLIFMV_MAXVALUES : ioReadBlifMv.c
• IO_WRITE_LINE_LENGTH : ioAbc.h
• IRRED : espresso.h
• IRRED1 : espresso.h
• IRRED_TIME : espresso.h
• IRREDUNDANT_CLAUSES : statistics.h
• is_in_set : espresso.h
• Iso_ManForEachObj : saigIsoSlow.c
• ISO_MASK : giaIso.c, giaIso2.c, saigIsoSlow.c
• ISO_NUM_INTS : saigIsoSlow.c
• ISSET_BH : blocksort.c
• ITE_GATE : congruence.c
• IVY_CUT_INPUT : ivy.h
• IVY_CUT_LIMIT : ivy.h
• IVY_EVAL_LIMIT : ivyMulti.c
• Ivy_FraigForEachBinNode : ivyFraig.c
• Ivy_FraigForEachClassNode : ivyFraig.c
• Ivy_FraigForEachEquivClass : ivyFraig.c
• Ivy_FraigForEachEquivClassSafe : ivyFraig.c
• IVY_INFINITY : ivyFastMap.c
• IVY_LEAF_BITS : ivy.h
• IVY_LEAF_MASK : ivy.h
• Ivy_ManForEachCi : ivy.h
• Ivy_ManForEachCo : ivy.h
• Ivy_ManForEachLatch : ivy.h
• Ivy_ManForEachNode : ivy.h
• Ivy_ManForEachNodeVec : ivy.h
• Ivy_ManForEachObj : ivy.h
• Ivy_ManForEachPi : ivy.h
• Ivy_ManForEachPo : ivy.h
• IVY_MAX : ivy.h
• IVY_MIN : ivy.h
• Ivy_ObjForEachFanout : ivy.h
• Ivy_ObjForEachFanoutInt : ivyFanout.c
• Ivy_ObjForEachFanoutIntSafe : ivyFanout.c
• IVY_PAGE_MASK : hopMem.c, ivyMem.c
• IVY_PAGE_SIZE : hopMem.c, ivyMem.c