operations_research::sat::ImpliedBoundEntry Struct Reference

Detailed Description

Definition at line 51 of file implied_bounds.h.

#include <implied_bounds.h>

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

Public Attributes
IntegerVariable	literal_view = kNoIntegerVariable
IntegerValue	lower_bound = IntegerValue(0)

Constructor & Destructor Documentation

ImpliedBoundEntry() [1/2]

operations_research::sat::ImpliedBoundEntry::ImpliedBoundEntry ( IntegerVariable lit, IntegerValue lb )

inline

Definition at line 63 of file implied_bounds.h.

ImpliedBoundEntry() [2/2]

operations_research::sat::ImpliedBoundEntry::ImpliedBoundEntry ( )

inline

Definition at line 66 of file implied_bounds.h.

Member Data Documentation

literal_view

IntegerVariable operations_research::sat::ImpliedBoundEntry::literal_view = kNoIntegerVariable

Definition at line 59 of file implied_bounds.h.

lower_bound

IntegerValue operations_research::sat::ImpliedBoundEntry::lower_bound = IntegerValue(0)

Definition at line 60 of file implied_bounds.h.

---

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

• ortools/sat/implied_bounds.h