/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraCnf.c | 173 Vec_PtrPushUnique( vSuper, pObj ); in Fra_CollectSuper_rec() 260 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver() 261 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Fra_CnfNodeAddToSolver() 262 Vec_PtrPushUnique( vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver() 263 Vec_PtrPushUnique( vFanins, Aig_ObjFanin1( Aig_ObjFanin1(pNode) ) ); in Fra_CnfNodeAddToSolver()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchCnf.c | 224 Vec_PtrPushUnique( vSuper, pObj ); in Dch_CollectSuper_rec() 306 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Dch_CnfNodeAddToSolver() 307 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Dch_CnfNodeAddToSolver() 308 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Dch_CnfNodeAddToSolver() 309 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin1(pNode) ) ); in Dch_CnfNodeAddToSolver()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyCut.c | 226 Vec_PtrPushUnique( vLeaves, pObj ); in Ivy_ManFindBoolCut_rec() 227 Vec_PtrPushUnique( vVolume, pObj ); in Ivy_ManFindBoolCut_rec() 242 Vec_PtrPushUnique( vVolume, pObj ); in Ivy_ManFindBoolCut_rec() 253 Vec_PtrPushUnique( vLeaves, Ivy_ObjFanin0(pObj) ); in Ivy_ManFindBoolCut_rec() 254 Vec_PtrPushUnique( vVolume, Ivy_ObjFanin0(pObj) ); in Ivy_ManFindBoolCut_rec() 258 Vec_PtrPushUnique( vLeaves, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec() 259 Vec_PtrPushUnique( vVolume, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec() 261 Vec_PtrPushUnique( vVolume, pObj ); in Ivy_ManFindBoolCut_rec()
|
H A D | ivyBalance.c | 393 if ( Vec_PtrPushUnique(vStore, pObj) ) in Ivy_NodeBalancePushUniqueOrderByLevel()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswCnf.c | 283 Vec_PtrPushUnique( vSuper, pObj ); in Ssw_CollectSuper_rec() 370 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Ssw_CnfNodeAddToSolver() 371 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Ssw_CnfNodeAddToSolver() 372 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Ssw_CnfNodeAddToSolver() 373 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin1(pNode) ) ); in Ssw_CnfNodeAddToSolver()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkSpeedup.c | 285 Vec_PtrPushUnique( vTimeCries, pFanin2 ); in Nwk_ManSpeedup() 296 Vec_PtrPushUnique( vTimeFanins, pFanin ); in Nwk_ManSpeedup() 299 Vec_PtrPushUnique( vTimeFanins, pFanin2 ); in Nwk_ManSpeedup()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcSpeedup.c | 580 Vec_PtrPushUnique( vTimeCries, pFanin2 ); in Abc_NtkSpeedup() 591 Vec_PtrPushUnique( vTimeFanins, pFanin ); in Abc_NtkSpeedup() 594 Vec_PtrPushUnique( vTimeFanins, pFanin2 ); in Abc_NtkSpeedup() 877 Vec_PtrPushUnique( vTimeCries, pFanin2 ); in Abc_NtkPowerdown() 888 Vec_PtrPushUnique( vTimeFanins, pFanin ); in Abc_NtkPowerdown() 891 Vec_PtrPushUnique( vTimeFanins, pFanin2 ); in Abc_NtkPowerdown()
|
H A D | abcMulti.c | 308 Vec_PtrPushUnique( vCone, pNode ); in Abc_NtkMultiLimit_rec() 621 Vec_PtrPushUnique( vCone, pNode ); in Abc_NtkMultiCone_rec()
|
H A D | abcPlace.c | 146 Vec_PtrPushUnique( vNets, &(nets[pFanin->Id]) ); in Abc_PlaceUpdate()
|
H A D | abcBalance.c | 468 Vec_PtrPushUnique( vNodes, Abc_ObjRegular(pNodeT) ); in Abc_NodeFindCone_rec() 469 Vec_PtrPushUnique( vNodes, Abc_ObjRegular(pNodeE) ); in Abc_NodeFindCone_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSupp.c | 591 Vec_PtrPushUnique( vSuper, pObj ); in Gia_Min2CollectSuper_rec() 640 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin0(pNode) ) ); in Gia_Min2ObjGetCnfVar() 641 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin1(pNode) ) ); in Gia_Min2ObjGetCnfVar() 642 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin0(pNode) ) ); in Gia_Min2ObjGetCnfVar() 643 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin1(pNode) ) ); in Gia_Min2ObjGetCnfVar()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSolve.c | 243 Vec_PtrPushUnique( vSuper, pObj ); in Cec_CollectSuper_rec() 333 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin0(pNode) ) ); in Cec_CnfNodeAddToSolver() 334 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin1(pNode) ) ); in Cec_CnfNodeAddToSolver() 335 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin0(pNode) ) ); in Cec_CnfNodeAddToSolver() 336 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin1(pNode) ) ); in Cec_CnfNodeAddToSolver()
|
H A D | cecSatG.c | 291 Vec_PtrPushUnique( vSuper, pObj ); in Cec3_CollectSuper_rec() 339 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin0(pNode) ) ); in Cec3_ObjGetCnfVar() 340 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin0( Gia_ObjFanin1(pNode) ) ); in Cec3_ObjGetCnfVar() 341 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin0(pNode) ) ); in Cec3_ObjGetCnfVar() 342 Vec_PtrPushUnique( p->vFanins, Gia_ObjFanin1( Gia_ObjFanin1(pNode) ) ); in Cec3_ObjGetCnfVar()
|
H A D | cecSat.c | 288 Vec_PtrPushUnique( vSuper, pObj ); in Cec2_CollectSuper_rec() 353 Vec_PtrPushUnique( vFanins, Gia_ObjFanin0( Gia_ObjFanin0(pNode) ) ); in Gia_ObjGetCnfVar() 354 Vec_PtrPushUnique( vFanins, Gia_ObjFanin0( Gia_ObjFanin1(pNode) ) ); in Gia_ObjGetCnfVar() 355 Vec_PtrPushUnique( vFanins, Gia_ObjFanin1( Gia_ObjFanin0(pNode) ) ); in Gia_ObjGetCnfVar() 356 Vec_PtrPushUnique( vFanins, Gia_ObjFanin1( Gia_ObjFanin1(pNode) ) ); in Gia_ObjGetCnfVar()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb1Group.c | 261 Vec_PtrPushUnique( p->vIns, pObj ); in Llb_ManGroupsCombine() 266 Vec_PtrPushUnique( p->vOuts, pObj ); in Llb_ManGroupsCombine()
|
H A D | llb4Image.c | 293 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_Nonlin4Quantify1() 408 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_Nonlin4Quantify2() 422 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_Nonlin4Quantify2()
|
H A D | llb3Image.c | 315 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_NonlinQuantify1() 440 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_NonlinQuantify2() 454 Vec_PtrPushUnique( vSingles, Llb_MgrPart(p, Vec_IntEntry(pVar->vParts,0)) ); in Llb_NonlinQuantify2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
H A D | simSymStr.c | 172 Vec_PtrPushUnique( vNodes, pNode ); in Sim_SymmsBalanceCollect_rec() 178 Vec_PtrPushUnique( vNodes, pNode ); in Sim_SymmsBalanceCollect_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsDiv.c | 273 Vec_PtrPushUnique( p->vNodes, pFanout ); in Abc_MfsComputeDivisors()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigFact.c | 50 Vec_PtrPushUnique( vImplics, pObj ); in Aig_ManFindImplications_rec() 547 Vec_PtrPushUnique( vSuper, Aig_Not(pObj) ); in Aig_SuppMinCollectSuper_rec()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | vecVec.h | 305 Vec_PtrPushUnique( (Vec_Ptr_t*)p->pArray[Level], Entry ); in Vec_VecPushUnique()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopBalance.c | 380 if ( Vec_PtrPushUnique(vStore, pObj) ) in Hop_NodeBalancePushUniqueOrderByLevel()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcMinBase.c | 306 Vec_PtrPushUnique( vFanins, pObj ); in Abc_NodeCollapseSuppSize() 308 Vec_PtrPushUnique( vFanins, pObj ); in Abc_NodeCollapseSuppSize()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darBalance.c | 397 if ( Vec_PtrPushUnique(vStore, pObj) ) in Dar_BalancePushUniqueOrderByLevel()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
H A D | resWin.c | 325 Vec_PtrPushUnique( vRoots, pObj ); in Res_WinFinalizeRoots_rec()
|