operations_research::sat::LinearConstraintBuilder Class Reference

Detailed Description

Definition at line 214 of file linear_constraint.h.

#include <linear_constraint.h>

Public Member Functions
	LinearConstraintBuilder (const Model *model)
	LinearConstraintBuilder (IntegerEncoder *encoder)
	LinearConstraintBuilder (const Model *model, IntegerValue lb, IntegerValue ub)
	LinearConstraintBuilder (IntegerEncoder *encoder, IntegerValue lb, IntegerValue ub)
	LinearConstraintBuilder ()
	LinearConstraintBuilder (IntegerValue lb, IntegerValue ub)
void	AddConstant (IntegerValue value)
void	AddTerm (IntegerVariable var, IntegerValue coeff)
void	AddTerm (AffineExpression expr, IntegerValue coeff)
void	AddLinearExpression (const LinearExpression &expr)
void	AddLinearExpression (const LinearExpression &expr, IntegerValue coeff)
ABSL_MUST_USE_RESULT bool	AddDecomposedProduct (absl::Span< const LiteralValueValue > product)
ABSL_MUST_USE_RESULT bool	AddLiteralTerm (Literal lit, IntegerValue coeff=IntegerValue(1))
void	AddQuadraticLowerBound (AffineExpression left, AffineExpression right, IntegerTrail *integer_trail, bool *is_quadratic=nullptr)
void	Clear ()
void	ResetBounds (IntegerValue lb, IntegerValue ub)
LinearConstraint	Build ()
LinearConstraint	BuildConstraint (IntegerValue lb, IntegerValue ub)
bool	BuildIntoConstraintAndCheckOverflow (IntegerValue lb, IntegerValue ub, LinearConstraint *ct)
LinearExpression	BuildExpression ()
int	NumTerms () const

Constructor & Destructor Documentation

LinearConstraintBuilder() [1/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( const Model * model )

inlineexplicit

Definition at line 221 of file linear_constraint.h.

LinearConstraintBuilder() [2/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( IntegerEncoder * encoder )

inlineexplicit

Definition at line 223 of file linear_constraint.h.

LinearConstraintBuilder() [3/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( const Model * model, IntegerValue lb, IntegerValue ub )

inline

Definition at line 225 of file linear_constraint.h.

LinearConstraintBuilder() [4/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( IntegerEncoder * encoder, IntegerValue lb, IntegerValue ub )

inline

Definition at line 227 of file linear_constraint.h.

LinearConstraintBuilder() [5/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( )

inline

Definition at line 236 of file linear_constraint.h.

LinearConstraintBuilder() [6/6]

operations_research::sat::LinearConstraintBuilder::LinearConstraintBuilder ( IntegerValue lb, IntegerValue ub )

inline

Definition at line 237 of file linear_constraint.h.

Member Function Documentation

AddConstant()

void operations_research::sat::LinearConstraintBuilder::AddConstant

(

IntegerValue

value

)

Definition at line 125 of file linear_constraint.cc.

AddDecomposedProduct()

ABSL_MUST_USE_RESULT bool operations_research::sat::LinearConstraintBuilder::AddDecomposedProduct

(

absl::Span< const LiteralValueValue >

product

)

Definition at line 86 of file linear_constraint.cc.

AddLinearExpression() [1/2]

void operations_research::sat::LinearConstraintBuilder::AddLinearExpression

(

const LinearExpression &

expr

)

Definition at line 68 of file linear_constraint.cc.

AddLinearExpression() [2/2]

void operations_research::sat::LinearConstraintBuilder::AddLinearExpression	(	const LinearExpression &	expr,
		IntegerValue	coeff )

Definition at line 73 of file linear_constraint.cc.

AddLiteralTerm()

ABSL_MUST_USE_RESULT bool operations_research::sat::LinearConstraintBuilder::AddLiteralTerm	(	Literal	lit,
		IntegerValue	coeff = IntegerValue(1) )

Definition at line 129 of file linear_constraint.cc.

AddQuadraticLowerBound()

void operations_research::sat::LinearConstraintBuilder::AddQuadraticLowerBound	(	AffineExpression	left,
		AffineExpression	right,
		IntegerTrail *	integer_trail,
		bool *	is_quadratic = nullptr )

Definition at line 107 of file linear_constraint.cc.

AddTerm() [1/2]

void operations_research::sat::LinearConstraintBuilder::AddTerm	(	AffineExpression	expr,
		IntegerValue	coeff )

Definition at line 52 of file linear_constraint.cc.

AddTerm() [2/2]

void operations_research::sat::LinearConstraintBuilder::AddTerm	(	IntegerVariable	var,
		IntegerValue	coeff )

Definition at line 41 of file linear_constraint.cc.

Build()

LinearConstraint operations_research::sat::LinearConstraintBuilder::Build

(

)

Definition at line 147 of file linear_constraint.cc.

BuildConstraint()

LinearConstraint operations_research::sat::LinearConstraintBuilder::BuildConstraint	(	IntegerValue	lb,
		IntegerValue	ub )

Definition at line 151 of file linear_constraint.cc.

BuildExpression()

LinearExpression operations_research::sat::LinearConstraintBuilder::BuildExpression

(

)

Definition at line 167 of file linear_constraint.cc.

BuildIntoConstraintAndCheckOverflow()

bool operations_research::sat::LinearConstraintBuilder::BuildIntoConstraintAndCheckOverflow	(	IntegerValue	lb,
		IntegerValue	ub,
		LinearConstraint *	ct )

Definition at line 160 of file linear_constraint.cc.

Clear()

void operations_research::sat::LinearConstraintBuilder::Clear ( )

inline

Definition at line 277 of file linear_constraint.h.

NumTerms()

int operations_research::sat::LinearConstraintBuilder::NumTerms ( ) const

inline

Definition at line 309 of file linear_constraint.h.

ResetBounds()

void operations_research::sat::LinearConstraintBuilder::ResetBounds ( IntegerValue lb, IntegerValue ub )

inline

Definition at line 283 of file linear_constraint.h.

---

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

• ortools/sat/linear_constraint.h
• ortools/sat/linear_constraint.cc