Detailed Description

bound data

Definition at line 139 of file prop_obbt.c.

Data Fields
SCIP_VAR *	var

SCIP_Real	newval

SCIP_BOUNDTYPE	boundtype

unsigned int	score

unsigned int	filtered:1

unsigned int	found:1

unsigned int	done:1

unsigned int	nonconvex:1

unsigned int	indicator:1

int	index

Field Documentation

◆ var

SCIP_VAR* Bound::var

variable

Definition at line 141 of file prop_obbt.c.

Referenced by applySeparation(), filterExistingLP(), filterRound(), and findNewBounds().

◆ newval

SCIP_Real Bound::newval

stores a probably tighter value for this bound

Definition at line 142 of file prop_obbt.c.

Referenced by findNewBounds().

◆ boundtype

SCIP_BOUNDTYPE Bound::boundtype

type of bound

Definition at line 143 of file prop_obbt.c.

Referenced by findNewBounds(), and SCIP_DECL_SORTPTRCOMP().

◆ score

unsigned int Bound::score

score value that is used to group bounds

Definition at line 144 of file prop_obbt.c.

Referenced by SCIP_DECL_SORTPTRCOMP().

◆ filtered

unsigned int Bound::filtered

thrown out during pre-filtering step

Definition at line 145 of file prop_obbt.c.

Referenced by filterRound(), findNewBounds(), nextBound(), and SCIP_DECL_SORTPTRCOMP().

◆ found

unsigned int Bound::found

stores whether a probably tighter value for this bound was found

Definition at line 146 of file prop_obbt.c.

Referenced by findNewBounds().

◆ done

unsigned int Bound::done

has this bound been processed already?

Definition at line 147 of file prop_obbt.c.

Referenced by findNewBounds(), nextBound(), and SCIP_DECL_SORTPTRCOMP().

◆ nonconvex

unsigned int Bound::nonconvex

is this bound affecting a nonconvex term?

Definition at line 148 of file prop_obbt.c.

Referenced by nextBound().

◆ indicator

unsigned int Bound::indicator

is this bound affecting an indicator constraint?

Definition at line 149 of file prop_obbt.c.

Referenced by nextBound().

◆ index

int Bound::index

unique index

Definition at line 150 of file prop_obbt.c.

SCIP