Searched refs:consseparated (Results 1 – 1 of 1) sorted by relevance
3498 SCIP_Bool consseparated; in enforceConstraint() local3500 SCIP_CALL( separateCons(scip, conss[i], sol, &consseparated, &cutoff) ); in enforceConstraint()3506 separated = separated || consseparated; in enforceConstraint()3517 … assert(consseparated); /* because the solution is integral, the separation always finds a cut */ in enforceConstraint()