Home
last modified time | relevance | path

Searched refs:oldandnegs (Results 1 – 1 of 1) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_pseudoboolean.c4252 SCIP_Bool* oldandnegs; in correctLocksAndCaptures() local
4277 oldandnegs = consdata->andnegs; in correctLocksAndCaptures()
4364 oldandnegs[c] ? -oldandcoefs[c] : oldandcoefs[c], consdata->lhs, consdata->rhs) ); in correctLocksAndCaptures()
4389 …SCIP_CALL( removeOldLocks(scip, cons, consanddatas[c], oldandnegs[c] ? -oldandcoefs[c] : oldandcoe… in correctLocksAndCaptures()
4431 if( ((oldandnegs[c] == andnegs[c1]) && !SCIPisEQ(scip, oldandcoefs[c], newandcoefs[c1])) in correctLocksAndCaptures()
4432 … || ((oldandnegs[c] != newandnegs[c1]) && !SCIPisEQ(scip, oldandcoefs[c], -newandcoefs[c1])) ) in correctLocksAndCaptures()
4435 coefsignchanged = (oldandnegs[c] == andnegs[c1]) && in correctLocksAndCaptures()
4437 coefsignchanged = coefsignchanged || ((oldandnegs[c] != andnegs[c1]) && in correctLocksAndCaptures()
4448 SCIP_CALL( removeOldLocks(scip, cons, newconsanddatas[nnewconsanddatas], oldandnegs[c] ? in correctLocksAndCaptures()
4499 …SCIP_CALL( removeOldLocks(scip, cons, consanddatas[c], oldandnegs[c] ? -oldandcoefs[c] : oldandcoe… in correctLocksAndCaptures()