Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_pseudoboolean.c1093 consanddata->snewvars = 0; in transformToOrig()
1135 assert(consanddata->snewvars == 0); in transformToOrig()
1499 assert(consanddatas[c]->snewvars == 0); in consdataFree()
1578 assert(consanddatas[c]->snewvars == 0); in consdataFree()
1599 assert(consanddatas[c]->snewvars == 0); in consdataFree()
2040 newdata->snewvars = 0; in createAndAddAndCons()
4155 if( nnewvars > consanddata->snewvars ) in computeConsAndDataChanges()
5126 assert(consanddata->snewvars == 0); in correctConshdlrdata()
5365 consanddata->snewvars = stmpvars; in correctConshdlrdata()
8634 consanddata->snewvars = 0; in SCIP_DECL_CONSLOCK()
[all …]