Searched refs:Gia_ObjComputeTruth6 (Results 1 – 1 of 1) sorted by relevance
185 word Gia_ObjComputeTruth6( Gia_Man_t * p, int iObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTemp ) in Gia_ObjComputeTruth6() function223 Gia_ObjComputeTruth6( p, iObj, vSupp, vTemp ); in Gia_ObjComputeTruth6Cis()