Searched refs:oldnaggrvars (Results 1 – 10 of 10) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prop_probing.c | 345 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 D | cons_and.c | 2077 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 D | presol_milp.cpp | 271 int oldnaggrvars = *naggrvars; in SCIP_DECL_PRESOLEXEC() local 642 SCIPgetSolvingTime(scip), presolve.getStatistics().nrounds, *naggrvars - oldnaggrvars, in SCIP_DECL_PRESOLEXEC()
|
H A D | cons_setppc.c | 3519 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 D | cons_or.c | 1684 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 D | cons_linking.c | 2415 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 D | cons_varbound.c | 4504 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 D | cons_xor.c | 5175 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 D | cons_pseudoboolean.c | 8386 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 D | cons_linear.c | 16172 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()
|