Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_pseudoboolean.c4419 SCIP_Bool coefsignchanged; in correctLocksAndCaptures() local
4435 coefsignchanged = (oldandnegs[c] == andnegs[c1]) && in correctLocksAndCaptures()
4437 coefsignchanged = coefsignchanged || ((oldandnegs[c] != andnegs[c1]) && in correctLocksAndCaptures()
4445 …if( coefsignchanged || lhschanged || rhschanged || newconsanddatas[nnewconsanddatas]->nnewvars > 0) in correctLocksAndCaptures()