OR-Tools  8.2
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()

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: