Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CanonicalBooleanLinearProblem Class Reference

Detailed Description

Definition at line 155 of file pb_constraint.h.

#include <pb_constraint.h>

Public Member Functions

 CanonicalBooleanLinearProblem ()=default
 CanonicalBooleanLinearProblem (const CanonicalBooleanLinearProblem &)=delete
CanonicalBooleanLinearProblem & operator= (const CanonicalBooleanLinearProblem &)=delete
bool AddLinearConstraint (bool use_lower_bound, Coefficient lower_bound, bool use_upper_bound, Coefficient upper_bound, std::vector< LiteralWithCoeff > *cst)
int NumConstraints () const
Coefficient Rhs (int i) const
const std::vector< LiteralWithCoeff > & Constraint (int i) const

Constructor & Destructor Documentation

◆ CanonicalBooleanLinearProblem() [1/2]

operations_research::sat::CanonicalBooleanLinearProblem::CanonicalBooleanLinearProblem ( )
default

◆ CanonicalBooleanLinearProblem() [2/2]

operations_research::sat::CanonicalBooleanLinearProblem::CanonicalBooleanLinearProblem ( const CanonicalBooleanLinearProblem & )
delete

Member Function Documentation

◆ AddLinearConstraint()

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

Definition at line 223 of file pb_constraint.cc.

◆ Constraint()

const std::vector< LiteralWithCoeff > & operations_research::sat::CanonicalBooleanLinearProblem::Constraint ( int i) const
inline

Definition at line 176 of file pb_constraint.h.

◆ NumConstraints()

int operations_research::sat::CanonicalBooleanLinearProblem::NumConstraints ( ) const
inline

Definition at line 174 of file pb_constraint.h.

◆ operator=()

CanonicalBooleanLinearProblem & operations_research::sat::CanonicalBooleanLinearProblem::operator= ( const CanonicalBooleanLinearProblem & )
delete

◆ Rhs()

Coefficient operations_research::sat::CanonicalBooleanLinearProblem::Rhs ( int i) const
inline

Definition at line 175 of file pb_constraint.h.

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