Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dprop_probing.c345 int oldnaggrvars, /**< number of previously aggregated variables */ in applyProbing() argument
442 …if( *nfixedvars - oldnfixedvars + *naggrvars - oldnaggrvars >= maxfixings || (looped && oldstartid… in applyProbing()
444 if( *nfixedvars - oldnfixedvars + *naggrvars - oldnaggrvars > 0 ) in applyProbing()
863 int oldnaggrvars; in SCIP_DECL_PROPPRESOL() local
959 oldnaggrvars = *naggrvars; in SCIP_DECL_PROPPRESOL()
965 …&(propdata->startidx), nfixedvars, naggrvars, nchgbds, oldnfixedvars, oldnaggrvars, &delay, &cutof… in SCIP_DECL_PROPPRESOL()
978 if( *nfixedvars > oldnfixedvars || *naggrvars > oldnaggrvars || *nchgbds > oldnchgbds in SCIP_DECL_PROPPRESOL()
1001 int oldnaggrvars; in SCIP_DECL_PROPEXEC() local
1082 oldnaggrvars = 0; in SCIP_DECL_PROPEXEC()
1091 …binvars, &startidx, &nfixedvars, &naggrvars, &nchgbds, oldnfixedvars, oldnaggrvars, &delay, &cutof… in SCIP_DECL_PROPEXEC()
[all …]
H A Dcons_and.c2077 int oldnaggrvars = *naggrvars; in dualPresolve() local
2203 assert(*nfixedvars - oldnfixedvars + *naggrvars - oldnaggrvars <= nimpoperands); in dualPresolve()
2223 … if( fixval < 0.5 || *nfixedvars - oldnfixedvars + *naggrvars - oldnaggrvars == nvars ) in dualPresolve()
4429 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
4440 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
4572 if( *nfixedvars == oldnfixedvars && *naggrvars == oldnaggrvars ) in SCIP_DECL_CONSPRESOL()
4578 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
4585 if( *nfixedvars == oldnfixedvars && *naggrvars == oldnaggrvars ) in SCIP_DECL_CONSPRESOL()
4602 …if( ((*ndelconss - oldndelconss) + (*naggrvars - oldnaggrvars) + (*nchgbds - oldnchgbds)/2.0) / ((… in SCIP_DECL_CONSPRESOL()
4605 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
[all …]
H A Dpresol_milp.cpp271 int oldnaggrvars = *naggrvars; in SCIP_DECL_PRESOLEXEC() local
642 SCIPgetSolvingTime(scip), presolve.getStatistics().nrounds, *naggrvars - oldnaggrvars, in SCIP_DECL_PRESOLEXEC()
H A Dcons_setppc.c3519 int oldnaggrvars; in checkForOverlapping() local
3572 oldnaggrvars = *naggrvars; in checkForOverlapping()
3584 assert(*naggrvars == oldnaggrvars); in checkForOverlapping()
5073 const int oldnaggrvars = *naggrvars; in preprocessCliques() local
5089 assert(*naggrvars == oldnaggrvars); in preprocessCliques()
5143 assert(*naggrvars == oldnaggrvars); in preprocessCliques()
5172 assert(*naggrvars == oldnaggrvars); in preprocessCliques()
5284 assert(*naggrvars == oldnaggrvars); in preprocessCliques()
8036 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
8054 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
[all …]
H A Dcons_or.c1684 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
1692 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
1786 … else if( *nfixedvars > oldnfixedvars || *naggrvars > oldnaggrvars || *nupgdconss > oldnupgdconss ) in SCIP_DECL_CONSPRESOL()
H A Dcons_linking.c2415 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
2436 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
2769 … < *ndelconss || oldnfixedvars < *nfixedvars || oldnchgbds < *nchgbds || oldnaggrvars < *naggrvars) in SCIP_DECL_CONSPRESOL()
H A Dcons_varbound.c4504 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
4522 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
4637 || *nchgcoefs > oldnchgcoefs || *nchgsides > oldnchgsides || *naggrvars > oldnaggrvars ) in SCIP_DECL_CONSPRESOL()
H A Dcons_xor.c5175 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
5185 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
5341 else if( *nfixedvars > oldnfixedvars || *nchgbds > oldnchgbds || *naggrvars > oldnaggrvars in SCIP_DECL_CONSPRESOL()
H A Dcons_pseudoboolean.c8386 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
8401 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
8563 …else if( *nfixedvars > oldnfixedvars || *naggrvars > oldnaggrvars || *nchgbds > oldnchgbds || *nde… in SCIP_DECL_CONSPRESOL()
H A Dcons_linear.c16172 int oldnaggrvars; in SCIP_DECL_CONSPRESOL() local
16192 oldnaggrvars = *naggrvars; in SCIP_DECL_CONSPRESOL()
16589 …&& *nfixedvars == oldnfixedvars && *naggrvars == oldnaggrvars && *nchgbds == oldnchgbds && *ndelco… in SCIP_DECL_CONSPRESOL()
16659 …else if( *nfixedvars > oldnfixedvars || *naggrvars > oldnaggrvars || *nchgbds > oldnchgbds || *nde… in SCIP_DECL_CONSPRESOL()