Scippy

SCIP

Solving Constraint Integer Programs

BilinBound Struct Reference

Detailed Description

bilinear bound data

Definition at line 164 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 166 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 167 of file prop_obbt.c.

Referenced by filterExistingLP().

◆ done

unsigned int BilinBound::done

has this bilinear term been processed already?

Definition at line 168 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 169 of file prop_obbt.c.