Float propagators
[Other available functionality]

Classes
class	Gecode::Float::Arithmetic::Sqr< View >
	Propagator for bounds consistent square operator More...
class	Gecode::Float::Arithmetic::Sqrt< A, B >
	Propagator for bounds consistent square root operator More...
class	Gecode::Float::Arithmetic::Abs< A, B >
	Propagator for bounds consistent absolute operator More...
class	Gecode::Float::Arithmetic::Pow< A, B >
	Propagator for bounds consistent pow operator More...
class	Gecode::Float::Arithmetic::NthRoot< A, B >
	Propagator for bounds consistent nth root operator More...
class	Gecode::Float::Arithmetic::MultZeroOne< View >
	Bounds or domain consistent propagator for $x_0\times x_1=x_0$ . More...
class	Gecode::Float::Arithmetic::Mult< View >
	Bounds consistent multiplication propagator. More...
class	Gecode::Float::Arithmetic::Div< A, B, C >
	Propagator for bounds division operator More...
class	Gecode::Float::Arithmetic::Min< A, B, C >
	Propagator for bounds consistent min operator More...
class	Gecode::Float::Arithmetic::Max< A, B, C >
	Propagator for bounds consistent max operator More...
class	Gecode::Float::Arithmetic::NaryMax< View >
	Bounds consistent n-ary maximum propagator. More...
class	Gecode::Float::Bool::Ite< View >
	If-then-else propagator. More...
class	Gecode::Float::Channel::Channel< A, B >
	Propagator for bounds consistent integer part operator More...
class	Gecode::Float::Linear::Eq< P, N >
	Propagator for bounds consistent n-ary linear equality More...
class	Gecode::Float::Linear::Lq< P, N >
	Propagator for bounds consistent n-ary linear less or equal More...
class	Gecode::Float::Rel::Eq< View0, View1 >
	Binary bounds consistent equality propagator. More...
class	Gecode::Float::Rel::NaryEq< View >
	n-ary bounds consistent equality propagator More...
class	Gecode::Float::Rel::ReEq< View, CtrlView, rm >
	Reified binary bounds consistent equality propagator. More...
class	Gecode::Float::Rel::ReEqFloat< View, CtrlView, rm >
	Reified bounds consistent equality with float propagator. More...
class	Gecode::Float::Rel::Nq< View0, View1 >
	Binary bounds consistent disequality propagator. More...
class	Gecode::Float::Rel::NqFloat< View >
	Binary bounds consistent disequality propagator with float value. More...
class	Gecode::Float::Rel::Lq< View >
	Less or equal propagator. More...
class	Gecode::Float::Rel::Le< View >
	Less propagator. More...
class	Gecode::Float::Rel::ReLqFloat< View, CtrlView, rm >
	Reified less or equal with float propagator. More...
class	Gecode::Float::Rel::ReLeFloat< View, CtrlView, rm >
	Reified less with float propagator. More...
class	Gecode::Float::Rel::ReLq< View, CtrlView, rm >
	Reified less or equal propagator. More...
class	Gecode::Float::Transcendental::Exp< A, B >
	Propagator for bounds consistent exp operator More...
class	Gecode::Float::Transcendental::Pow< A, B >
	Propagator for bounds consistent pow operator More...
class	Gecode::Float::Trigonometric::Sin< A, B >
	Propagator for bounds consistent sinus operator More...
class	Gecode::Float::Trigonometric::Cos< A, B >
	Propagator for bounds consistent cosinus operator More...
class	Gecode::Float::Trigonometric::ASin< A, B >
	Propagator for bounds consistent arc sinus operator More...
class	Gecode::Float::Trigonometric::ACos< A, B >
	Propagator for bounds consistent arc cosinus operator More...
class	Gecode::Float::Trigonometric::Tan< A, B >
	Propagator for bounds consistent tangent operator More...
class	Gecode::Float::Trigonometric::ATan< A, B >
	Propagator for bounds consistent arc tangent operator More...
Functions
void	Gecode::Float::Linear::post (Home home, Term *t, int n, FloatRelType frt, FloatVal c)
	Post propagator for linear constraint over floats.
void	Gecode::Float::Linear::post (Home home, Term *t, int n, FloatRelType frt, FloatVal c, Reify r)
	Post propagator for reified linear constraint over floats.

Detailed Description

This module contains a description of all predefined float propagators. They can be reused, for example, for rewriting newly defined float propagators into already available propagators.

Function Documentation

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

Post propagator for linear constraint over floats.

Parameters:

	home	current space
	t	array of linear terms over floats
	n	size of array
	frt	type of relation
	c	result of linear constraint

All variants for linear constraints share the following properties:

Variables occuring multiply in the term array are replaced by a single occurence: for example, becomes .

Requires

 #include <gecode/float/linear.hh>

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

Post propagator for reified linear constraint over floats.

Parameters:

	home	current space
	t	array of linear terms over Booleans
	n	size of array
	frt	type of relation
	c	result of linear constraint
	r	reification specification

All variants for linear constraints share the following properties:

Variables occuring multiply in the term array are replaced by a single occurence: for example, becomes .

Requires

 #include <gecode/float/linear.hh>

Float propagators [Other available functionality]

Classes

Functions

Detailed Description

Function Documentation

Float propagators
[Other available functionality]