Home
last modified time | relevance | path

Searched defs:pCut (Results 1 – 25 of 116) sorted by relevance

12345

/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/
H A DcnfCut.c63 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 DcnfCut.c48 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 DcutCut.c47 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 DcutNode.c48 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 DcutTruth.c56 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 DfpgaCutUtils.c45 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 DfpgaTruth.c44 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 DifCut.c797 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 DifSelect.c48 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 DifMap.c66 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 DcswCut.c45 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 DaigCuts.c105 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 DmpmMap.c58 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 DmpmTruth.c47 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 DgiaJf.c49 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 DgiaOf.c372 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 DdarCut.c45 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 DdarCut.c94 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 DlpkCut.c84 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 DmapperCutUtils.c45 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 DmapperTruth.c51 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 DmapperSwitch.c45 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 DmapperRefs.c179 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 Dcnf.h110 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 DivyCut.c521 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 …]

12345