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 . 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>