- a -

• a0 : extraBdd.h
• a1 : extraBdd.h
• ABC : cuddWindow.c
• 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 : abc_global.h
• ABC_DLLIMPORT : abc_global.h
• ABC_ENUM_MAX : extraUtilEnum.c
• ABC_FALLOC : abc_global.h
• ABC_FREE : abc_global.h
• ABC_INFINITY : abc_global.h
• ABC_ISOP_MAX_CUBE : utilIsop.c
• ABC_ISOP_MAX_VAR : utilIsop.c
• ABC_ISOP_MAX_WORD : utilIsop.c
• ABC_MAX_LIB_STR_LEN : sclLiberty.c , 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_MUX_CUBES : abcFunc.c
• ABC_NAMESPACE_HEADER_END : abc_global.h
• ABC_NAMESPACE_HEADER_START : abc_global.h
• ABC_NAMESPACE_IMPL_END : abc_global.h
• ABC_NAMESPACE_IMPL_START : abc_global.h
• ABC_NAMESPACE_PREFIX : abc_global.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_NUM_STEPS : abcInt.h
• ABC_OBJ_VOID : abcBarBuf.c
• Abc_ObjForEachFanin : abc.h
• Abc_ObjForEachFaninReal : abcHieCec.c
• Abc_ObjForEachFanout : abc.h
• ABC_PRB : extraBdd.h , bbrImage.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 : abcResub.c
• ABC_RS_DIV2_MAX : 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_VERSION : mainInt.h
• ABCD : cuddWindow.c
• ABDC : cuddWindow.c
• ABS : util_old.h
• ABS_ONE : bmcBmc2.c
• ABS_UND : bmcBmc2.c
• ABS_ZER : bmcBmc2.c
• ACB : cuddWindow.c
• ACBD : cuddWindow.c
• ACDB : cuddWindow.c
• ACTIVE : espresso.h
• ADBC : cuddWindow.c
• ADCB : cuddWindow.c
• ADD_CHAR_TO_BLOCK : bzlib.c
• ADD_DIRECT : st.c , stmm.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
• ALLOC : avl.h , util_old.h
• ALLOW_SAFETY_PROPERTIES : liveness.c
• ALPHA : cuddAnneal.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_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
• ARGS : st.h , stmm.h , avl.h
• Assert : zutil.h
• assert : util_old.h
• AssertD : bzlib_private.h
• AssertH : bzlib_private.h
• ATTACH_FULL : abcAttach.c
• ATTACH_MASK : abcAttach.c
• 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
• AVL_BACKWARD : avl.h
• avl_foreach_item : avl.h
• AVL_FORWARD : avl.h
• avl_is_member : avl.h