Scippy

SCIP

Solving Constraint Integer Programs

BilinBound Struct Reference

Detailed Description

bilinear bound data

Definition at line 179 of file prop_obbt.c.

Data Fields

SCIP_EXPRexpr
 
int filtered
 
unsigned int done:1
 
SCIP_Real score
 

Field Documentation

◆ expr

SCIP_EXPR* BilinBound::expr

product expression

Definition at line 181 of file prop_obbt.c.

Referenced by bilinboundGetLocksNeg(), bilinboundGetX(), and bilinboundGetY().

◆ filtered

int BilinBound::filtered

corners that could be thrown out during pre-filtering step

Definition at line 182 of file prop_obbt.c.

Referenced by filterExistingLP().

◆ done

unsigned int BilinBound::done

has this bilinear term been processed already?

Definition at line 183 of file prop_obbt.c.

Referenced by filterExistingLP().

◆ score

SCIP_Real BilinBound::score

score value that is used to group bilinear term bounds

Definition at line 184 of file prop_obbt.c.