ImpliedBounds

Detailed Description

Definition at line 77 of file implied_bounds.h.

Public Member Functions
	ImpliedBounds (Model *model)
	~ImpliedBounds ()
void	Add (Literal literal, IntegerLiteral integer_literal)
void	ProcessIntegerTrail (Literal first_decision)
const std::vector< ImpliedBoundEntry > &	GetImpliedBounds (IntegerVariable var)
const std::vector< IntegerVariable > &	VariablesWithImpliedBounds () const
bool	EnqueueNewDeductions ()
void	NotifyNewIntegerView (Literal literal)

Constructor & Destructor Documentation

ImpliedBounds()

ImpliedBounds ( Model *  model )

inlineexplicit

Definition at line 79 of file implied_bounds.h.

~ImpliedBounds()

~ImpliedBounds

(

)

Definition at line 20 of file implied_bounds.cc.

Member Function Documentation

Add()

void Add	(	Literal	literal,
		IntegerLiteral	integer_literal
	)

Definition at line 27 of file implied_bounds.cc.

EnqueueNewDeductions()

bool EnqueueNewDeductions

(

)

Definition at line 180 of file implied_bounds.cc.

GetImpliedBounds()

const std::vector< ImpliedBoundEntry > & GetImpliedBounds

(

IntegerVariable

var

)

Definition at line 147 of file implied_bounds.cc.

NotifyNewIntegerView()

void NotifyNewIntegerView ( Literal  literal )

inline

Definition at line 122 of file implied_bounds.h.

ProcessIntegerTrail()

void ProcessIntegerTrail

(

Literal

first_decision

)

Definition at line 169 of file implied_bounds.cc.

VariablesWithImpliedBounds()

const std::vector< IntegerVariable > & VariablesWithImpliedBounds ( ) const

inline

Definition at line 107 of file implied_bounds.h.

---

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

• implied_bounds.h
• implied_bounds.cc