Scippy

SCIP

Solving Constraint Integer Programs

EXPRENFO Struct Reference

Detailed Description

enforcement data of an expression

Definition at line 134 of file cons_nonlinear.c.

Data Fields

SCIP_NLHDLRnlhdlr
 
SCIP_NLHDLREXPRDATAnlhdlrexprdata
 
SCIP_NLHDLR_METHOD nlhdlrparticipation
 
SCIP_Bool issepainit
 
SCIP_Real auxvalue
 
SCIP_Bool sepabelowusesactivity
 
SCIP_Bool sepaaboveusesactivity
 

Field Documentation

◆ nlhdlr

SCIP_NLHDLR* EXPRENFO::nlhdlr

nonlinear handler

Definition at line 136 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ nlhdlrexprdata

SCIP_NLHDLREXPRDATA* EXPRENFO::nlhdlrexprdata

data of nonlinear handler

Definition at line 137 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ nlhdlrparticipation

SCIP_NLHDLR_METHOD EXPRENFO::nlhdlrparticipation

methods where nonlinear handler participates

Definition at line 138 of file cons_nonlinear.c.

◆ issepainit

SCIP_Bool EXPRENFO::issepainit

was the initsepa callback of nlhdlr called

Definition at line 139 of file cons_nonlinear.c.

◆ auxvalue

SCIP_Real EXPRENFO::auxvalue

auxiliary value of expression w.r.t. currently enforced solution

Definition at line 140 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ sepabelowusesactivity

SCIP_Bool EXPRENFO::sepabelowusesactivity

whether sepabelow uses activity of some expression

Definition at line 141 of file cons_nonlinear.c.

◆ sepaaboveusesactivity

SCIP_Bool EXPRENFO::sepaaboveusesactivity

whether sepaabove uses activity of some expression

Definition at line 142 of file cons_nonlinear.c.