LinearConstraint

Detailed Description

Definition at line 41 of file sat/linear_constraint.h.

Public Member Functions
	LinearConstraint ()
	LinearConstraint (IntegerValue _lb, IntegerValue _ub)
void	AddTerm (IntegerVariable var, IntegerValue coeff)
void	Clear ()
void	ClearTerms ()
std::string	DebugString () const
bool	operator== (const LinearConstraint other) const

Public Attributes
IntegerValue	lb
IntegerValue	ub
std::vector< IntegerVariable >	vars
std::vector< IntegerValue >	coeffs

Constructor & Destructor Documentation

LinearConstraint() [1/2]

LinearConstraint ( )

inline

Definition at line 47 of file sat/linear_constraint.h.

LinearConstraint() [2/2]

LinearConstraint ( IntegerValue  _lb, IntegerValue  _ub  )

inline

Definition at line 48 of file sat/linear_constraint.h.

Member Function Documentation

AddTerm()

void AddTerm ( IntegerVariable  var, IntegerValue  coeff  )

inline

Definition at line 50 of file sat/linear_constraint.h.

Clear()

void Clear ( )

inline

Definition at line 55 of file sat/linear_constraint.h.

ClearTerms()

void ClearTerms ( )

inline

Definition at line 60 of file sat/linear_constraint.h.

DebugString()

std::string DebugString ( ) const

inline

Definition at line 65 of file sat/linear_constraint.h.

operator==()

bool operator== ( const LinearConstraint  other ) const

inline

Definition at line 80 of file sat/linear_constraint.h.

Member Data Documentation

coeffs

std::vector<IntegerValue> coeffs

Definition at line 45 of file sat/linear_constraint.h.

lb

IntegerValue lb

Definition at line 42 of file sat/linear_constraint.h.

ub

IntegerValue ub

Definition at line 43 of file sat/linear_constraint.h.

vars

std::vector<IntegerVariable> vars

Definition at line 44 of file sat/linear_constraint.h.

---

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

• sat/linear_constraint.h