Searched defs:vSop1 (Results 1 – 1 of 1) sorted by relevance
1033 char * Abc_NodeConvertSopToMvSop( int nVars, Vec_Int_t * vSop0, Vec_Int_t * vSop1 ) in Abc_NodeConvertSopToMvSop()1140 int Abc_NodeEvalMvCost( int nVars, Vec_Int_t * vSop0, Vec_Int_t * vSop1 ) in Abc_NodeEvalMvCost()