Searched refs:cons0upgraded (Results 1 – 1 of 1) sorted by relevance
13404 SCIP_Bool cons0upgraded; in preprocessConstraintPairs() local13442 cons0upgraded = consdata0->upgraded; in preprocessConstraintPairs()13472 assert(cons0upgraded == consdata0->upgraded); in preprocessConstraintPairs()13496 if( cons0upgraded && consdata1->upgraded ) in preprocessConstraintPairs()