Home
last modified time | relevance | path

Searched defs:vPolar (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c601 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Acb_NtkCollectCopies() local
706 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Abc_NtkCollectCopies() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSatMap.c54 Vec_Int_t * vPolar; // polarity of nodes and cuts member
H A DgiaSatLut.c94 Vec_Int_t * vPolar; // variables polarity member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcExact.c240 Vec_Int_t * vPolar; /* variables with positive polarity */ member