/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | implics.h | 143 …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 D | implics.c | 378 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 D | presol_implics.c | 113 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 D | pub_var.h | 300 …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 D | prop_pseudoobj.c | 167 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 D | debug.h | 145 …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 D | var.c | 1561 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 D | sepa_oddcycle.c | 1419 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 D | var.h | 960 …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 D | debug.c | 1296 …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 D | scip_var.h | 903 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 D | tree.c | 2515 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 D | scip_var.c | 1909 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()
|