CanonicalBooleanLinearProblem

Detailed Description

Definition at line 151 of file pb_constraint.h.

Public Member Functions
	CanonicalBooleanLinearProblem ()
bool	AddLinearConstraint (bool use_lower_bound, Coefficient lower_bound, bool use_upper_bound, Coefficient upper_bound, std::vector< LiteralWithCoeff > *cst)
int	NumConstraints () const
const Coefficient	Rhs (int i) const
const std::vector< LiteralWithCoeff > &	Constraint (int i) const

Constructor & Destructor Documentation

CanonicalBooleanLinearProblem()

CanonicalBooleanLinearProblem ( )

inline

Definition at line 153 of file pb_constraint.h.

Member Function Documentation

AddLinearConstraint()

bool AddLinearConstraint	(	bool	use_lower_bound,
		Coefficient	lower_bound,
		bool	use_upper_bound,
		Coefficient	upper_bound,
		std::vector< LiteralWithCoeff > *	cst
	)

Definition at line 213 of file pb_constraint.cc.

Constraint()

const std::vector<LiteralWithCoeff>& Constraint ( int  i ) const

inline

Definition at line 167 of file pb_constraint.h.

NumConstraints()

int NumConstraints ( ) const

inline

Definition at line 165 of file pb_constraint.h.

Rhs()

const Coefficient Rhs ( int  i ) const

inline

Definition at line 166 of file pb_constraint.h.

---

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

• pb_constraint.h
• pb_constraint.cc