Searched defs:vLevelR (Results 1 – 4 of 4) sorted by relevance
150 Vec_Int_t * vLevelR; // the reverse level of the nodes member
667 Vec_Int_t * vLevelR = Gia_ManReverseLevel( p ); in Gia_ManComputeSlacks() local
137 Vec_Int_t * vLevelR; // the reverse level of the nodes member
88 Vec_Int_t vLevelR; // level member