Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dimplics.h143 …SCIP_Bool varfixing, /**< FALSE if implication for x == 0 has to be added, TR…
183 …SCIP_Bool varfixing /**< should the implications on var == FALSE or var == T…
189 …SCIP_Bool varfixing /**< should the implications on var == FALSE or var == T…
195 …SCIP_Bool varfixing /**< should the implications on var == FALSE or var == T…
201 …SCIP_Bool varfixing /**< should the implications on var == FALSE or var == T…
219 #define SCIPimplicsGetNImpls(implics, varfixing) ((implics) != NULL ? (implics)->nimpls[varfi… argument
220 #define SCIPimplicsGetNBinImpls(implics, varfixing) ((implics) != NULL ? (implics)->nbinimpls[va… argument
221 #define SCIPimplicsGetVars(implics, varfixing) ((implics) != NULL ? (implics)->vars[varfixi… argument
222 #define SCIPimplicsGetTypes(implics, varfixing) ((implics) != NULL ? (implics)->types[varfix… argument
223 #define SCIPimplicsGetBounds(implics, varfixing) ((implics) != NULL ? (implics)->bounds[varfi… argument
[all …]
H A Dimplics.c378 SCIP_Bool varfixing; in checkImplics() local
383 varfixing = FALSE; in checkImplics()
391 vars = implics->vars[varfixing]; in checkImplics()
392 types = implics->types[varfixing]; in checkImplics()
393 nimpls = implics->nimpls[varfixing]; in checkImplics()
406 varfixing = !varfixing; in checkImplics()
408 while( varfixing == TRUE ); in checkImplics()
481 assert((*implics)->nimpls[varfixing] <= (*implics)->size[varfixing]); in implicsEnsureSize()
522 if( implics->nimpls[varfixing] == 0 ) in implicsSearchVar()
555 if( pos + 1 < implics->nimpls[varfixing] && implics->vars[varfixing][pos+1] == implvar ) in implicsSearchVar()
[all …]
H A Dpresol_implics.c113 int varfixing; in SCIP_DECL_PRESOLEXEC() local
122 for( varfixing = 0; varfixing < 2; ++varfixing ) in SCIP_DECL_PRESOLEXEC()
124 implvars[varfixing] = SCIPvarGetImplVars(vars[v], (SCIP_Bool)varfixing); in SCIP_DECL_PRESOLEXEC()
125 impltypes[varfixing] = SCIPvarGetImplTypes(vars[v], (SCIP_Bool)varfixing); in SCIP_DECL_PRESOLEXEC()
126 implbounds[varfixing] = SCIPvarGetImplBounds(vars[v], (SCIP_Bool)varfixing); in SCIP_DECL_PRESOLEXEC()
127 nimpls[varfixing] = SCIPvarGetNImpls(vars[v], (SCIP_Bool)varfixing); in SCIP_DECL_PRESOLEXEC()
H A Dpub_var.h300 …SCIP_Bool varfixing, /**< FALSE if y should be searched in implications for x…
312 …SCIP_Bool varfixing, /**< FALSE if y should be searched in implications for x…
794 …SCIP_Bool varfixing /**< FALSE for implications for x == 0, TRUE for x == 1 …
806 …SCIP_Bool varfixing /**< FALSE for implications for x == 0, TRUE for x == 1 …
816 …SCIP_Bool varfixing /**< FALSE for implications for x == 0, TRUE for x == 1 …
825 …SCIP_Bool varfixing /**< FALSE for implications for x == 0, TRUE for x == 1 …
836 …SCIP_Bool varfixing /**< FALSE for implications for x == 0, TRUE for x == 1 …
843 …SCIP_Bool varfixing /**< FALSE for cliques containing x == 0, TRUE for x == …
850 …SCIP_Bool varfixing /**< FALSE for cliques containing x == 0, TRUE for x == …
H A Dprop_pseudoobj.c167 SCIP_Bool varfixing; in checkImplicsApplied() local
175 varfixing = SCIPvarGetLbGlobal(var) > 0.5; in checkImplicsApplied()
177 vars = SCIPvarGetImplVars(var, varfixing); in checkImplicsApplied()
178 nvars = SCIPvarGetNImpls(var, varfixing); in checkImplicsApplied()
859 SCIP_Bool varfixing; in collectMinactImplicVars() local
876 varfixing = (SCIP_Bool)bound; in collectMinactImplicVars()
1129 SCIP_Bool varfixing; in getMaxactImplicObjchg() local
1140 varfixing = (SCIP_Bool)bound; in getMaxactImplicObjchg()
1258 varfixing, *objchg); in getMaxactImplicObjchg()
1262 nvars = SCIPvarGetNImpls(var, varfixing); in getMaxactImplicObjchg()
[all …]
H A Ddebug.h145 …SCIP_Bool varfixing, /**< FALSE if y should be added in implications for x ==…
268 #define SCIPdebugCheckImplic(set,var,varfixing,implvar,impltype,implbound) SCIP_OKAY argument
H A Dvar.c1561 SCIP_Bool varfixing; in SCIPvarRemoveCliquesImplicsVbs() local
1565 varfixing = FALSE; in SCIPvarRemoveCliquesImplicsVbs()
1616 varfixing = !varfixing; in SCIPvarRemoveCliquesImplicsVbs()
1618 while( varfixing == TRUE ); in SCIPvarRemoveCliquesImplicsVbs()
9414 vals[0] = varfixing; in varAddImplic()
9450 if( varfixing ) in varAddImplic()
9463 if( varfixing ) in varAddImplic()
10865 if( varfixing ) in SCIPvarAddImplic()
13432 if( varfixing ) in SCIPvarGetImplRedcost()
13448 if( varfixing ) in SCIPvarGetImplRedcost()
[all …]
H A Dsepa_oddcycle.c1419 SCIP_Bool varfixing; in addNextLevelCliques() local
1454 varfixing = TRUE; in addNextLevelCliques()
1460 varfixing = FALSE; in addNextLevelCliques()
1471 cliques = SCIPvarGetCliques(vars[varsidx], varfixing); in addNextLevelCliques()
1528 if( varfixing ) in addNextLevelCliques()
1592 SCIP_Bool varfixing; in insertSortedRootNeighbors() local
1618 varfixing = TRUE; in insertSortedRootNeighbors()
1624 varfixing = FALSE; in insertSortedRootNeighbors()
1635 cliques = SCIPvarGetCliques(vars[varsidx], varfixing); in insertSortedRootNeighbors()
1736 if( varfixing ) in insertSortedRootNeighbors()
[all …]
H A Dvar.h960 …SCIP_Bool varfixing, /**< FALSE if y should be added in implications for x ==…
1156 SCIP_Bool varfixing, /**< FALSE if for x == 0, TRUE for x == 1 */
H A Ddebug.c1296 …SCIP_Bool varfixing, /**< FALSE if y should be added in implications for x ==… in SCIPdebugCheckImplic() argument
1327 if( (solval > 0.5) != varfixing ) in SCIPdebugCheckImplic()
1340 SCIPvarGetName(var), varfixing, SCIPvarGetName(implvar), implbound, solval); in SCIPdebugCheckImplic()
1349 SCIPvarGetName(var), varfixing, SCIPvarGetName(implvar), implbound, solval); in SCIPdebugCheckImplic()
H A Dscip_var.h903 SCIP_Bool varfixing /**< FALSE if for x == 0, TRUE for x == 1 */
2434 …SCIP_Bool varfixing, /**< FALSE if y should be added in implications for x ==…
H A Dtree.c2515 SCIP_Bool varfixing; in SCIPnodePropagateImplics() local
2524 varfixing = (SCIPboundchgGetBoundtype(boundchg) == SCIP_BOUNDTYPE_LOWER); in SCIPnodePropagateImplics()
2525 nimpls = SCIPvarGetNImpls(var, varfixing); in SCIPnodePropagateImplics()
2526 implvars = SCIPvarGetImplVars(var, varfixing); in SCIPnodePropagateImplics()
2527 impltypes = SCIPvarGetImplTypes(var, varfixing); in SCIPnodePropagateImplics()
2528 implbounds = SCIPvarGetImplBounds(var, varfixing); in SCIPnodePropagateImplics()
2581 ncliques = SCIPvarGetNCliques(var, varfixing); in SCIPnodePropagateImplics()
2582 cliques = SCIPvarGetCliques(var, varfixing); in SCIPnodePropagateImplics()
2604 if( vars[k] == var && values[k] == varfixing ) in SCIPnodePropagateImplics()
H A Dscip_var.c1909 SCIP_Bool varfixing /**< FALSE if for x == 0, TRUE for x == 1 */ in SCIPgetVarImplRedcost() argument
1921 return SCIPgetVarImplRedcost(scip, var->data.original.transvar, varfixing); in SCIPgetVarImplRedcost()
1924 … return SCIPvarGetImplRedcost(var, scip->set, varfixing, scip->stat, scip->transprob, scip->lp); in SCIPgetVarImplRedcost()
6757 …SCIP_Bool varfixing, /**< FALSE if y should be added in implications for x ==… in SCIPaddVarImplication() argument
6800 vals[0] = varfixing; in SCIPaddVarImplication()
6826 if( varfixing == TRUE ) in SCIPaddVarImplication()
6876 …reopt, scip->lp, scip->cliquetable, scip->branchcand, scip->eventqueue, varfixing, implvar, implty… in SCIPaddVarImplication()