Gecode::Float::Linear Namespace Reference

Linear propagators More...

Classes
class	TermLess
	Sort linear terms by view. More...
class	Lin
	Base-class for n-ary linear propagators. More...
class	Eq
	Propagator for bounds consistent n-ary linear equality More...
class	Lq
	Propagator for bounds consistent n-ary linear less or equal More...
class	Term
	Class for describing linear term . More...
Functions
template<class View >
void	eliminate_p (ModEventDelta med, ViewArray< View > &x, FloatVal &c)
template<class View >
void	eliminate_n (ModEventDelta med, ViewArray< View > &y, FloatVal &c)
bool	infty (const FloatNum &n)
void	estimate (Term *t, int n, FloatVal c, FloatNum &l, FloatNum &u)
	Estimate lower and upper bounds.
bool	overflow (Term *t, int n, FloatVal c)
FloatView	extend (Home home, Region &r, Term *&t, int &n)
	Extend terms by adding view for result.
template<class View >
void	post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, FloatRelType frt, FloatVal c)
	Posting n-ary propagators.
void	dopost (Home home, Term *t, int n, FloatRelType frt, FloatVal c)
void	post (Home home, Term *t, int n, FloatRelType frt, FloatVal c)
	Post propagator for linear constraint over floats.
void	post (Home home, Term *t, int n, FloatRelType frt, FloatVal c, Reify r)
	Post propagator for reified linear constraint over floats.

---

Detailed Description

Linear propagators

---

Function Documentation

template<class View >

void Gecode::Float::Linear::eliminate_p	(	ModEventDelta	med,
		ViewArray< View > &	x,
		FloatVal &	c
	)			[inline]

Definition at line 83 of file nary.hpp.

template<class View >

void Gecode::Float::Linear::eliminate_n	(	ModEventDelta	med,
		ViewArray< View > &	y,
		FloatVal &	c
	)			[inline]

Definition at line 98 of file nary.hpp.

bool Gecode::Float::Linear::infty

(

const FloatNum &

n

)

[inline]

Definition at line 111 of file nary.hpp.

void Gecode::Float::Linear::estimate	(	Term *	t,
		int	n,
		FloatVal	c,
		FloatNum &	l,
		FloatNum &	u
	)

Estimate lower and upper bounds.

Estimates the boundaries for a linear expression . If the boundaries exceed the limits as defined in Limits::Float, these boundaries are returned.

Parameters:

	t	array of linear terms
	n	size of array
	c	constant
	l	lower bound
	u	upper bound

bool Gecode::Float::Linear::overflow	(	Term *	t,
		int	n,
		FloatVal	c
	)			[inline]

Definition at line 62 of file post.cpp.

FloatView Gecode::Float::Linear::extend	(	Home	home,
		Region &	r,
		Term *&	t,
		int &	n
	)

Extend terms by adding view for result.

Definition at line 83 of file post.cpp.

template<class View >

void Gecode::Float::Linear::post_nary	(	Home	home,
		ViewArray< View > &	x,
		ViewArray< View > &	y,
		FloatRelType	frt,
		FloatVal	c
	)			[inline]

Posting n-ary propagators.

Definition at line 102 of file post.cpp.

void Gecode::Float::Linear::dopost	(	Home	home,
		Term *	t,
		int	n,
		FloatRelType	frt,
		FloatVal	c
	)

Definition at line 117 of file post.cpp.