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

- a -

• a0 : extraBdd.h
• a1 : extraBdd.h
• ABC__misc__bzlib__bzlib_h : bzlib.h
• ABC__misc__espresso__espresso_h : espresso.h
• ABC__misc__espresso__mincov_int_h : mincov_int.h
• ABC__misc__espresso__sparse_int_h : sparse_int.h
• ABC__phys__place__place_base_h : place_base.h
• ABC__phys__place__place_gordian_h : place_gordian.h
• ABC__phys__place__place_qpsolver_h : place_qpsolver.h
• Abc_AigBinForEachEntry : abcAig.c
• Abc_AigBinForEachEntrySafe : abcAig.c
• Abc_AigForEachAnd : abc.h
• ABC_ALLOC : abc_global.h
• ABC_CALLOC : abc_global.h
• ABC_CONST : abc_global.h
• ABC_CPS : saigGlaPba2.c
• Abc_CubeForEachVar : abc.h
• ABC_DC_MAX_NODES : abcOdc.c
• ABC_DEFAULT_CONF_LIMIT : csat_apis.c
• ABC_DEFAULT_IMP_LIMIT : csat_apis.c
• ABC_DLL : abcapis.h, abc_global.h
• ABC_DLLIMPORT : abcapis.h, abc_global.h
• ABC_ENUM_MAX : extraUtilEnum.c
• ABC_EXACT_SOL_NFUNC : abcExact.c
• ABC_EXACT_SOL_NGATES : abcExact.c
• ABC_EXACT_SOL_NVARS : abcExact.c
• ABC_FALLOC : abc_global.h
• ABC_FREE : abc_global.h
• ABC_INFINITY : abc_global.h
• ABC_INT_MAX : abc_global.h
• ABC_ISOP_MAX_CUBE : utilIsop.c
• ABC_ISOP_MAX_VAR : utilIsop.c
• ABC_ISOP_MAX_WORD : utilIsop.c
• ABC_MAX_CUBES : abcFunc.c
• ABC_MAX_CUBES2 : abcFunc.c
• ABC_MAX_LIB_STR_LEN : amapLiberty.c
• ABC_MAX_STR : mainInt.h
• ABC_MEM_ALLOC : utilMem.c
• ABC_MEM_CALLOC : utilMem.c
• ABC_MEM_FALLOC : utilMem.c
• ABC_MEM_FREE : utilMem.c
• ABC_MEM_REALLOC : utilMem.c
• ABC_NAMESPACE_CXX_HEADER_END : abc_namespaces.h
• ABC_NAMESPACE_CXX_HEADER_START : abc_namespaces.h
• ABC_NAMESPACE_HEADER_END : abc_namespaces.h
• ABC_NAMESPACE_HEADER_START : abc_namespaces.h
• ABC_NAMESPACE_IMPL_END : abc_namespaces.h
• ABC_NAMESPACE_IMPL_START : abc_namespaces.h
• ABC_NAMESPACE_PREFIX : abc_namespaces.h
• ABC_NAMESPACE_USING_NAMESPACE : abc_namespaces.h
• Abc_NamManForEachObj : utilNam.h
• Abc_NtkForEachBarBuf : abc.h
• Abc_NtkForEachBlackbox : abc.h
• Abc_NtkForEachBox : abc.h
• Abc_NtkForEachCi : abc.h
• Abc_NtkForEachCo : abc.h
• Abc_NtkForEachGate : abc.h
• Abc_NtkForEachLatch : abc.h
• Abc_NtkForEachLatchInput : abc.h
• Abc_NtkForEachLatchOutput : abc.h
• Abc_NtkForEachLiPo : abc.h
• Abc_NtkForEachNet : abc.h
• Abc_NtkForEachNode : abc.h
• Abc_NtkForEachNode1 : abc.h
• Abc_NtkForEachNodeCi : abc.h
• Abc_NtkForEachNodeCo : abc.h
• Abc_NtkForEachNodeNotBarBuf : abc.h
• Abc_NtkForEachNodeNotBarBuf1 : abc.h
• Abc_NtkForEachNodeReverse : abc.h
• Abc_NtkForEachNodeReverse1 : abc.h
• Abc_NtkForEachObj : abc.h
• Abc_NtkForEachObjReverse : abc.h
• Abc_NtkForEachObjVec : abc.h
• Abc_NtkForEachObjVecStart : abc.h
• Abc_NtkForEachPi : abc.h
• Abc_NtkForEachPo : abc.h
• Abc_NtkForEachWhitebox : abc.h
• Abc_NtkSopForEachCube : abcCollapse.c
• ABC_NUM_STEPS : abcInt.h
• ABC_OBJ_VOID : abcBarBuf.c
• Abc_ObjForEachFanin : abc.h
• Abc_ObjForEachFaninId : abc.h
• Abc_ObjForEachFaninReal : abcHieCec.c
• Abc_ObjForEachFanout : abc.h
• Abc_ObjForEachFanoutId : abc.h
• ABC_PRB : bbrImage.c, extraBdd.h
• ABC_PRIME_MASK : extraUtilPrime.c
• ABC_PRM : abc_global.h
• ABC_PRMn : abc_global.h
• ABC_PRMP : abc_global.h
• ABC_PRMr : abc_global.h
• ABC_PRT : abc_global.h, starter.c
• ABC_PRTn : abc_global.h
• ABC_PRTP : abc_global.h
• ABC_PRTr : abc_global.h
• ABC_REALLOC : abc_global.h
• ABC_RS_DIV1_MAX : abcOrchestration.c, abcResub.c
• ABC_RS_DIV2_MAX : abcOrchestration.c, abcResub.c
• ABC_SCL_CUR_VERSION : sclLib.h
• ABC_SCL_MAX_SIZE : sclUtil.c
• Abc_SopForEachCube : abc.h
• Abc_SopForEachCubePair : abc.h
• ABC_SWAP : abc_global.h
• ABC_USE_BRIDGE : abc_global.h
• ABC_USE_HISTORY : cmdHist.c
• ABC_VERSION : mainInt.h
• ABS : util_old.h, utilities.h
• ABS_ONE : bmcBmc2.c
• ABS_UND : bmcBmc2.c
• ABS_ZER : bmcBmc2.c
• Acb_ManForEachNtk : acb.h
• Acb_NtkForEachBox : acb.h
• Acb_NtkForEachBoxSeq : acb.h
• Acb_NtkForEachCi : acb.h
• Acb_NtkForEachCioOrder : acb.h
• Acb_NtkForEachCiVec : acb.h
• Acb_NtkForEachCo : acb.h
• Acb_NtkForEachCoAndDriver : acb.h
• Acb_NtkForEachCoDriver : acb.h
• Acb_NtkForEachCoDriverVec : acb.h
• Acb_NtkForEachCoVec : acb.h
• Acb_NtkForEachNode : acb.h
• Acb_NtkForEachNodeReverse : acb.h
• Acb_NtkForEachNodeSupp : acb.h
• Acb_NtkForEachObj : acb.h
• Acb_NtkForEachObjReverse : acb.h
• Acb_NtkForEachObjType : acb.h
• Acb_NtkForEachPi : acb.h
• Acb_NtkForEachPo : acb.h
• Acb_ObjForEachFanin : acb.h
• Acb_ObjForEachFaninFast : acb.h
• Acb_ObjForEachFanout : acb.h
• Acb_ObjForEachFon : acb.h
• ACTIVE : espresso.h, flags.h
• ADD : cadical_kitten.c, statistics.h
• ADD_BINARY_TO_PROOF : proof.h
• ADD_CHAR_TO_BLOCK : bzlib.c
• ADD_CLAUSE_TO_PROOF : proof.h
• ADD_DIRECT : st.c, stmm.c
• ADD_EMPTY_TO_PROOF : proof.h
• add_ite_matching_proof_chain : congruence.c
• add_ite_turned_and_binary_clauses : congruence.c
• ADD_LITS_TO_PROOF : proof.h
• ADD_STACK_TO_PROOF : proof.h
• ADD_TERNARY_TO_PROOF : proof.h
• ADD_UNCHECKED_EXTERNAL : check.h
• ADD_UNIT_TO_PROOF : proof.h
• add_xor_matching_proof_chain : congruence.c
• add_xor_shrinking_proof_chain : congruence.c
• AddToLinkedList : reoSwap.c
• ADDWEIGHTS : huffman.c
• AGI_C0 : giaAgi.c
• AGI_M0 : giaAgi.c
• AGI_M1 : giaAgi.c
• Agi_ManForEachCi : giaAgi.c
• Agi_ManForEachCo : giaAgi.c
• Agi_ManForEachNode : giaAgi.c
• Agi_ManForEachObj : giaAgi.c
• Agi_ManForEachObj1 : giaAgi.c
• AGI_PI : giaAgi.c
• AGI_PO : giaAgi.c
• AGI_RI : giaAgi.c
• AGI_RO : giaAgi.c
• Aig_CutForEachLeaf : aig.h
• Aig_DomForEachNode : aigDoms.c
• AIG_ISO_NUM : saigIsoFast.c
• Aig_ManForEachCi : aig.h
• Aig_ManForEachCiReverse : aig.h
• Aig_ManForEachCo : aig.h
• Aig_ManForEachCoReverse : aig.h
• Aig_ManForEachExor : aig.h
• Aig_ManForEachExorReverse : aig.h
• Aig_ManForEachLiLoSeq : aig.h
• Aig_ManForEachLiSeq : aig.h
• Aig_ManForEachLoSeq : aig.h
• Aig_ManForEachNode : aig.h
• Aig_ManForEachNodeInOrder : darCore.c
• Aig_ManForEachNodeReverse : aig.h
• Aig_ManForEachObj : aig.h
• Aig_ManForEachObjReverse : aig.h
• Aig_ManForEachObjVec : aig.h
• Aig_ManForEachObjVecReverse : aig.h
• Aig_ManForEachPiSeq : aig.h
• Aig_ManForEachPoSeq : aig.h
• Aig_ObjForEachCut : aig.h
• Aig_ObjForEachFanout : aig.h
• Aig_ObjForEachFanoutStatic : saigRetFwd.c
• AIG_VAL0 : aigJust.c
• AIG_VAL1 : aigJust.c
• AIG_VALX : aigJust.c
• AIG_XVS0 : aigTsim.c
• AIG_XVS1 : aigTsim.c
• AIG_XVSX : aigTsim.c
• all_antecedents : cadical_kitten.c, kitten.c
• all_binary_blocking_watch_ref : watch.h
• all_binary_blocking_watches : watch.h
• all_binary_large_watches : watch.h
• all_clauses : internal.h
• all_fifo : fifo.h
• all_kits : cadical_kitten.c, kitten.c
• all_klauses : cadical_kitten.c, kitten.c
• all_learned_klauses : cadical_kitten.c, kitten.c
• all_literals : internal.h
• all_literals_in_clause : clause.h
• all_literals_in_klause : cadical_kitten.c, kitten.c
• all_options : options.h
• all_original_klauses : cadical_kitten.c, kitten.c
• all_pointers : stack.h
• all_rhs_literals_in_gate : congruence.c
• all_scheduled : cadical_sweep.cpp, sweep.c
• all_stack : stack.h
• all_variables : internal.h
• ALLOC : avl.h, util_old.h
• ALLOCATE_ARRAY : array.h
• ALLOCATED_FIFO : fifo.h
• ALLOW_SAFETY_PROPERTIES : liveness.c
• AMAP_EQN_FLAG_ERROR : amapParse.c
• AMAP_EQN_FLAG_OPER : amapParse.c
• AMAP_EQN_FLAG_START : amapParse.c
• AMAP_EQN_FLAG_VAR : amapParse.c
• AMAP_EQN_OPER_AND : amapParse.c
• AMAP_EQN_OPER_MARK : amapParse.c
• AMAP_EQN_OPER_NEG : amapParse.c
• AMAP_EQN_OPER_OR : amapParse.c
• AMAP_EQN_OPER_XOR : amapParse.c
• AMAP_EQN_SYM_AND : amapParse.c
• AMAP_EQN_SYM_AND2 : amapParse.c
• AMAP_EQN_SYM_CLOSE : amapParse.c
• AMAP_EQN_SYM_CONST0 : amapParse.c
• AMAP_EQN_SYM_CONST1 : amapParse.c
• AMAP_EQN_SYM_NEG : amapParse.c
• AMAP_EQN_SYM_NEGAFT : amapParse.c
• AMAP_EQN_SYM_OPEN : amapParse.c
• AMAP_EQN_SYM_OR : amapParse.c
• AMAP_EQN_SYM_OR2 : amapParse.c
• AMAP_EQN_SYM_XOR : amapParse.c
• Amap_GateForEachPin : amapInt.h
• Amap_ItemForEachChild : amapLiberty.c
• Amap_LibForEachGate : amapInt.h
• Amap_LibNodeForEachSet : amapInt.h
• Amap_ManForEachNode : amapInt.h
• Amap_ManForEachObj : amapInt.h
• Amap_ManForEachPi : amapInt.h
• Amap_ManForEachPo : amapInt.h
• Amap_MatchForEachFanin : amapInt.h
• Amap_MatchForEachFaninCompl : amapInt.h
• AMAP_MAXINS : amapInt.h
• Amap_NodeForEachCut : amapInt.h
• AMAP_STRING_CONST0 : amapInt.h
• AMAP_STRING_CONST1 : amapInt.h
• AMAP_STRING_GATE : amapRead.c
• AMAP_STRING_INV : amapRead.c
• AMAP_STRING_NONINV : amapRead.c
• AMAP_STRING_PIN : amapRead.c
• AMAP_STRING_UNKNOWN : amapRead.c
• AMAP_SYMB_AFTNOT : amapRead.c
• AMAP_SYMB_AND : amapRead.c
• AMAP_SYMB_AND2 : amapRead.c
• AMAP_SYMB_CLOSE : amapRead.c
• AMAP_SYMB_NOT : amapRead.c
• AMAP_SYMB_OPEN : amapRead.c
• AMAP_SYMB_OR1 : amapRead.c
• AMAP_SYMB_OR2 : amapRead.c
• AMAP_SYMB_XOR : amapRead.c
• analyze_wrapper : internal.hpp
• AND_GATE : congruence.c
• ANSI_COLOR_BLUE : abcExact.c
• ANSI_COLOR_CYAN : abcExact.c
• ANSI_COLOR_GREEN : abcExact.c
• ANSI_COLOR_MAGENTA : abcExact.c
• ANSI_COLOR_RED : abcExact.c
• ANSI_COLOR_RESET : abcExact.c
• ANSI_COLOR_YELLOW : abcExact.c
• APPLE_MACH : abc_global.h, rewire_time.h
• ARGS : avl.h, st.h, stmm.h
• ARRAY : array.h
• Assert : zutil.h
• assert : util_old.h
• AssertD : bzlib_private.h
• AssertH : bzlib_private.h
• ASSIGNED : assign.h
• ASSUMED_LD_CACHE_LINE_BYTES : utilities.h
• ATTACH_FULL : abcAttach.c
• ATTACH_MASK : abcAttach.c
• ATTRIBUTE_ALWAYS_INLINE : attribute.h
• ATTRIBUTE_FORMAT : attribute.h
• Au_BoxForEachFanout : abcHieNew.c
• Au_BoxForEachFanoutId : abcHieNew.c
• Au_ManForEachNtk : abcHieNew.c
• Au_ManForEachNtkReverse : abcHieNew.c
• AU_MAX_FANINS : abcHieNew.c
• Au_NtkForEachBox : abcHieNew.c
• Au_NtkForEachNode : abcHieNew.c
• Au_NtkForEachObj : abcHieNew.c
• Au_NtkForEachPi : abcHieNew.c
• Au_NtkForEachPo : abcHieNew.c
• Au_ObjForEachFanin : abcHieNew.c
• Au_ObjForEachFaninId : abcHieNew.c
• AU_VAL0 : abcHieNew.c
• AU_VAL1 : abcHieNew.c
• AU_VALX : abcHieNew.c
• AVERAGE : averages.h
• AVERAGES : averages.h
• AVL_BACKWARD : avl.h
• avl_foreach_item : avl.h
• AVL_FORWARD : avl.h
• avl_is_member : avl.h