Generated on Sat Feb 7 2015 02:01:43 for Gecode by doxygen 1.8.9.1
Gecode::Float::Arithmetic Namespace Reference

Arithmetic propagators More...

Classes

class  Abs
 Propagator for bounds consistent absolute operator More...
 
class  Channel
 Propagator for bounds consistent integer part operator More...
 
class  Div
 Propagator for bounds multiplication operator More...
 
class  Max
 Propagator for bounds consistent max operator More...
 
class  Min
 Propagator for bounds consistent min operator More...
 
class  Mult
 Bounds consistent multiplication propagator. More...
 
class  MultPlus
 Bounds consistent positive multiplication propagator. More...
 
class  MultZeroOne
 Bounds or domain consistent propagator for $x_0\times x_1=x_0$. More...
 
class  NaryMax
 Bounds consistent n-ary maximum propagator. More...
 
class  NthRoot
 Propagator for bounds consistent nth root operator More...
 
class  Pow
 Propagator for bounds consistent pow operator More...
 
class  Sqr
 Propagator for bounds consistent square operator More...
 
class  SqrPlus
 Bounds consistent positive square propagator. More...
 
class  Sqrt
 Propagator for bounds consistent square root operator More...
 

Enumerations

enum  MaxPropStatus { MPS_ASSIGNED = 1<<0, MPS_REMOVED = 1<<1, MPS_NEW_BOUND = 1<<2 }
 Status of propagation for nary max. More...
 

Functions

template<class View >
ExecStatus prop_nary_max (Space &home, Propagator &p, ViewArray< View > &x, View y, PropCond pc)
 
template<class View >
bool pos (const View &x)
 Test whether x is postive. More...
 
template<class View >
bool neg (const View &x)
 Test whether x is negative. More...
 
template<class View >
bool any (const View &x)
 Test whether x is neither positive nor negative. More...
 

Detailed Description

Arithmetic propagators

Enumeration Type Documentation

Status of propagation for nary max.

Enumerator
MPS_ASSIGNED 

All views are assigned.

MPS_REMOVED 

A view is removed.

MPS_NEW_BOUND 

Telling has found a new upper bound.

Definition at line 193 of file min-max-channel.hpp.

Function Documentation

template<class View >
ExecStatus Gecode::Float::Arithmetic::prop_nary_max ( Space home,
Propagator p,
ViewArray< View > &  x,
View  y,
PropCond  pc 
)
inline

Definition at line 201 of file min-max-channel.hpp.

template<class View >
bool Gecode::Float::Arithmetic::pos ( const View &  x)
inline

Test whether x is postive.

Definition at line 45 of file mult.hpp.

template<class View >
bool Gecode::Float::Arithmetic::neg ( const View &  x)
inline

Test whether x is negative.

Definition at line 51 of file mult.hpp.

template<class View >
bool Gecode::Float::Arithmetic::any ( const View &  x)
inline

Test whether x is neither positive nor negative.

Definition at line 57 of file mult.hpp.