Searched defs:vPolar (Results 1 – 4 of 4) sorted by relevance
601 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Acb_NtkCollectCopies() local706 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Abc_NtkCollectCopies() local
54 Vec_Int_t * vPolar; // polarity of nodes and cuts member
94 Vec_Int_t * vPolar; // variables polarity member
240 Vec_Int_t * vPolar; /* variables with positive polarity */ member