Searched refs:andresultant (Results 1 – 1 of 1) sorted by relevance
987 SCIP_VAR* andresultant = andress[v]; in checkConsConsistency() local998 …if( res == andresultant && consdata->andnegs[c] == andnegs[v] && consdata->andcoefs[c] == andcoefs… in checkConsConsistency()