Searched refs:oldandnegs (Results 1 – 1 of 1) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | cons_pseudoboolean.c | 4252 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()
|