operations_research::sat::ImpliedBounds Class Reference

Detailed Description

Definition at line 88 of file implied_bounds.h.

#include <implied_bounds.h>

Public Member Functions
	ImpliedBounds (Model *model)
	~ImpliedBounds ()
bool	Add (Literal literal, IntegerLiteral integer_literal)
void	AddLiteralImpliesVarEqValue (Literal literal, IntegerVariable var, IntegerValue value)
bool	ProcessIntegerTrail (Literal first_decision)
const std::vector< ImpliedBoundEntry > &	GetImpliedBounds (IntegerVariable var)
const std::vector< IntegerVariable > &	VariablesWithImpliedBounds () const
const absl::flat_hash_map< IntegerVariable, IntegerValue > &	GetImpliedValues (Literal literal) const
std::pair< IntegerValue, IntegerValue >	GetImpliedBounds (Literal literal, IntegerVariable var) const
const absl::flat_hash_map< std::pair< LiteralIndex, IntegerVariable >, IntegerValue > &	GetModelImpliedBounds () const
bool	EnqueueNewDeductions ()

Constructor & Destructor Documentation

ImpliedBounds()

operations_research::sat::ImpliedBounds::ImpliedBounds ( Model * model )

inlineexplicit

Definition at line 90 of file implied_bounds.h.

~ImpliedBounds()

operations_research::sat::ImpliedBounds::~ImpliedBounds

(

)

Definition at line 54 of file implied_bounds.cc.

Member Function Documentation

Add()

bool operations_research::sat::ImpliedBounds::Add	(	Literal	literal,
		IntegerLiteral	integer_literal )

Definition at line 69 of file implied_bounds.cc.

AddLiteralImpliesVarEqValue()

void operations_research::sat::ImpliedBounds::AddLiteralImpliesVarEqValue	(	Literal	literal,
		IntegerVariable	var,
		IntegerValue	value )

Definition at line 258 of file implied_bounds.cc.

EnqueueNewDeductions()

bool operations_research::sat::ImpliedBounds::EnqueueNewDeductions

(

)

GetImpliedBounds() [1/2]

const std::vector< ImpliedBoundEntry > & operations_research::sat::ImpliedBounds::GetImpliedBounds

(

IntegerVariable

var

)

Definition at line 238 of file implied_bounds.cc.

GetImpliedBounds() [2/2]

std::pair< IntegerValue, IntegerValue > operations_research::sat::ImpliedBounds::GetImpliedBounds ( Literal literal, IntegerVariable var ) const

inline

Definition at line 137 of file implied_bounds.h.

GetImpliedValues()

const absl::flat_hash_map< IntegerVariable, IntegerValue > & operations_research::sat::ImpliedBounds::GetImpliedValues ( Literal literal ) const

inline

Definition at line 128 of file implied_bounds.h.

GetModelImpliedBounds()

const absl::flat_hash_map< std::pair< LiteralIndex, IntegerVariable >, IntegerValue > & operations_research::sat::ImpliedBounds::GetModelImpliedBounds ( ) const

inline

Definition at line 154 of file implied_bounds.h.

ProcessIntegerTrail()

bool operations_research::sat::ImpliedBounds::ProcessIntegerTrail

(

Literal

first_decision

)

Definition at line 268 of file implied_bounds.cc.

VariablesWithImpliedBounds()

const std::vector< IntegerVariable > & operations_research::sat::ImpliedBounds::VariablesWithImpliedBounds ( ) const

inline

Definition at line 123 of file implied_bounds.h.

---

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

• ortools/sat/implied_bounds.h
• ortools/sat/implied_bounds.cc