Home
last modified time | relevance | path

Searched defs:vNodes (Results 1 – 25 of 229) sorted by relevance

12345678910

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcDfs.c84 Vec_Ptr_t * vNodes; in Abc_NtkDfs() local
153 Vec_Ptr_t * vNodes; in Abc_NtkDfsNodes() local
223 Vec_Ptr_t * vNodes; in Abc_NtkDfsReverse() local
296 Vec_Ptr_t * vNodes; in Abc_NtkDfsReverseNodes() local
331 Vec_Ptr_t * vNodes; in Abc_NtkDfsReverseNodesContained() local
430 Vec_Ptr_t * vNodes; in Abc_NtkDfsSeq() local
487 Vec_Ptr_t * vNodes; in Abc_NtkDfsSeqReverse() local
667 Vec_Ptr_t * vNodes; in Abc_NtkDfsHie() local
801 Vec_Ptr_t * vNodes; in Abc_NtkDfsWithBoxes() local
861 Vec_Ptr_t * vNodes; in Abc_NtkSupport() local
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigSeq.c103 void Aig_ManDfsSeq_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsSeq_rec()
133 Vec_Ptr_t * vNodes; in Aig_ManDfsSeq() local
154 void Aig_ManDfsUnreach_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsUnreach_rec()
184 Vec_Ptr_t * vNodes; in Aig_ManDfsUnreach() local
280 Vec_Ptr_t * vNodes; in Aig_ManRemoveUnmarked() local
320 int Aig_ManSeqRehashOne( Aig_Man_t * p, Vec_Ptr_t * vNodes, Vec_Ptr_t * vUnreach ) in Aig_ManSeqRehashOne()
459 Vec_Ptr_t * vNodes, * vUnreach; in Aig_ManSeqStrash() local
H A DaigDfs.c60 void Aig_ManDfs_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfs_rec()
88 Vec_Ptr_t * vNodes; in Aig_ManDfs() local
122 Vec_Ptr_t * vNodes; in Aig_ManDfsNodes() local
149 void Aig_ManDfsChoices_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsChoices_rec()
178 Vec_Ptr_t * vNodes; in Aig_ManDfsChoices() local
205 void Aig_ManDfsReverse_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsReverse_rec()
233 Vec_Ptr_t * vNodes; in Aig_ManDfsReverse() local
287 Vec_Ptr_t * vNodes; in Aig_ManCountLevels() local
590 void Aig_ObjCollectCut_rec( Aig_Obj_t * pNode, Vec_Ptr_t * vNodes ) in Aig_ObjCollectCut_rec()
615 void Aig_ObjCollectCut( Aig_Obj_t * pRoot, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes ) in Aig_ObjCollectCut()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/
H A DfretTime.c120 Vec_Ptr_t *vNodes = pManMR->vNodes; in Abc_FlowRetime_ConstrainConserv_forw() local
257 Vec_Ptr_t *vNodes = pManMR->vNodes; in Abc_FlowRetime_ConstrainConserv_back() local
423 void Abc_FlowRetime_ConstrainExact_forw_rec( Abc_Obj_t * pObj, Vec_Ptr_t *vNodes, int latch ) { in Abc_FlowRetime_ConstrainExact_forw_rec()
453 Vec_Ptr_t *vNodes = pManMR->vNodes; in Abc_FlowRetime_ConstrainExact_forw() local
497 void Abc_FlowRetime_ConstrainExact_back_rec( Abc_Obj_t * pObj, Vec_Ptr_t *vNodes, int latch ) { in Abc_FlowRetime_ConstrainExact_back_rec()
528 Vec_Ptr_t *vNodes = pManMR->vNodes; in Abc_FlowRetime_ConstrainExact_back() local
646 void Abc_FlowRetime_Dfs_forw( Abc_Obj_t * pObj, Vec_Ptr_t *vNodes ) { in Abc_FlowRetime_Dfs_forw()
662 void Abc_FlowRetime_Dfs_back( Abc_Obj_t * pObj, Vec_Ptr_t *vNodes ) { in Abc_FlowRetime_Dfs_back()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigDfs.c119 void Aig_ManDfs_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfs_rec()
147 Vec_Ptr_t * vNodes; in Aig_ManDfs() local
181 void Aig_ManDfsAll_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsAll_rec()
204 Vec_Ptr_t * vNodes; in Aig_ManDfsArray() local
230 Vec_Ptr_t * vNodes; in Aig_ManDfsAll() local
287 Vec_Ptr_t * vNodes; in Aig_ManDfsPreorder() local
349 Vec_Ptr_t * vNodes; in Aig_ManDfsNodes() local
378 void Aig_ManDfsChoices_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Aig_ManDfsChoices_rec()
407 Vec_Ptr_t * vNodes; in Aig_ManDfsChoices() local
474 Vec_Ptr_t * vNodes; in Aig_ManDfsReverse() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaDfs.c99 void Gia_ManCollectAnds_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vNodes ) in Gia_ManCollectAnds_rec()
125 void Gia_ManCollectAnds( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vNodes, Vec_Int_t * v… in Gia_ManCollectAnds()
158 Vec_Int_t * vNodes = Vec_IntAlloc( Gia_ManAndNum(p) ); in Gia_ManCollectAndsAll() local
175 void Gia_ManCollectNodesCis_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNodes ) in Gia_ManCollectNodesCis_rec()
204 Vec_Int_t * vNodes; in Gia_ManCollectNodesCis() local
234 Vec_Int_t * vNodes; in Gia_ManCollectTest() local
539 void Gia_ManCollectTfi_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vNodes ) in Gia_ManCollectTfi_rec()
553 void Gia_ManCollectTfi( Gia_Man_t * p, Vec_Int_t * vRoots, Vec_Int_t * vNodes ) in Gia_ManCollectTfi()
573 void Gia_ManCollectTfo_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vNodes ) in Gia_ManCollectTfo_rec()
587 void Gia_ManCollectTfo( Gia_Man_t * p, Vec_Int_t * vRoots, Vec_Int_t * vNodes ) in Gia_ManCollectTfo()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfFast.c94 void Cnf_CollectVolume_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Cnf_CollectVolume_rec()
116 void Cnf_CollectVolume( Aig_Man_t * p, Aig_Obj_t * pRoot, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes ) in Cnf_CollectVolume()
138 word Cnf_CutDeriveTruth( Aig_Man_t * p, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes ) in Cnf_CutDeriveTruth()
199 …Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes, Vec_Int_t * vMap, Vec_Int_t * vCover, Vec_Int_t * vClause… in Cnf_ComputeClauses()
300 Vec_Ptr_t * vLeaves, * vNodes; in Cnf_DeriveFastMark() local
450 int Cnf_CutCountClauses( Aig_Man_t * p, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes, Vec_Int_t * vCover… in Cnf_CutCountClauses()
498 Vec_Ptr_t * vLeaves, * vNodes; in Cnf_CountCnfSize() local
549 Vec_Ptr_t * vLeaves, * vNodes; in Cnf_DeriveFastClauses() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDfs.c45 void Ivy_ManDfs_rec( Ivy_Man_t * p, Ivy_Obj_t * pObj, Vec_Int_t * vNodes ) in Ivy_ManDfs_rec()
89 Vec_Int_t * vNodes; in Ivy_ManDfs() local
123 Vec_Int_t * vNodes, * vLatches; in Ivy_ManDfsSeq() local
226 Vec_Vec_t * vNodes; in Ivy_ManLevelize() local
254 Vec_Vec_t * vNodes; in Ivy_ManRequiredLevels() local
H A DivyCutTrav.c50 … Vec_Ptr_t * vNodes, Vec_Ptr_t * vFront, Vec_Int_t * vStore, Vec_Vec_t * vBitCuts ) in Ivy_NodeFindCutsTravAll()
203 void Ivy_NodeComputeVolumeTrav2_rec( Ivy_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Ivy_NodeComputeVolumeTrav2_rec()
223 void Ivy_NodeComputeVolume( Ivy_Obj_t * pObj, int nNodeLimit, Vec_Ptr_t * vNodes, Vec_Ptr_t * vFron… in Ivy_NodeComputeVolume()
278 void Ivy_NodeComputeVolume2( Ivy_Obj_t * pObj, int nNodeLimit, Vec_Ptr_t * vNodes, Vec_Ptr_t * vFro… in Ivy_NodeComputeVolume2()
438 Vec_Ptr_t * vNodes, * vFront; in Ivy_ManTestCutsTravAll() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkDfs.c298 void Nwk_ManDfs_rec( Nwk_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Nwk_ManDfs_rec()
323 Vec_Ptr_t * vNodes; in Nwk_ManDfs() local
352 void Nwk_ManDfsNodes_rec( Nwk_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Nwk_ManDfsNodes_rec()
380 Vec_Ptr_t * vNodes; in Nwk_ManDfsNodes() local
406 void Nwk_ManDfsReverse_rec( Nwk_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Nwk_ManDfsReverse_rec()
453 Vec_Ptr_t * vNodes; in Nwk_ManDfsReverse() local
478 void Nwk_ManSupportNodes_rec( Nwk_Obj_t * pNode, Vec_Ptr_t * vNodes ) in Nwk_ManSupportNodes_rec()
512 Vec_Ptr_t * vNodes; in Nwk_ManSupportNodes() local
H A DnwkAig.c87 Vec_Ptr_t * vNodes; in Nwk_ManDeriveRetimingCut() local
124 void Nwk_ManColleacReached_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNodes, Vec_Int_t * vL… in Nwk_ManColleacReached_rec()
152 Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t * vNodes, Vec_Int_t *… in Nwk_ManCreateFromGia()
223 Vec_Int_t * vPPis, * vNodes, * vLeaves, * vNodes2, * vLeaves2, * vMapInv; in Nwk_ManDeriveMinCut() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcWin.c60 int Wlc_ManCountArithmReal( Wlc_Ntk_t * p, Vec_Int_t * vNodes ) in Wlc_ManCountArithmReal()
87 void Wlc_WinCompute_rec( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vLeaves, Vec_Int_t * vNodes ) in Wlc_WinCompute_rec()
111 void Wlc_WinCompute( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vLeaves, Vec_Int_t * vNodes ) in Wlc_WinCompute()
135 Vec_Int_t * vNodes = Vec_IntAlloc( 1000 ); in Wlc_WinProfileArith() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaUtils.c56 Fpga_NodeVec_t * vNodes;//, * vNodesCo; in Fpga_MappingDfs() local
96 void Fpga_MappingDfs_rec( Fpga_Node_t * pNode, Fpga_NodeVec_t * vNodes, int fCollectEquiv ) in Fpga_MappingDfs_rec()
131 Fpga_NodeVec_t * vNodes; in Fpga_MappingDfsNodes() local
203 float Fpga_MappingArea_rec( Fpga_Man_t * pMan, Fpga_Node_t * pNode, Fpga_NodeVec_t * vNodes ) in Fpga_MappingArea_rec()
241 Fpga_NodeVec_t * vNodes; in Fpga_MappingAreaTrav() local
584 void Fpga_MappingSortByLevel( Fpga_Man_t * pMan, Fpga_NodeVec_t * vNodes, int fIncreasing ) in Fpga_MappingSortByLevel()
608 Fpga_NodeVec_t * vNodes; in Fpga_DfsLim() local
629 void Fpga_DfsLim_rec( Fpga_Node_t * pNode, int Level, Fpga_NodeVec_t * vNodes ) in Fpga_DfsLim_rec()
747 Fpga_NodeVec_t * Fpga_MappingLevelize( Fpga_Man_t * pMan, Fpga_NodeVec_t * vNodes ) in Fpga_MappingLevelize()
957 Fpga_NodeVec_t * vNodes; in Fpga_MappingOrderCosByLevel() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigWnd.c46 void Saig_ManWindowOutline_rec( Aig_Man_t * p, Aig_Obj_t * pObj, int nDist, Vec_Ptr_t * vNodes, int… in Saig_ManWindowOutline_rec()
102 Vec_Ptr_t * vNodes; in Saig_ManWindowOutline() local
150 Vec_Ptr_t * Saig_ManWindowCollectPis( Aig_Man_t * p, Vec_Ptr_t * vNodes ) in Saig_ManWindowCollectPis()
195 Vec_Ptr_t * Saig_ManWindowCollectPos( Aig_Man_t * p, Vec_Ptr_t * vNodes, Vec_Ptr_t ** pvPointers ) in Saig_ManWindowCollectPos()
226 Aig_Man_t * Saig_ManWindowExtractNodes( Aig_Man_t * p, Vec_Ptr_t * vNodes ) in Saig_ManWindowExtractNodes()
350 Aig_Man_t * Saig_ManWindowInsertNodes( Aig_Man_t * p, Vec_Ptr_t * vNodes, Aig_Man_t * pWnd ) in Saig_ManWindowInsertNodes()
468 Vec_Ptr_t * vNodes; in Saig_ManWindowExtract() local
491 Vec_Ptr_t * vNodes; in Saig_ManWindowInsert() local
554 Vec_Ptr_t * vNodes; in Saig_ManCollectedDiffNodes() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrTsim2.c38 Vec_Int_t * vNodes; // cone nodes (node obj IDs) member
108 … Txs_ManCollectCone_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vCiObjs, Vec_Int_t * vNodes ) in Txs_ManCollectCone_rec()
123 …d Txs_ManCollectCone( Gia_Man_t * p, Vec_Int_t * vCoObjs, Vec_Int_t * vCiObjs, Vec_Int_t * vNodes ) in Txs_ManCollectCone()
147 Vec_Int_t * vNodes, Vec_Int_t * vCoObjs, Vec_Int_t * vCoVals ) in Txs_ManForwardPass()
217 void Txs_ManBackwardPass( Gia_Man_t * p, Vec_Int_t * vCiObjs, Vec_Int_t * vNodes, Vec_Int_t * vPiLi… in Txs_ManBackwardPass()
286 void Txs_ManSelectJustPath( Gia_Man_t * p, Vec_Int_t * vNodes, Vec_Int_t * vCoObjs, Vec_Int_t * vRe… in Txs_ManSelectJustPath()
339 void Txs_ManPropagatePrio( Gia_Man_t * p, Vec_Int_t * vNodes, Vec_Int_t * vPrio ) in Txs_ManPropagatePrio()
393 Vec_Int_t * vNodes, Vec_Int_t * vCoObjs, in Txs_ManFindCiReduction()
436 void Txs_ManVerify( Gia_Man_t * p, Vec_Int_t * vCiObjs, Vec_Int_t * vNodes, Vec_Int_t * vPiLits, Ve… in Txs_ManVerify()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMffc.c44 void Abc_MffcDeref_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vNodes ) in Abc_MffcDeref_rec()
95 void Abc_MffcCollectNodes( Abc_Obj_t ** pNodes, int nNodes, Vec_Ptr_t * vNodes ) in Abc_MffcCollectNodes()
116 void Abc_MffcCollectLeaves( Vec_Ptr_t * vNodes, Vec_Ptr_t * vLeaves ) in Abc_MffcCollectLeaves()
151 Vec_Ptr_t * vRoots, * vNodes, * vLeaves; in Abc_NktMffcMarkRoots() local
308 Vec_Ptr_t * vRoots1, * vNodes, * vLeaves, * vFanouts; in Abc_NktMffcGrowRoots() local
345 Vec_Ptr_t * vRoots2, * vNodes, * vLeaves, * vFanouts; in Abc_NktMffcGrowRootsAgain() local
471 Vec_Ptr_t * vRoots, * vRoots1, * vRoots2, * vNodes, * vLeaves; in Abc_NktMffcTest() local
544 Vec_Ptr_t * vRoots, * vFanins, * vFanouts, * vNodes, * vLeaves; in Abc_NktMffcTestSuper() local
691 void Abc_NktMffCollectLeafRoot( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vLeaves, Vec_Ptr_… in Abc_NktMffCollectLeafRoot()
787 Vec_Ptr_t * vNodes, * vLeaves, * vRoots, * vVolume; in Abc_NktMffcTestIdeaOne() local
[all …]
H A DabcMfs.c50 Vec_Ptr_t * vNodes; in Abc_NtkAssignIDs() local
65 Vec_Ptr_t * vNodes; in Abc_NtkAssignIDs2() local
94 Vec_Int_t * Abc_NtkAssignStarts( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, int * pnTotal ) in Abc_NtkAssignStarts()
146 Vec_Ptr_t * vNodes; in Abc_NtkExtractMfs() local
219 Vec_Ptr_t * vNodes; in Abc_NtkExtractMfs2() local
402 Vec_Ptr_t * vNodes; in Abc_NtkUnrollAndDrop() local
479 Vec_Ptr_t * vNodes; in Abc_NtkReinsertNodes() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb1Constr.c142 void Llb_ManComputeIndCase( Aig_Man_t * p, DdManager * dd, Vec_Int_t * vNodes ) in Llb_ManComputeIndCase()
201 Vec_Int_t * vNodes; in Llb_ManComputeBaseCase() local
270 Vec_Int_t * vNodes; in Llb_ManDeriveConstraints() local
301 Vec_Int_t * vNodes; in Llb_ManConstrTest() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Util.c72 void Int2_ManCollectInternal_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNodes ) in Int2_ManCollectInternal_rec()
86 Vec_Int_t * vNodes; in Int2_ManCollectInternal() local
100 Vec_Int_t * vCoPres, * vNodes; in Int2_ManProbToGia() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWriteDot.c53 Vec_Ptr_t * vNodes; in Io_WriteDot() local
71 void Io_WriteDotNtk( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesShow, char * pFileName… in Io_WriteDotNtk()
434 void Io_WriteDotSeq( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesShow, char * pFileName… in Io_WriteDotSeq()
833 int Abc_NtkCountLogicNodes( Vec_Ptr_t * vNodes ) in Abc_NtkCountLogicNodes()
H A DioReadBblif.c103 void Bbl_ManDfs_rec( Bbl_Obj_t * pObj, Vec_Ptr_t * vNodes ) in Bbl_ManDfs_rec()
130 Vec_Ptr_t * vNodes; in Bbl_ManDfs() local
165 Vec_Ptr_t * vCopy, * vNodes, * vFaninAigs; in Bbl_ManToAig() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/
H A DcovTest.c116 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
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/
H A DsclDnsize.c49 Vec_Int_t * vNodes = *pvNodes; in Abc_SclFindWindow() local
102 int Abc_SclCheckImprovement( SC_Man * p, Abc_Obj_t * pObj, Vec_Int_t * vNodes, Vec_Int_t * vEvals, … in Abc_SclCheckImprovement()
190 int Abc_SclCheckOverlap( Abc_Ntk_t * pNtk, Vec_Int_t * vNodes ) in Abc_SclCheckOverlap()
246 Vec_Int_t * vNodes, * vEvals, * vTryLater; in Abc_SclDnsizePerformInt() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigUtil.c60 Fraig_NodeVec_t * vNodes; in Fraig_Dfs() local
82 Fraig_NodeVec_t * vNodes; in Fraig_DfsOne() local
102 Fraig_NodeVec_t * vNodes; in Fraig_DfsNodes() local
122 void Fraig_Dfs_rec( Fraig_Man_t * pMan, Fraig_Node_t * pNode, Fraig_NodeVec_t * vNodes, int fEquiv ) in Fraig_Dfs_rec()
154 Fraig_NodeVec_t * vNodes; in Fraig_CountNodes() local
228 Fraig_NodeVec_t * vNodes; in Fraig_CheckTfi2() local
253 Fraig_NodeVec_t * vNodes; in Fraig_ManMarkRealFanouts() local
360 Fraig_NodeVec_t * vNodes; in Fraig_PrintNode() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBCore.c90 …tic inline void Bmc_ManBCoreAssignVar( Gia_Man_t * p, Gia_Obj_t * pObj, int f, Vec_Int_t * vNodes ) in Bmc_ManBCoreAssignVar()
98 void Bmc_ManBCoreCollect_rec( Gia_Man_t * p, int Id, int f, Vec_Int_t * vNodes, Vec_Int_t * vRootsN… in Bmc_ManBCoreCollect_rec()
121 Vec_Int_t * vNodes = Vec_IntAlloc( 100 ); in Bmc_ManBCoreCollect() local

12345678910