SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
implications for binary variable x to non-binary variables y in the form x <= 0 ==> y <= b or y >= b (stored in arrays[0]) x >= 1 ==> y <= b or y >= b (stored in arrays[1]) array is sorted by variable index of y
Definition at line 52 of file struct_implics.h.
#include <struct_implics.h>
Data Fields | |
| SCIP_VAR ** | vars [2] |
| SCIP_BOUNDTYPE * | types [2] |
| SCIP_Real * | bounds [2] |
| int * | ids [2] |
| int | size [2] |
| int | nimpls [2] |
| SCIP_VAR** SCIP_Implics::vars[2] |
variables y in implications y <= b or y >= b
Definition at line 54 of file struct_implics.h.
Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetVars().
| SCIP_BOUNDTYPE* SCIP_Implics::types[2] |
types of implications y <= b (SCIP_BOUNDTYPE_UPPER) or y >= b (SCIP_BOUNDTYPE_LOWER)
Definition at line 55 of file struct_implics.h.
Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetTypes().
| SCIP_Real* SCIP_Implics::bounds[2] |
bounds b in implications y <= b or y >= b
Definition at line 57 of file struct_implics.h.
Referenced by SCIPimplicsGetBounds().
| int* SCIP_Implics::ids[2] |
unique ids of implications; < 0 iff implication is a shortcut, i.e., it was added as part of the transitive closure of another implication
Definition at line 58 of file struct_implics.h.
Referenced by SCIPimplicsGetIds().
| int SCIP_Implics::size[2] |
size of implvars, implbounds and implvals arrays for x <= 0 and x >= 1
Definition at line 60 of file struct_implics.h.
| int SCIP_Implics::nimpls[2] |
number of all implications for x <= 0 and x >= 1
Definition at line 61 of file struct_implics.h.
Referenced by checkImplics(), implicsSearchVar(), SCIPimplicsAdd(), and SCIPimplicsGetNImpls().