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

- r -

• R_type : espresso.h
• RADIDX_SORT_PAIR_LIMIT : congruence.c
• RADIX_SORT : rank.h
• RADIX_SORT_BUMP_LIMIT : bump.c
• RADIX_SORT_LEVELS_LIMIT : analyze.c
• RADIX_STACK : rank.h
• RAISE_IN_TIME : espresso.h
• RANK : bump.c
• RANK_CANDIDATE : fastel.c
• RANK_COUNTREF_BY_COUNT : vivify.c
• RANK_COUNTREF_BY_INVERSE_SIZE : vivify.c
• RANK_COUNTREF_BY_VIVIFY : vivify.c
• RANK_LEVEL : analyze.c
• RANK_OFFSET : vector.c
• RANK_OTHER : congruence.c
• RANK_REDUCIBLE : reduce.c
• RANK_SWEEP_CANDIDATE : sweep.c
• RANKREFSIZE : congruence.c
• RATIOREMOVECLAUSES : Constants.h
• READ_TIME : espresso.h
• real_end_last_learned : internal.h
• REALLOC : avl.h, util_old.h
• realloc_phases : phases.c
• REALLOCATE_ARRAY : array.h
• REALLOCATE_PARTITIONS : place_gordian.h
• really_all_last_learned : internal.h
• REASON : assign.h
• RED : colors.h
• REDUCE : espresso.h
• REDUCE1 : espresso.h
• REDUCE_DELAY : kimits.h
• REDUCE_TIME : espresso.h
• REDUND : espresso.h
• REDUNDANT_CLAUSES : statistics.h
• Ree_ForEachCut : acecRe.c
• REFERENCE_FORMAT : reference.h
• REFINE_BY_SIM_1 : abcSaucy.c
• REFINE_BY_SIM_2 : abcSaucy.c
• RELEASE_ARRAY : array.h
• RELEASE_FIFO : fifo.h
• RELEASE_LITERAL_INDEXED_STACKS : internal.c
• release_phases : phases.c
• RELEASE_STACK : stack.h
• RELEASE_WATCHES : watch.h
• RELESSEN : espresso.h
• REMOVE_CHECKER_BINARY : check.h
• REMOVE_CHECKER_CLAUSE : check.h
• REMOVE_CHECKER_LITS : check.h
• REMOVE_CHECKER_STACK : check.h
• REMOVE_CHECKER_TERNARY : check.h
• REMOVE_STACK : stack.h
• REMOVE_WATCHES : watch.h
• REMOVED : congruence.c
• REO_CHUNK_SIZE : reo.h
• REO_CONST_LEVEL : reo.h
• REO_COST_EPSILON : reo.h
• REO_DISABLE : reo.h
• REO_ENABLE : reo.h
• REO_HIGH_VALUE : reo.h
• REO_QUAL_PAR : reo.h
• REO_REORDER_LIMIT : reo.h
• REO_TOPREF_UNDEF : reo.h
• REP_3_6 : trees.c
• REPARTITION_FM : place_gordian.h
• REPARTITION_HMETIS : place_gordian.h
• REPARTITION_LEVEL_DEPTH : place_gordian.h
• REPARTITION_TARGET_FRACTION : place_gordian.h
• REPORT : report.h
• report_initial_minimum : walk.c
• report_minimum : walk.c
• REPZ_11_138 : trees.c
• REPZ_3_10 : trees.c
• REQUIRE : contract.hpp
• REQUIRE_INITIALIZED : cadical_kitten.c, contract.hpp, kitten.c
• REQUIRE_READY_STATE : contract.hpp
• REQUIRE_STATUS : cadical_kitten.c, kitten.c
• REQUIRE_STEADY_STATE : contract.hpp
• REQUIRE_VALID_LIT : contract.hpp
• REQUIRE_VALID_OR_SOLVING_STATE : contract.hpp
• REQUIRE_VALID_STATE : contract.hpp
• RESET : espresso.h
• RESIZE1 : cadical_kitten.c, kitten.c
• RESIZE2 : cadical_kitten.c, kitten.c
• RESIZE_ARRAY : array.h
• RESIZE_STACK : stack.h
• RESTARTINT_DEFAULT : options.h
• RESTARTINT_SAT : options.h
• RESTORE : infback.c, inflate.c
• RETURN : decompress.c
• RETURN_TRUE_IF_COMPRESSED : file.c
• REVERSE : inflate.c
• REVERSE_STACK : stack.h
• RMAN_MAXVARS : aigCanon.c
• RMAX_MAXWORD : aigCanon.c
• ROG : cadical_kitten.c, kitten.c
• ROOM : infback.c
• Rtl_CellForEachAttr : wlnRead.c
• Rtl_CellForEachConnect : wlnRead.c
• Rtl_CellForEachInput : wlnRead.c
• Rtl_CellForEachOutput : wlnRead.c
• Rtl_CellForEachParam : wlnRead.c
• Rtl_NtkForEachAttr : wlnRead.c
• Rtl_NtkForEachCell : wlnRead.c
• Rtl_NtkForEachCon : wlnRead.c
• Rtl_NtkForEachWire : wlnRead.c
• Rtm_ManForEachObj : aigRet.c
• Rtm_ManForEachPi : aigRet.c
• Rtm_ManForEachPo : aigRet.c
• Rtm_ObjForEachFanin : aigRet.c
• Rtm_ObjForEachFaninEdge : aigRet.c
• Rtm_ObjForEachFanout : aigRet.c
• Rtm_ObjForEachFanoutEdge : aigRet.c
• RW_ABC : rewire_miaig.h
• RW_INT_MAX : rewire_miaig.h
• Rw_Lit2Var : rewire_miaig.h
• Rw_LitIsCompl : rewire_miaig.h
• Rw_LitNot : rewire_miaig.h
• Rw_LitNotCond : rewire_miaig.h
• Rw_LitRegular : rewire_miaig.h
• Rw_MaxInt : rewire_miaig.h
• Rw_MinInt : rewire_miaig.h
• RW_SWAP : rewire_vec.h
• Rw_Var2Lit : rewire_miaig.h
• RWR_LIMIT : rwr.h
• RWT_LIMIT : rwt.h
• RWT_MAX : rwt.h
• RWT_MIN : rwt.h