| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcOrder.c | 49 Vec_Ptr_t * vSupp; in Abc_NtkFindCiOrder() local
70 Vec_Ptr_t * vSupp; in Abc_NtkImplementCiOrder() local
108 void Abc_NtkChangeCiOrder( Abc_Ntk_t * pNtk, Vec_Ptr_t * vSupp, int fReverse ) in Abc_NtkChangeCiOrder()
|
| H A D | abcCollapse.c | 599 int Abc_NtkCollapseReduce( Vec_Str_t * vSop, Vec_Int_t * vSupp, Vec_Int_t * vClass, Vec_Wec_t * vSu… in Abc_NtkCollapseReduce()
655 sat_solver * Abc_NtkClpDeriveSatSolver( Cnf_Dat_t * pCnf, int iCoObjId, Vec_Int_t * vSupp, Vec_Int_… in Abc_NtkClpDeriveSatSolver()
717 …* p, int iCo, int nCubeLim, int nBTLimit, int fCanon, int fReverse, Vec_Int_t * vSupp, int fVerbos… in Abc_NtkClpGiaOne()
736 …* p, int iCo, int nCubeLim, int nBTLimit, int fCanon, int fReverse, Vec_Int_t * vSupp, Vec_Int_t *… in Abc_NtkClpGiaOne2()
812 Vec_Int_t * vSupp = Vec_WecEntry( vSupps, iCoThis ); in Abc_GiaDeriveSops() local
864 Vec_Int_t * vSupp; in Abc_NtkFromSopsInt() local
|
| H A D | abcFpgaFast.c | 154 Vec_Int_t Supp, * vSupp = &Supp; in Ivy_ManToAbcFast_rec() local
|
| H A D | abcPart.c | 253 Vec_Int_t * vSupp; in Supp_ManTransferEntry() local
322 Vec_Int_t * vSupp; in Abc_NtkComputeSupportsSmart() local
419 Vec_Ptr_t * vSupp, * vSupports; in Abc_NtkComputeSupportsNaive() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
| H A D | covTest.c | 116 int Abc_NodeDeriveSops( Min_Man_t * p, Abc_Obj_t * pRoot, Vec_Ptr_t * vSupp, Vec_Ptr_t * vNodes ) in Abc_NodeDeriveSops()
201 Vec_Ptr_t * vSupp, * vNodes; in Abc_NtkTestSop() local
312 int Abc_NodeDeriveEsops( Min_Man_t * p, Abc_Obj_t * pRoot, Vec_Ptr_t * vSupp, Vec_Ptr_t * vNodes ) in Abc_NodeDeriveEsops()
381 Vec_Ptr_t * vSupp, * vNodes; in Abc_NtkTestEsop() local
|
| H A D | covBuild.c | 45 …iveCube( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pObj, Min_Cube_t * pCube, Vec_Int_t * vSupp, int fCompl ) in Abc_NtkCovDeriveCube()
107 Vec_Int_t * vSupp; in Abc_NtkCovDeriveNode_rec() local
245 …NtkCovDeriveCubeInv( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pObj, Min_Cube_t * pCube, Vec_Int_t * vSupp ) in Abc_NtkCovDeriveCubeInv()
304 Vec_Int_t * vSupp; in Abc_NtkCovDeriveNodeInv_rec() local
401 Vec_Int_t * vSupp; in Abc_NtkCovDerive_rec() local
|
| H A D | covMan.c | 94 Vec_Int_t * vSupp; in Cov_ManFree() local
|
| H A D | covCore.c | 284 Vec_Int_t * vSupp; in Abc_NodeCovSupport() local
363 Vec_Int_t * vSupp, * vSupp0, * vSupp1; in Abc_NodeCovPropagate() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMffc.c | 149 static inline void Gia_NodeCollect_rec( Gia_Man_t * p, Gia_Obj_t * pNode, Vec_Int_t * vSupp, Vec_In… in Gia_NodeCollect_rec()
164 static inline int Gia_NodeMffcSizeSupp( Gia_Man_t * p, Gia_Obj_t * pNode, Vec_Int_t * vSupp, Vec_In… in Gia_NodeMffcSizeSupp()
205 Gia_Man_t * Gia_ManDomDerive( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vSupp, int nVars ) in Gia_ManDomDerive()
254 Vec_Int_t * vSupp, * vSuppRefs; in Gia_ManComputeDomsTry() local
|
| H A D | giaTruth.c | 185 word Gia_ObjComputeTruth6( Gia_Man_t * p, int iObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTemp ) in Gia_ObjComputeTruth6()
199 void Gia_ObjComputeTruth6CisSupport_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vSupp ) in Gia_ObjComputeTruth6CisSupport_rec()
214 word Gia_ObjComputeTruth6Cis( Gia_Man_t * p, int iLit, Vec_Int_t * vSupp, Vec_Wrd_t * vTemp ) in Gia_ObjComputeTruth6Cis()
255 word Gia_ObjComputeTruthTable6( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTr… in Gia_ObjComputeTruthTable6()
|
| H A D | giaDfs.c | 45 void Gia_ManCollectCis_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Gia_ManCollectCis_rec()
71 void Gia_ManCollectCis( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vSupp ) in Gia_ManCollectCis()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRpm.c | 143 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Gia_ManDomTest() local
425 int Abs_GiaSortNodes( Gia_Man_t * p, Vec_Int_t * vSupp ) in Abs_GiaSortNodes()
458 void Abs_ManSupport1_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Abs_ManSupport1_rec()
472 int Abs_ManSupport1( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Abs_ManSupport1()
492 void Abs_ManSupport2_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Abs_ManSupport2_rec()
506 int Abs_ManSupport2( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Abs_ManSupport2()
528 int Abs_ManSupport3( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Abs_ManSupport3()
683 Vec_Int_t * vSupp, * vSupp1, * vSupp2; in Abs_RpmPerformMark() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigCone.c | 45 void Saig_ManSupport_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vSupp ) in Saig_ManSupport_rec()
79 Vec_Ptr_t * vSupp; in Saig_ManSupport() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigFact.c | 287 …t * Aig_SuppMinPerform( Aig_Man_t * p, Vec_Ptr_t * vOrGate, Vec_Ptr_t * vNodes, Vec_Ptr_t * vSupp ) in Aig_SuppMinPerform()
348 …* Aig_SuppMinReconstruct( Aig_Man_t * p, Vec_Ptr_t * vCofs, Vec_Ptr_t * vNodes, Vec_Ptr_t * vSupp ) in Aig_SuppMinReconstruct()
377 int Aig_SuppMinGateIsInSupport( Aig_Man_t * p, Vec_Ptr_t * vOrGate, Vec_Ptr_t * vSupp ) in Aig_SuppMinGateIsInSupport()
404 Vec_Ptr_t * vSupp; in Aig_SuppMinCollectSupport() local
595 Vec_Ptr_t * vOrGate, * vNodes, * vSupp, * vCofs; in Aig_ManSupportMinimization() local
|
| H A D | aigMffc.c | 150 void Aig_NodeMffcSupp_rec( Aig_Man_t * p, Aig_Obj_t * pNode, unsigned LevelMin, Vec_Ptr_t * vSupp, … in Aig_NodeMffcSupp_rec()
179 int Aig_NodeMffcSupp( Aig_Man_t * p, Aig_Obj_t * pNode, int LevelMin, Vec_Ptr_t * vSupp ) in Aig_NodeMffcSupp()
|
| H A D | aigDfs.c | 817 void Aig_Support_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vSupp ) in Aig_Support_rec()
848 Vec_Ptr_t * vSupp; in Aig_Support() local
868 void Aig_SupportNodes( Aig_Man_t * p, Aig_Obj_t ** ppObjs, int nObjs, Vec_Ptr_t * vSupp ) in Aig_SupportNodes()
|
| H A D | aigPart.c | 253 Vec_Int_t * vSupp; in Part_ManTransferEntry() local
276 Vec_Int_t * vSupp; in Aig_ManSupports() local
388 Vec_Int_t * vSupp; in Aig_ManSupportsInverse() local
421 Vec_Int_t * vSupp; in Aig_ManSupportsRegisters() local
1530 Vec_Ptr_t * vSupp; in Aig_ManChoiceEval() local
|
| H A D | aigPartReg.c | 158 Vec_Int_t * vSupp; in Aig_ManRegFindBestVar() local
202 Vec_Int_t * vSupp; in Aig_ManRegPartitionAdd() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcRefs.c | 266 void Abc_NodeMffcConeSupp_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vCone, Vec_Ptr_t * vSupp, int fTopmos… in Abc_NodeMffcConeSupp_rec()
299 void Abc_NodeMffcConeSupp( Abc_Obj_t * pNode, Vec_Ptr_t * vCone, Vec_Ptr_t * vSupp ) in Abc_NodeMffcConeSupp()
323 Vec_Ptr_t * vCone, * vSupp; in Abc_NodeMffcConeSuppPrint() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 517 void Acb_NtkFindSupp_rec( Acb_Ntk_t * p, int iObj, Vec_Int_t * vSupp ) in Acb_NtkFindSupp_rec()
531 Vec_Int_t * vSupp = Vec_IntAlloc( 1000 ); in Acb_NtkFindSupp() local
565 Vec_Int_t * Acb_NtkFindDivsCis( Acb_Ntk_t * p, Vec_Int_t * vSupp ) in Acb_NtkFindDivsCis()
882 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acb_FindSupportStart() local
975 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acb_FindSupportNext() local
1039 Vec_Int_t * vTemp, * vSupp = Vec_IntDup( vSuppStart ); int i; in Acb_FindSupportMin() local
1103 Vec_Int_t * vSuppBest, * vSupp;//, * vTemp; in Acb_FindSupport() local
1165 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acb_DerivePatchSupport() local
1358 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acb_DerivePatchSupportS() local
2496 Vec_Int_t * vSupp = Vec_IntTwoMerge( vSuppF, vSuppG ); in Acb_NtkEcoPerform() local
[all …]
|
| H A D | acbMfs.c | 879 static inline void Acb_NtkOrderByRefCount( Acb_Ntk_t * p, Vec_Int_t * vSupp ) in Acb_NtkOrderByRefCount()
893 static inline void Acb_NtkRemapIntoSatVariables( Acb_Ntk_t * p, Vec_Int_t * vSupp ) in Acb_NtkRemapIntoSatVariables()
914 …tk_t * p, int Pivot, sat_solver * pSat, int nVars, int nDivs, Vec_Int_t * vWin, Vec_Int_t * vSupp ) in Acb_NtkFindSupp1()
935 …t Pivot, sat_solver * pSat, int nVars, int nDivs, Vec_Int_t * vWin, Vec_Int_t * vSupp, int nLutSiz… in Acb_NtkFindSupp2()
1007 …t Pivot, sat_solver * pSat, int nVars, int nDivs, Vec_Int_t * vWin, Vec_Int_t * vSupp, int nLutSiz… in Acb_NtkFindSupp3()
1160 Vec_Int_t * vSupp; // support member
1227 …odeAnalyze( Acb_Mfs_t * p, int PivotVar, int nDivs, int nValues, int * pValues, Vec_Int_t * vSupp ) in Acb_NtkOptNodeAnalyze()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigMffc.c | 158 void Aig_NodeMffsSupp_rec( Aig_Man_t * p, Aig_Obj_t * pNode, unsigned LevelMin, Vec_Ptr_t * vSupp, … in Aig_NodeMffsSupp_rec()
187 int Aig_NodeMffsSupp( Aig_Man_t * p, Aig_Obj_t * pNode, int LevelMin, Vec_Ptr_t * vSupp ) in Aig_NodeMffsSupp()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecMult.c | 434 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acec_MultDetectInputs() local
536 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acec_MultMarkPPs() local
614 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acec_MultFindPPs() local
|
| H A D | acecCl.c | 193 void Acec_DetectComputeSuppOne_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp, Vec_Int_t *… in Acec_DetectComputeSuppOne_rec()
212 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); int i, k, Node, Pol; in Acec_DetectComputeSupports() local
|
| H A D | acecCore.c | 78 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acec_VerifyClasses() local
226 Vec_Int_t * vSupp; in Acec_MatchPrintEquivLits() local
|