operations_research::ArithmeticPropagator Class Reference

ArithmeticPropagator. More...

Inheritance diagram for operations_research::ArithmeticPropagator:

List of all members.

Public Member Functions
	ArithmeticPropagator (Solver *const solver, Demon *const demon)
void	ReduceProblem ()
void	Post ()
void	InitialPropagate ()
void	Update (int var_index)
void	AddConstraint (ArithmeticConstraint *const ct)
void	AddVariable (int64 lb, int64 ub)
const vector< IntVar * >	vars () const
int	VarIndex (IntVar *const var)
void	AddSubstitution (int left_var, int right_var, int64 right_offset)
void	AddNewBounds (int var_index, int64 lb, int64 ub)
void	ProcessOneSubstitution (int left_var, int right_var, int64 right_offset)
void	PrintModel ()

---

Detailed Description

ArithmeticPropagator.

Definition at line 147 of file global_arith.cc.

---

Constructor & Destructor Documentation

operations_research::ArithmeticPropagator::ArithmeticPropagator	(	Solver *const	solver,
		Demon *const	demon
	)			[inline]

Definition at line 149 of file global_arith.cc.

---

Member Function Documentation

void operations_research::ArithmeticPropagator::ReduceProblem

(

)

[inline]

Definition at line 152 of file global_arith.cc.

void operations_research::ArithmeticPropagator::Post

(

)

[inline]

Definition at line 166 of file global_arith.cc.

void operations_research::ArithmeticPropagator::InitialPropagate

(

)

[inline]

Definition at line 177 of file global_arith.cc.

void operations_research::ArithmeticPropagator::Update

(

int

var_index

)

[inline]

Definition at line 181 of file global_arith.cc.

void operations_research::ArithmeticPropagator::AddConstraint

(

ArithmeticConstraint *const

ct

)

[inline]

Definition at line 185 of file global_arith.cc.

void operations_research::ArithmeticPropagator::AddVariable	(	int64	lb,
		int64	ub
	)			[inline]

Definition at line 189 of file global_arith.cc.

const vector<IntVar*> operations_research::ArithmeticPropagator::vars

(

)

const [inline]

Definition at line 193 of file global_arith.cc.

int operations_research::ArithmeticPropagator::VarIndex

(

IntVar *const

var

)

[inline]

Definition at line 195 of file global_arith.cc.

void operations_research::ArithmeticPropagator::AddSubstitution	(	int	left_var,
		int	right_var,
		int64	right_offset
	)			[inline]

Definition at line 206 of file global_arith.cc.

void operations_research::ArithmeticPropagator::AddNewBounds	(	int	var_index,
		int64	lb,
		int64	ub
	)			[inline]

Definition at line 210 of file global_arith.cc.

void operations_research::ArithmeticPropagator::ProcessOneSubstitution	(	int	left_var,
		int	right_var,
		int64	right_offset
	)			[inline]

Definition at line 214 of file global_arith.cc.

void operations_research::ArithmeticPropagator::PrintModel

(

)

[inline]

Definition at line 225 of file global_arith.cc.

---

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

• or-tools/examples/cpp/global_arith.cc