Bound Struct Reference Detailed Descriptionbound data Definition at line 116 of file prop_obbt.c.
Field Documentation
variable Definition at line 118 of file prop_obbt.c. Referenced by filterExistingLP(), and sortBounds().
stores a probably tighter value for this bound Definition at line 119 of file prop_obbt.c.
type of bound Definition at line 120 of file prop_obbt.c. Referenced by filterExistingLP(), getIterationsLeft(), and sortBounds().
score value that is used to group bounds Definition at line 121 of file prop_obbt.c.
thrown out during pre-filtering step Definition at line 122 of file prop_obbt.c. Referenced by filterExistingLP().
stores whether a probably tighter value for this bound was found Definition at line 123 of file prop_obbt.c. Referenced by filterExistingLP().
has this bound been processed already? Definition at line 124 of file prop_obbt.c. Referenced by filterExistingLP().
is this bound affecting a nonconvex term? Definition at line 125 of file prop_obbt.c.
unique index Definition at line 126 of file prop_obbt.c. |