Searched refs:nnewconsanddatas (Results 1 – 1 of 1) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_pseudoboolean.c | 4247 int nnewconsanddatas; in correctLocksAndCaptures() local
4330 nnewconsanddatas = 0; in correctLocksAndCaptures()
4406 …SCIP_CALL( addNewLocks(scip, cons, newconsanddatas[nnewconsanddatas], newandnegs[nnewconsanddatas]… in correctLocksAndCaptures()
4407 -newandcoefs[nnewconsanddatas] : newandcoefs[nnewconsanddatas], newlhs, newrhs) ); in correctLocksAndCaptures()
4415 ++nnewconsanddatas; in correctLocksAndCaptures()
4450 …SCIP_CALL( addNewLocks(scip, cons, newconsanddatas[nnewconsanddatas], newandnegs[nnewconsanddatas]… in correctLocksAndCaptures()
4451 -newandcoefs[nnewconsanddatas] : newandcoefs[nnewconsanddatas], newlhs, newrhs) ); in correctLocksAndCaptures()
4462 ++nnewconsanddatas; in correctLocksAndCaptures()
4522 …SCIP_CALL( addNewLocks(scip, cons, newconsanddatas[nnewconsanddatas], newandnegs[nnewconsanddatas]… in correctLocksAndCaptures()
4523 -newandcoefs[nnewconsanddatas] : newandcoefs[nnewconsanddatas], newlhs, newrhs) ); in correctLocksAndCaptures()
[all …]
|