CutTerm

Detailed Description

Definition at line 60 of file cuts.h.

Public Member Functions
bool	IsBoolean () const
bool	IsSimple () const
bool	HasRelevantLpValue () const
double	LpDistToMaxValue () const
std::string	DebugString () const
bool	Complement (IntegerValue *rhs)

Public Attributes
double	lp_value = 0.0
IntegerValue	coeff = IntegerValue(0)
IntegerValue	bound_diff = IntegerValue(0)
IntegerValue	expr_offset = IntegerValue(0)
std::array< IntegerVariable, 2 >	expr_vars
std::array< IntegerValue, 2 >	expr_coeffs

Member Function Documentation

Complement()

bool Complement

(

IntegerValue *

rhs

)

Definition at line 53 of file cuts.cc.

DebugString()

std::string DebugString

(

)

const

Definition at line 48 of file cuts.cc.

HasRelevantLpValue()

bool HasRelevantLpValue ( ) const

inline

Definition at line 63 of file cuts.h.

IsBoolean()

bool IsBoolean ( ) const

inline

Definition at line 61 of file cuts.h.

IsSimple()

bool IsSimple ( ) const

inline

Definition at line 62 of file cuts.h.

LpDistToMaxValue()

double LpDistToMaxValue ( ) const

inline

Definition at line 64 of file cuts.h.

Member Data Documentation

bound_diff

IntegerValue bound_diff = IntegerValue(0)

Definition at line 78 of file cuts.h.

coeff

IntegerValue coeff = IntegerValue(0)

Definition at line 77 of file cuts.h.

expr_coeffs

std::array<IntegerValue, 2> expr_coeffs

Definition at line 85 of file cuts.h.

expr_offset

IntegerValue expr_offset = IntegerValue(0)

Definition at line 83 of file cuts.h.

expr_vars

std::array<IntegerVariable, 2> expr_vars

Definition at line 84 of file cuts.h.

lp_value

double lp_value = 0.0

Definition at line 76 of file cuts.h.

---

The documentation for this struct was generated from the following files:

• cuts.h
• cuts.cc