ImpliedBoundEntry

Detailed Description

Definition at line 47 of file implied_bounds.h.

Public Member Functions
	ImpliedBoundEntry (IntegerVariable lit, IntegerValue lb, bool positive)
	ImpliedBoundEntry ()

Public Attributes
IntegerVariable	literal_view = kNoIntegerVariable
IntegerValue	lower_bound = IntegerValue(0)
bool	is_positive = true

Constructor & Destructor Documentation

ImpliedBoundEntry() [1/2]

ImpliedBoundEntry ( IntegerVariable  lit, IntegerValue  lb, bool  positive  )

inline

Definition at line 59 of file implied_bounds.h.

ImpliedBoundEntry() [2/2]

ImpliedBoundEntry ( )

inline

Definition at line 62 of file implied_bounds.h.

Member Data Documentation

is_positive

bool is_positive = true

Definition at line 56 of file implied_bounds.h.

literal_view

IntegerVariable literal_view = kNoIntegerVariable

Definition at line 51 of file implied_bounds.h.

lower_bound

IntegerValue lower_bound = IntegerValue(0)

Definition at line 52 of file implied_bounds.h.

---

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

• implied_bounds.h