|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
GenVBound Struct Reference Detailed DescriptionGenVBound data Definition at line 67 of file prop_genvbounds.c.
Field Documentation
pointers to variables x_j occuring in this generalized variable bound Definition at line 69 of file prop_genvbounds.c. Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
pointer to variable x_i Definition at line 71 of file prop_genvbounds.c. Referenced by addNewGenVBound(), applyGenVBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
coefficients a_j of the variables listed in vars Definition at line 72 of file prop_genvbounds.c. Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
constant term in generalized variable bound Definition at line 73 of file prop_genvbounds.c. Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
cutoff bound's coefficient Definition at line 74 of file prop_genvbounds.c. Referenced by getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
index of this genvbound in genvboundstore array Definition at line 75 of file prop_genvbounds.c. Referenced by addNewGenVBound(), and applyGenVBound().
number of nonzero coefficients a_j Definition at line 76 of file prop_genvbounds.c. Referenced by applyGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd().
type of bound provided by the genvbound, SCIP_BOUNDTYPE_LOWER/UPPER if +/- x_i on left-hand side Definition at line 77 of file prop_genvbounds.c. Referenced by addNewGenVBound(), applyGenVBound(), getGenVBoundsBound(), resolveGenVBoundPropagation(), and SCIPgenVBoundAdd(). |
|||||||||||||||||||||||||||||||||||||||||||