Scippy

SCIP

Solving Constraint Integer Programs

EXPRENFO Struct Reference

Detailed Description

enforcement data of an expression

Definition at line 143 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 145 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ nlhdlrexprdata

SCIP_NLHDLREXPRDATA* EXPRENFO::nlhdlrexprdata

data of nonlinear handler

Definition at line 146 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ nlhdlrparticipation

SCIP_NLHDLR_METHOD EXPRENFO::nlhdlrparticipation

methods where nonlinear handler participates

Definition at line 147 of file cons_nonlinear.c.

◆ issepainit

SCIP_Bool EXPRENFO::issepainit

was the initsepa callback of nlhdlr called

Definition at line 148 of file cons_nonlinear.c.

◆ auxvalue

SCIP_Real EXPRENFO::auxvalue

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

Definition at line 149 of file cons_nonlinear.c.

Referenced by addTightEstimatorCut().

◆ sepabelowusesactivity

SCIP_Bool EXPRENFO::sepabelowusesactivity

whether sepabelow uses activity of some expression

Definition at line 150 of file cons_nonlinear.c.

◆ sepaaboveusesactivity

SCIP_Bool EXPRENFO::sepaaboveusesactivity

whether sepaabove uses activity of some expression

Definition at line 151 of file cons_nonlinear.c.