Home
last modified time | relevance | path

Searched refs:Vec_PtrPushUnique (Results 1 – 25 of 47) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCnf.c173 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 DdchCnf.c224 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 DivyCut.c226 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 DivyBalance.c393 if ( Vec_PtrPushUnique(vStore, pObj) ) in Ivy_NodeBalancePushUniqueOrderByLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswCnf.c283 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 DnwkSpeedup.c285 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 DabcSpeedup.c580 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 DabcMulti.c308 Vec_PtrPushUnique( vCone, pNode ); in Abc_NtkMultiLimit_rec()
621 Vec_PtrPushUnique( vCone, pNode ); in Abc_NtkMultiCone_rec()
H A DabcPlace.c146 Vec_PtrPushUnique( vNets, &(nets[pFanin->Id]) ); in Abc_PlaceUpdate()
H A DabcBalance.c468 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 DgiaSupp.c591 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 DcecSolve.c243 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 DcecSatG.c291 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 DcecSat.c288 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 Dllb1Group.c261 Vec_PtrPushUnique( p->vIns, pObj ); in Llb_ManGroupsCombine()
266 Vec_PtrPushUnique( p->vOuts, pObj ); in Llb_ManGroupsCombine()
H A Dllb4Image.c293 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 Dllb3Image.c315 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 DsimSymStr.c172 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 DmfsDiv.c273 Vec_PtrPushUnique( p->vNodes, pFanout ); in Abc_MfsComputeDivisors()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigFact.c50 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 DvecVec.h305 Vec_PtrPushUnique( (Vec_Ptr_t*)p->pArray[Level], Entry ); in Vec_VecPushUnique()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopBalance.c380 if ( Vec_PtrPushUnique(vStore, pObj) ) in Hop_NodeBalancePushUniqueOrderByLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c306 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 DdarBalance.c397 if ( Vec_PtrPushUnique(vStore, pObj) ) in Dar_BalancePushUniqueOrderByLevel()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresWin.c325 Vec_PtrPushUnique( vRoots, pObj ); in Res_WinFinalizeRoots_rec()

12