/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
H A D | cnfCut.c | 63 Cnf_Cut_t * pCut; in Cnf_CutAlloc() local 83 void Cnf_CutFree( Cnf_Cut_t * pCut ) in Cnf_CutFree() 105 Cnf_Cut_t * pCut; in Cnf_CutCreate() local 130 void Cnf_CutPrint( Cnf_Cut_t * pCut ) in Cnf_CutPrint() 150 void Cnf_CutDeref( Cnf_Man_t * p, Cnf_Cut_t * pCut ) in Cnf_CutDeref() 172 void Cnf_CutRef( Cnf_Man_t * p, Cnf_Cut_t * pCut ) in Cnf_CutRef() 211 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves() 241 static inline unsigned Cnf_TruthPhase( Cnf_Cut_t * pCut, Cnf_Cut_t * pCut1 ) in Cnf_TruthPhase() 269 void Cnf_CutRemoveIthVar( Cnf_Cut_t * pCut, int iVar, int iFan ) in Cnf_CutRemoveIthVar() 289 void Cnf_CutInsertIthVar( Cnf_Cut_t * pCut, int iVar, int iFan ) in Cnf_CutInsertIthVar() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfCut.c | 48 Cnf_Cut_t * pCut; in Cnf_CutAlloc() local 68 void Cnf_CutFree( Cnf_Cut_t * pCut ) in Cnf_CutFree() 90 Cnf_Cut_t * pCut; in Cnf_CutCreate() local 115 void Cnf_CutPrint( Cnf_Cut_t * pCut ) in Cnf_CutPrint() 135 void Cnf_CutDeref( Cnf_Man_t * p, Cnf_Cut_t * pCut ) in Cnf_CutDeref() 157 void Cnf_CutRef( Cnf_Man_t * p, Cnf_Cut_t * pCut ) in Cnf_CutRef() 196 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves() 226 static inline unsigned Cnf_TruthPhase( Cnf_Cut_t * pCut, Cnf_Cut_t * pCut1 ) in Cnf_TruthPhase() 254 void Cnf_CutRemoveIthVar( Cnf_Cut_t * pCut, int iVar, int iFan ) in Cnf_CutRemoveIthVar() 274 void Cnf_CutInsertIthVar( Cnf_Cut_t * pCut, int iVar, int iFan ) in Cnf_CutInsertIthVar() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/ |
H A D | cutCut.c | 47 Cut_Cut_t * pCut; in Cut_CutAlloc() local 72 void Cut_CutRecycle( Cut_Man_t * p, Cut_Cut_t * pCut ) in Cut_CutRecycle() 150 Cut_Cut_t * pCut, * pCut2; in Cut_CutRecycleList() local 188 Cut_Cut_t * pCut; in Cut_CutMergeLists() local 221 Cut_Cut_t * pCut; in Cut_CutNumberList() local 240 Cut_Cut_t * pCut; in Cut_CutCreateTriv() local 276 void Cut_CutPrint( Cut_Cut_t * pCut, int fSeq ) in Cut_CutPrint() 310 Cut_Cut_t * pCut; in Cut_CutPrintList() local 326 void Cut_CutPrintMerge( Cut_Cut_t * pCut, Cut_Cut_t * pCut0, Cut_Cut_t * pCut1 ) in Cut_CutPrintMerge()
|
H A D | cutNode.c | 48 static inline int Cut_CutCheckDominance( Cut_Cut_t * pDom, Cut_Cut_t * pCut ) in Cut_CutCheckDominance() 77 Cut_Cut_t * pCut, * pCut2, * pDom, * pPrev; in Cut_CutFilter() local 224 static inline int Cut_CutFilterGlobal( Cut_Man_t * p, Cut_Cut_t * pCut ) in Cut_CutFilterGlobal() 314 Cut_Cut_t * pCut; in Cut_CutProcessTwo() local 372 Cut_Cut_t * pList, * pCut; in Cut_NodeComputeCuts() local 448 Cut_Cut_t * pCut; in Cut_NodeMapping2() local 491 Cut_Cut_t * pCut0, * pCut1, * pCut; in Cut_NodeMapping() local 546 Cut_Cut_t * pCut; in Cut_ManMappingArea_rec() local 681 Cut_Cut_t * pList, * pListStart, * pCut, * pCut2; in Cut_NodeUnionCuts() local 798 Cut_Cut_t * pList, * pListStart, * pCut, * pCut2, * pTop; in Cut_NodeUnionCutsSeq() local [all …]
|
H A D | cutTruth.c | 56 static inline unsigned Cut_TruthPhase( Cut_Cut_t * pCut, Cut_Cut_t * pCut1 ) in Cut_TruthPhase() 85 void Cut_TruthNCanonicize( Cut_Cut_t * pCut ) in Cut_TruthNCanonicize() 126 void Cut_TruthComputeOld( Cut_Cut_t * pCut, Cut_Cut_t * pCut0, Cut_Cut_t * pCut1, int fCompl0, int … in Cut_TruthComputeOld() 177 void Cut_TruthCompute( Cut_Man_t * p, Cut_Cut_t * pCut, Cut_Cut_t * pCut0, Cut_Cut_t * pCut1, int f… in Cut_TruthCompute()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
H A D | fpgaCutUtils.c | 45 Fpga_Cut_t * pCut; in Fpga_CutAlloc() local 85 void Fpga_CutFree( Fpga_Man_t * p, Fpga_Cut_t * pCut ) in Fpga_CutFree() 102 void Fpga_CutPrint( Fpga_Man_t * p, Fpga_Node_t * pRoot, Fpga_Cut_t * pCut ) in Fpga_CutPrint() 125 Fpga_Cut_t * pCut; in Fpga_CutCreateSimple() local 146 float Fpga_CutGetRootArea( Fpga_Man_t * p, Fpga_Cut_t * pCut ) in Fpga_CutGetRootArea() 279 void Fpga_CutGetParameters( Fpga_Man_t * pMan, Fpga_Cut_t * pCut ) in Fpga_CutGetParameters() 314 float Fpga_CutGetAreaFlow( Fpga_Man_t * pMan, Fpga_Cut_t * pCut ) in Fpga_CutGetAreaFlow() 340 float Fpga_CutGetAreaRefed( Fpga_Man_t * pMan, Fpga_Cut_t * pCut ) in Fpga_CutGetAreaRefed() 362 float Fpga_CutGetAreaDerefed( Fpga_Man_t * pMan, Fpga_Cut_t * pCut ) in Fpga_CutGetAreaDerefed() 384 float Fpga_CutRef( Fpga_Man_t * pMan, Fpga_Node_t * pNode, Fpga_Cut_t * pCut, int fFanouts ) in Fpga_CutRef() [all …]
|
H A D | fpgaTruth.c | 44 DdNode * Fpga_TruthsCutBdd_rec( DdManager * dd, Fpga_Cut_t * pCut, Fpga_NodeVec_t * vVisited ) in Fpga_TruthsCutBdd_rec() 79 void * Fpga_TruthsCutBdd( void * dd, Fpga_Cut_t * pCut ) in Fpga_TruthsCutBdd() 118 void Fpga_CutVolume_rec( Fpga_Cut_t * pCut, Fpga_NodeVec_t * vVisited ) in Fpga_CutVolume_rec() 140 int Fpga_CutVolume( Fpga_Cut_t * pCut ) in Fpga_CutVolume()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifCut.c | 797 void If_CutOrder( If_Cut_t * pCut ) in If_CutOrder() 826 int If_CutCheck( If_Cut_t * pCut ) in If_CutCheck() 856 void If_CutPrint( If_Cut_t * pCut ) in If_CutPrint() 897 void If_CutLift( If_Cut_t * pCut ) in If_CutLift() 919 float If_CutAreaFlow( If_Man_t * p, If_Cut_t * pCut ) in If_CutAreaFlow() 957 float If_CutEdgeFlow( If_Man_t * p, If_Cut_t * pCut ) in If_CutEdgeFlow() 1048 float If_CutAreaDeref( If_Man_t * p, If_Cut_t * pCut ) in If_CutAreaDeref() 1075 float If_CutAreaRef( If_Man_t * p, If_Cut_t * pCut ) in If_CutAreaRef() 1125 float If_CutAreaRefed( If_Man_t * p, If_Cut_t * pCut ) in If_CutAreaRefed() 1149 float If_CutEdgeDeref( If_Man_t * p, If_Cut_t * pCut ) in If_CutEdgeDeref() [all …]
|
H A D | ifSelect.c | 48 If_Cut_t * pCut; in If_ObjConePrint_rec() local 67 If_Cut_t * pCut; in If_ObjConePrint() local 96 If_Cut_t * pCut; in If_ManNodeShapeMap_rec() local 130 If_Cut_t * pCut; in If_ManNodeShapeMap() local 181 If_Cut_t * pCut; in If_ManNodeShapeMap2_rec() local 223 If_Cut_t * pCut; in If_ManNodeShapeMap2() local 264 If_Cut_t * pCut; in If_ManConeCollect_rec() local 300 Vec_Ptr_t * If_ManConeCollect( If_Man_t * pIfMan, If_Obj_t * pIfObj, If_Cut_t * pCut ) in If_ManConeCollect() 415 If_Cut_t * pCut; in If_ManNodeShapeSat() local 534 If_Cut_t * pCut; in If_ManCheckShape() local
|
H A D | ifMap.c | 66 int If_ManCutAigDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) in If_ManCutAigDelay() 116 float If_CutDelaySpecial( If_Man_t * p, If_Cut_t * pCut, int fCarry ) in If_CutDelaySpecial() 143 int * If_CutArrTimeProfile( If_Man_t * p, If_Cut_t * pCut ) in If_CutArrTimeProfile() 165 If_Cut_t * pCut0, * pCut1, * pCut; in If_ObjPerformMappingAnd() local 206 If_CutPerm(pCut)[v] = IF_BIG_CHAR; in If_ObjPerformMappingAnd() local 434 If_CutPerm(pCut)[v] = IF_BIG_CHAR; in If_ObjPerformMappingAnd() local 509 If_Cut_t * pCutTemp, * pCut; in If_ObjPerformMappingChoice() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswCut.c | 45 static inline int Csw_CutFindCost( Csw_Man_t * p, Csw_Cut_t * pCut ) in Csw_CutFindCost() 71 static inline float Csw_CutFindCost2( Csw_Man_t * p, Csw_Cut_t * pCut ) in Csw_CutFindCost2() 95 Csw_Cut_t * pCut, * pCutMax; in Csw_CutFindFree() local 121 static inline unsigned Cut_TruthPhase( Csw_Cut_t * pCut, Csw_Cut_t * pCut1 ) in Cut_TruthPhase() 180 int Csw_CutSupportMinimize( Csw_Man_t * p, Csw_Cut_t * pCut ) in Csw_CutSupportMinimize() 217 static inline int Csw_CutCheckDominance( Csw_Cut_t * pDom, Csw_Cut_t * pCut ) in Csw_CutCheckDominance() 243 int Csw_CutFilter( Csw_Man_t * p, Aig_Obj_t * pObj, Csw_Cut_t * pCut ) in Csw_CutFilter() 380 int Csw_CutMerge( Csw_Man_t * p, Csw_Cut_t * pCut0, Csw_Cut_t * pCut1, Csw_Cut_t * pCut ) in Csw_CutMerge() 409 Aig_Obj_t * Csw_ObjTwoVarCut( Csw_Man_t * p, Csw_Cut_t * pCut ) in Csw_ObjTwoVarCut() 455 Csw_Cut_t * pCutSet, * pCut; in Csw_ObjPrepareCuts() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigCuts.c | 105 void Aig_CutPrint( Aig_Cut_t * pCut ) in Aig_CutPrint() 127 Aig_Cut_t * pCut; in Aig_ObjCutPrint() local 149 Aig_Cut_t * pCut; in Aig_ManCutCount() local 177 static inline int Aig_CutFindCost( Aig_ManCut_t * p, Aig_Cut_t * pCut ) in Aig_CutFindCost() 198 static inline float Aig_CutFindCost2( Aig_ManCut_t * p, Aig_Cut_t * pCut ) in Aig_CutFindCost2() 222 Aig_Cut_t * pCut, * pCutMax; in Aig_CutFindFree() local 307 int Aig_CutSupportMinimize( Aig_ManCut_t * p, Aig_Cut_t * pCut ) in Aig_CutSupportMinimize() 344 static inline int Aig_CutCheckDominance( Aig_Cut_t * pDom, Aig_Cut_t * pCut ) in Aig_CutCheckDominance() 370 int Aig_CutFilter( Aig_ManCut_t * p, Aig_Obj_t * pObj, Aig_Cut_t * pCut ) in Aig_CutFilter() 538 Aig_Cut_t * pCutSet, * pCut; in Aig_ObjPrepareCuts() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmMap.c | 58 Mpm_Cut_t * pCut; in Mpm_CutCreateZero() local 65 Mpm_Cut_t * pCut; in Mpm_CutCreateUnit() local 93 Mpm_Cut_t * pCut; in Mpm_CutCopySet() local 103 void Mpm_CutPrint( Mpm_Cut_t * pCut ) in Mpm_CutPrint() 403 Mpm_Cut_t * pCut; in Mpm_ManExploreNewCut() local 491 Mpm_Cut_t * pCut; in Mpm_ObjRecycleCuts() local 512 Mpm_Cut_t * pCut; in Mpm_ObjCollectFaninsAndSigns() local 531 Mpm_Cut_t * pCut; in Mpm_ObjAddChoiceCutsToStore() local 549 Mpm_Cut_t * pCut = NULL; in Mpm_ObjTranslateCutsFromStore() local 642 Mpm_Cut_t * pCut; in Mpm_ManDeriveCuts() local [all …]
|
H A D | mpmTruth.c | 47 static inline void Mpm_TruthStretch( word * pTruth, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, int nLimit… in Mpm_TruthStretch() 72 static inline int Mpm_CutTruthMinimize6( Mpm_Man_t * p, Mpm_Cut_t * pCut ) in Mpm_CutTruthMinimize6() 102 static inline int Mpm_CutTruthMinimize7( Mpm_Man_t * p, Mpm_Cut_t * pCut ) in Mpm_CutTruthMinimize7() 145 static inline int Mpm_CutComputeTruth6( Mpm_Man_t * p, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, Mpm_Cut… in Mpm_CutComputeTruth6() 181 static inline int Mpm_CutComputeTruth7( Mpm_Man_t * p, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, Mpm_Cut… in Mpm_CutComputeTruth7() 215 int Mpm_CutComputeTruth( Mpm_Man_t * p, Mpm_Cut_t * pCut, Mpm_Cut_t * pCut0, Mpm_Cut_t * pCut1, Mpm… in Mpm_CutComputeTruth()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaJf.c | 49 int pCut[JF_LEAF_MAX+2]; // cut member 437 static inline void Jf_CutPrint( int * pCut ) in Jf_CutPrint() 447 int i, * pCut; in Jf_ObjCutPrint() local 459 static inline void Jf_CutCheck( int * pCut ) in Jf_CutCheck() 494 static inline word Jf_CutGetSign( int * pCut ) in Jf_CutGetSign() 845 int Jf_CutRef_rec( Jf_Man_t * p, int * pCut ) in Jf_CutRef_rec() 1311 float nRefsNew; int i, * pCut; in Jf_ManComputeRefs() local 1363 int * pCut, * pCutBest = NULL; in Jf_ObjComputeBestCut() local 1441 int i, k, iLit, Class, * pCut; in Jf_ManDeriveMappingGia() local 1548 int i, k, * pCut; in Jf_ManDeriveMapping() local [all …]
|
H A D | giaOf.c | 372 int i, * pCut, * pList = Of_ObjCutSet(p, iObj); in Of_ManPrepareCuts() local 413 int i, k, * pCut, * pList = Of_ObjCutSet(p, iObj); in Of_ManLiftCuts() local 421 static inline void Of_CutPrint( int * pCut ) in Of_CutPrint() 1047 int Of_CutRef_rec( Of_Man_t * p, int * pCut ) in Of_CutRef_rec() 1055 int Of_CutDeref_rec( Of_Man_t * p, int * pCut ) in Of_CutDeref_rec() 1071 int Of_CutRef2_rec( Of_Man_t * p, int * pCut ) in Of_CutRef2_rec() 1170 int i, k, iVar, * pList, * pCut, * pCutMin; in Of_ManComputeBackward1() local 1246 int i, k, iVar, * pList, * pCut, * pCutMin; in Of_ManComputeBackward3() local 1517 int * pCutSet, * pCut; in Of_ManCreateSat() local 1631 int * pCutSet, * pCut, * pCutBest; in Of_ManPrintCuts() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darCut.c | 45 void Dar_CutPrint( Dar_Cut_t * pCut ) in Dar_CutPrint() 67 Dar_Cut_t * pCut; in Dar_ObjCutPrint() local 106 static inline int Dar_CutFindValue( Dar_Man_t * p, Dar_Cut_t * pCut ) in Dar_CutFindValue() 144 Dar_Cut_t * pCut, * pCutMax; in Dar_CutFindFree() local 190 static inline int Dar_CutCheckDominance( Dar_Cut_t * pDom, Dar_Cut_t * pCut ) in Dar_CutCheckDominance() 217 static inline int Dar_CutFilter( Aig_Obj_t * pObj, Dar_Cut_t * pCut ) in Dar_CutFilter() 359 static inline int Dar_CutMerge( Dar_Cut_t * pCut, Dar_Cut_t * pCut0, Dar_Cut_t * pCut1 ) in Dar_CutMerge() 390 static inline unsigned Dar_CutTruthPhase( Dar_Cut_t * pCut, Dar_Cut_t * pCut1 ) in Dar_CutTruthPhase() 600 static inline int Dar_CutSuppMinimize( Dar_Cut_t * pCut ) in Dar_CutSuppMinimize() 670 Dar_Cut_t * pCutSet, * pCut; in Dar_ObjPrepareCuts() local [all …]
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darCut.c | 94 static inline int Dar_CutFindValue( Dar_Man_t * p, Dar_Cut_t * pCut ) in Dar_CutFindValue() 132 Dar_Cut_t * pCut, * pCutMax; in Dar_CutFindFree() local 178 static inline int Dar_CutCheckDominance( Dar_Cut_t * pDom, Dar_Cut_t * pCut ) in Dar_CutCheckDominance() 205 static inline int Dar_CutFilter( Aig_Obj_t * pObj, Dar_Cut_t * pCut ) in Dar_CutFilter() 347 static inline int Dar_CutMerge( Dar_Cut_t * pCut, Dar_Cut_t * pCut0, Dar_Cut_t * pCut1 ) in Dar_CutMerge() 378 static inline unsigned Dar_CutTruthPhase( Dar_Cut_t * pCut, Dar_Cut_t * pCut1 ) in Dar_CutTruthPhase() 483 static inline unsigned Dar_CutTruth( Dar_Cut_t * pCut, Dar_Cut_t * pCut0, Dar_Cut_t * pCut1, int fC… in Dar_CutTruth() 503 static inline int Dar_CutSuppMinimize( Dar_Cut_t * pCut ) in Dar_CutSuppMinimize() 573 Dar_Cut_t * pCutSet, * pCut; in Dar_ObjPrepareCuts() local 645 Dar_Cut_t * pCutSet, * pCut0, * pCut1, * pCut; in Dar_ObjComputeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkCut.c | 84 CloudNode * Lpk_CutTruthBdd( Lpk_Man_t * p, Lpk_Cut_t * pCut ) in Lpk_CutTruthBdd() 175 unsigned * Lpk_CutTruth( Lpk_Man_t * p, Lpk_Cut_t * pCut, int fInv ) in Lpk_CutTruth() 235 Lpk_Cut_t * pCut; in Lpk_NodeRecordImpact() local 275 int Lpk_NodeCutsCheckDsd( Lpk_Man_t * p, Lpk_Cut_t * pCut ) in Lpk_NodeCutsCheckDsd() 336 static inline int Lpk_NodeCutsOneDominance( Lpk_Cut_t * pDom, Lpk_Cut_t * pCut ) in Lpk_NodeCutsOneDominance() 364 Lpk_Cut_t * pCut; in Lpk_NodeCutsOneFilter() local 422 void Lpk_NodePrintCut( Lpk_Man_t * p, Lpk_Cut_t * pCut, int fLeavesOnly ) in Lpk_NodePrintCut() 453 void Lpk_NodeCutSignature( Lpk_Cut_t * pCut ) in Lpk_NodeCutSignature() 477 void Lpk_NodeCutsOne( Lpk_Man_t * p, Lpk_Cut_t * pCut, int Node ) in Lpk_NodeCutsOne() 621 Lpk_Cut_t * pCut, * pCut2; in Lpk_NodeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
H A D | mapperCutUtils.c | 45 Map_Cut_t * pCut; in Map_CutAlloc() local 75 void Map_CutFree( Map_Man_t * p, Map_Cut_t * pCut ) in Map_CutFree() 92 void Map_CutPrint( Map_Man_t * p, Map_Node_t * pRoot, Map_Cut_t * pCut, int fPhase ) in Map_CutPrint() 114 float Map_CutGetRootArea( Map_Cut_t * pCut, int fPhase ) in Map_CutGetRootArea() 131 int Map_CutGetLeafPhase( Map_Cut_t * pCut, int fPhase, int iLeaf ) in Map_CutGetLeafPhase()
|
H A D | mapperTruth.c | 51 Map_Cut_t * pCut; in Map_MappingTruths() local 94 void Map_TruthsCut( Map_Man_t * p, Map_Cut_t * pCut ) in Map_TruthsCut() 197 void Map_TruthsCutOne( Map_Man_t * p, Map_Cut_t * pCut, unsigned uTruth[] ) in Map_TruthsCutOne() 278 void Map_CutsCollect_rec( Map_Cut_t * pCut, Map_NodeVec_t * vVisited ) in Map_CutsCollect_rec()
|
H A D | mapperSwitch.c | 45 float Map_SwitchCutGetDerefed( Map_Node_t * pNode, Map_Cut_t * pCut, int fPhase ) in Map_SwitchCutGetDerefed() 66 float Map_SwitchCutRef( Map_Node_t * pNode, Map_Cut_t * pCut, int fPhase ) in Map_SwitchCutRef() 82 float Map_SwitchCutDeref( Map_Node_t * pNode, Map_Cut_t * pCut, int fPhase ) in Map_SwitchCutDeref() 99 float Map_SwitchCutRefDeref( Map_Node_t * pNode, Map_Cut_t * pCut, int fPhase, int fReference ) in Map_SwitchCutRefDeref()
|
H A D | mapperRefs.c | 179 float Map_CutGetAreaFlow( Map_Cut_t * pCut, int fPhase ) in Map_CutGetAreaFlow() 229 float Map_CutRefDeref( Map_Cut_t * pCut, int fPhase, int fReference, int fUpdateProf ) in Map_CutRefDeref() 335 float Map_CutGetAreaRefed( Map_Cut_t * pCut, int fPhase ) in Map_CutGetAreaRefed() 355 float Map_CutGetAreaDerefed( Map_Cut_t * pCut, int fPhase ) in Map_CutGetAreaDerefed() 375 float Map_CutRef( Map_Cut_t * pCut, int fPhase, int fProfile ) in Map_CutRef() 391 float Map_CutDeref( Map_Cut_t * pCut, int fPhase, int fProfile ) in Map_CutDeref() 412 Map_Cut_t * pCut; in Map_MappingSetRefs_rec() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | cnf.h | 110 static inline Dar_Cut_t * Dar_ObjBestCut( Aig_Obj_t * pObj ) { Dar_Cut_t * pCut; int i; Dar_ObjFor… in Dar_ObjBestCut() local 112 static inline int Cnf_CutSopCost( Cnf_Man_t * p, Dar_Cut_t * pCut ) { return p->pSopSizes[… in Cnf_CutSopCost() 114 static inline int Cnf_CutLeaveNum( Cnf_Cut_t * pCut ) { return pCut->nFanins; … in Cnf_CutLeaveNum() 115 static inline int * Cnf_CutLeaves( Cnf_Cut_t * pCut ) { return pCut->pFanins; … in Cnf_CutLeaves() 116 static inline unsigned * Cnf_CutTruth( Cnf_Cut_t * pCut ) { return (unsigned *)(pCut->pFani… in Cnf_CutTruth() 119 static inline void Cnf_ObjSetBestCut( Aig_Obj_t * pObj, Cnf_Cut_t * pCut ) { pObj->pData =… in Cnf_ObjSetBestCut() 130 #define Cnf_CutForEachLeaf( p, pCut, pLeaf, i ) \ argument
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyCut.c | 521 static inline unsigned Ivy_NodeCutHash( Ivy_Cut_t * pCut ) in Ivy_NodeCutHash() 543 static inline void Ivy_NodeCutShrink( Ivy_Cut_t * pCut, int iOld ) in Ivy_NodeCutShrink() 564 static inline int Ivy_NodeCutExtend( Ivy_Cut_t * pCut, int iNew ) in Ivy_NodeCutExtend() 598 static inline int Ivy_NodeCutPrescreen( Ivy_Cut_t * pCut, int Id0, int Id1 ) in Ivy_NodeCutPrescreen() 620 static inline int Ivy_NodeCutDeriveNew( Ivy_Cut_t * pCut, Ivy_Cut_t * pCutNew, int IdOld, int IdNew… in Ivy_NodeCutDeriveNew() 682 Ivy_Cut_t * pCut; in Ivy_NodeCutFindOrAdd() local 716 static inline int Ivy_CutCheckDominance( Ivy_Cut_t * pDom, Ivy_Cut_t * pCut ) in Ivy_CutCheckDominance() 744 Ivy_Cut_t * pCut; in Ivy_NodeCutFindOrAddFilter() local 811 Ivy_Cut_t * pCut; in Ivy_NodeCompactCuts() local 834 void Ivy_NodePrintCut( Ivy_Cut_t * pCut ) in Ivy_NodePrintCut() [all …]
|