Home
last modified time | relevance | path

Searched defs:vRefs (Results 1 – 13 of 13) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdCut2.c59 Vec_Int_t * vRefs; // refs for each node member
85 Vec_Int_t * vLutLevs, Vec_Int_t * vLevs, Vec_Int_t * vRefs, in Sbd_ManCutServerStart()
H A DsbdCut.c61 Vec_Int_t * vRefs; // refs for each node member
/dports/databases/akonadi/akonadi-21.12.3/src/server/handler/
H A Ditemfetchhelper.cpp538 QVector<qint64> vRefs; in fetchItems() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCut.c58 Vec_Int_t * vRefs; // refs for each node member
H A DgiaLf.c1407 static inline void Lf_ManSetFlowRefInc( Gia_Man_t * p, Vec_Flt_t * vRefs, Vec_Int_t * vOffsets, int… in Lf_ManSetFlowRefInc()
1412 void Lf_ManSetFlowRefs( Gia_Man_t * p, Vec_Flt_t * vRefs, Vec_Int_t * vOffsets ) in Lf_ManSetFlowRefs()
H A DgiaMf.c1134 void Mf_ManSetFlowRefs( Gia_Man_t * p, Vec_Int_t * vRefs ) in Mf_ManSetFlowRefs()
H A DgiaJf.c64 Vec_Flt_t vRefs; // ref counters member
H A Dgia.h117 Vec_Int_t vRefs; // the reference count member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmMig.h78 Vec_Int_t vRefs; // ref counters member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A Dwln.h77 Vec_Int_t vRefs; // object reference counters member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A Dacec2Mult.c302 Vec_Int_t * vRefs; // refs for each node member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmc3.c692 Vec_Int_t * vRefs; in Saig_ManBmcComputeMappingRefs() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A Dwlc.h174 Vec_Int_t vRefs; // object reference counters member