Propagator for reified bounds consistent binary linear less or equal More...

#include <linear.hh>

Public Member Functions
virtual Actor *	copy (Space &home, bool share)
	Create copy during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Static Public Member Functions
static ExecStatus	post (Home home, A x0, B x1, Val c, BoolView b)
	Post propagator for $(x_0+x_1 \leq c)\Leftrightarrow b$ .
Protected Member Functions
	ReLqBin (Space &home, bool share, ReLqBin &p)
	Constructor for cloning p.
	ReLqBin (Home home, A x0, B x1, Val c, BoolView b)
	Constructor for creation.

Detailed Description

Propagator for reified bounds consistent binary linear less or equal

The type Val can be either double or int, defining the numerical precision during propagation. The types A and B give the types of the views.

The propagation condition pc refers to both views.

Requires

 #include <gecode/int/linear.hh>

Constructor & Destructor Documentation

Gecode::Int::Linear::ReLqBin::ReLqBin	(	Space &	home,
		bool	share,
		ReLqBin &	p
	)		`[protected]`

Constructor for cloning p.

Gecode::Int::Linear::ReLqBin::ReLqBin	(	Home	home,
		A	x0,
		B	x1,
		Val	c,
		BoolView	b
	)		`[inline, protected]`

Constructor for creation.

Definition at line 398 of file int-bin.hpp.

Actor * Gecode::Int::Linear::ReLqBin::copy	(	Space &	home,
		bool	share
	)		`[virtual]`

Create copy during cloning.

Definition at line 416 of file int-bin.hpp.

ExecStatus Gecode::Int::Linear::ReLqBin::propagate	(	Space &	home,
		const ModEventDelta &	med
	)		`[virtual]`

Perform propagation.

Definition at line 422 of file int-bin.hpp.

ExecStatus Gecode::Int::Linear::ReLqBin::post	(	Home	home,
		A	x0,
		B	x1,
		Val	c,
		BoolView	b
	)		`[static]`

Post propagator for $(x_0+x_1 \leq c)\Leftrightarrow b$ .

Definition at line 403 of file int-bin.hpp.

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