SCIP_Implics Struct Reference

Detailed Description

implications for binary variable x 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]) implications with binary variable y are stored at the beginning of arrays (sorted by pointer of y) implications with nonbinary variable y are stored at the end of arrays (sorted by pointer 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]
int	nbinimpls [2]

Field Documentation

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 checkImplics(), and 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(), and SCIPimplicsGetNImpls().

int SCIP_Implics::nbinimpls[2]

number of implications with binary variable y for x <= 0 and x >= 1

Definition at line 62 of file struct_implics.h.

Referenced by checkImplics(), implicsSearchVar(), and SCIPimplicsGetNBinImpls().