Home
last modified time | relevance | path

Searched defs:vTtNodes (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkCut.c138 unsigned * Lpk_CutTruth_rec( Hop_Man_t * pMan, Hop_Obj_t * pObj, int nVars, Vec_Ptr_t * vTtNodes, i… in Lpk_CutTruth_rec()
H A DlpkInt.h99 Vec_Ptr_t * vTtNodes; // storage for temporary truth tables of the nodes member
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A Dkit.h158 Vec_Ptr_t * vTtNodes; // the node truth tables member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A Dkit.h143 Vec_Ptr_t * vTtNodes; // the node truth tables member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A Dgia.h224 Vec_Int_t * vTtNodes; // internal nodes member