operations_research::sat::MutableUpperBoundedLinearConstraint Class Reference

Detailed Description

Definition at line 191 of file pb_constraint.h.

#include <pb_constraint.h>

Public Member Functions
void	ClearAndResize (int num_variables)
void	ClearAll ()
Coefficient	GetCoefficient (BooleanVariable var) const
Literal	GetLiteral (BooleanVariable var) const
void	ReduceCoefficients ()
void	ReduceGivenCoefficient (BooleanVariable var)
Coefficient	ComputeSlackForTrailPrefix (const Trail &trail, int trail_index) const
Coefficient	ReduceCoefficientsAndComputeSlackForTrailPrefix (const Trail &trail, int trail_index)
void	ReduceSlackTo (const Trail &trail, int trail_index, Coefficient initial_slack, Coefficient target)
void	CopyIntoVector (std::vector< LiteralWithCoeff > *output)
void	AddToRhs (Coefficient value)
Coefficient	Rhs () const
Coefficient	MaxSum () const
void	AddTerm (Literal literal, Coefficient coeff)
Coefficient	CancelationAmount (Literal literal, Coefficient coeff) const
const std::vector< BooleanVariable > &	PossibleNonZeros () const
std::string	DebugString ()

Member Function Documentation

AddTerm()

void operations_research::sat::MutableUpperBoundedLinearConstraint::AddTerm ( Literal literal, Coefficient coeff )

inline

Definition at line 291 of file pb_constraint.h.

AddToRhs()

void operations_research::sat::MutableUpperBoundedLinearConstraint::AddToRhs ( Coefficient value )

inline

Definition at line 282 of file pb_constraint.h.

CancelationAmount()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::CancelationAmount ( Literal literal, Coefficient coeff ) const

inline

Definition at line 314 of file pb_constraint.h.

ClearAll()

void operations_research::sat::MutableUpperBoundedLinearConstraint::ClearAll

(

)

Definition at line 272 of file pb_constraint.cc.

ClearAndResize()

void operations_research::sat::MutableUpperBoundedLinearConstraint::ClearAndResize

(

int

num_variables

)

Definition at line 261 of file pb_constraint.cc.

ComputeSlackForTrailPrefix()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::ComputeSlackForTrailPrefix	(	const Trail &	trail,
		int	trail_index ) const

Definition at line 312 of file pb_constraint.cc.

CopyIntoVector()

void operations_research::sat::MutableUpperBoundedLinearConstraint::CopyIntoVector

(

std::vector< LiteralWithCoeff > *

output

)

Definition at line 392 of file pb_constraint.cc.

DebugString()

std::string operations_research::sat::MutableUpperBoundedLinearConstraint::DebugString

(

)

Definition at line 299 of file pb_constraint.cc.

GetCoefficient()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::GetCoefficient ( BooleanVariable var ) const

inline

Definition at line 202 of file pb_constraint.h.

GetLiteral()

Literal operations_research::sat::MutableUpperBoundedLinearConstraint::GetLiteral ( BooleanVariable var ) const

inline

Definition at line 209 of file pb_constraint.h.

MaxSum()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::MaxSum ( ) const

inline

Definition at line 287 of file pb_constraint.h.

PossibleNonZeros()

const std::vector< BooleanVariable > & operations_research::sat::MutableUpperBoundedLinearConstraint::PossibleNonZeros ( ) const

inline

Definition at line 323 of file pb_constraint.h.

ReduceCoefficients()

void operations_research::sat::MutableUpperBoundedLinearConstraint::ReduceCoefficients

(

)

Definition at line 283 of file pb_constraint.cc.

ReduceCoefficientsAndComputeSlackForTrailPrefix()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::ReduceCoefficientsAndComputeSlackForTrailPrefix	(	const Trail &	trail,
		int	trail_index )

Definition at line 325 of file pb_constraint.cc.

ReduceGivenCoefficient()

void operations_research::sat::MutableUpperBoundedLinearConstraint::ReduceGivenCoefficient ( BooleanVariable var )

inline

Definition at line 226 of file pb_constraint.h.

ReduceSlackTo()

void operations_research::sat::MutableUpperBoundedLinearConstraint::ReduceSlackTo	(	const Trail &	trail,
		int	trail_index,
		Coefficient	initial_slack,
		Coefficient	target )

Definition at line 355 of file pb_constraint.cc.

Rhs()

Coefficient operations_research::sat::MutableUpperBoundedLinearConstraint::Rhs ( ) const

inline

Definition at line 286 of file pb_constraint.h.

---

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

• ortools/sat/pb_constraint.h
• ortools/sat/pb_constraint.cc