Gecode::Float::Arithmetic Namespace Reference

Arithmetic propagators More...

Classes
class	Abs
	Propagator for bounds consistent absolute operator More...
class	Div
	Propagator for bounds division 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	NonZero
	Propagator maintaining that a float view does not contain zero. 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 positive.
template<class View>
bool	neg (const View &x)
	Test whether x is negative.
template<class View>
bool	any (const View &x)
	Test whether x is neither positive nor negative.
template<class View>
ModEvent	div_zero_endpoint (Home home, View x, const FloatVal &n, const View &d)
	Contract a quotient when the denominator has zero as one endpoint.
FloatNum	positive_pow_down (FloatNum x, int n)
	Return a downward-rounded positive integer power.
FloatVal	positive_nroot (const FloatVal &x, int n)
	Return nth root for a non-negative interval.

Detailed Description

Arithmetic propagators

Enumeration Type Documentation

MaxPropStatus

enum Gecode::Float::Arithmetic::MaxPropStatus

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 196 of file min-max.hpp.

Function Documentation

prop_nary_max()

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 204 of file min-max.hpp.

pos()

template<class View>

bool Gecode::Float::Arithmetic::pos ( const View & x )

inline

Test whether x is positive.

Definition at line 41 of file mult.hpp.

neg()

template<class View>

bool Gecode::Float::Arithmetic::neg ( const View & x )

inline

Test whether x is negative.

Definition at line 47 of file mult.hpp.

any()

template<class View>

bool Gecode::Float::Arithmetic::any ( const View & x )

inline

Test whether x is neither positive nor negative.

Definition at line 53 of file mult.hpp.

div_zero_endpoint()

template<class View>

ModEvent Gecode::Float::Arithmetic::div_zero_endpoint ( Home home, View x, const FloatVal & n, const View & d )

inline

Contract a quotient when the denominator has zero as one endpoint.

Definition at line 202 of file mult.hpp.

positive_pow_down()

FloatNum Gecode::Float::Arithmetic::positive_pow_down ( FloatNum x, int n )

inline

Return a downward-rounded positive integer power.

Definition at line 72 of file pow-nroot.hpp.

positive_nroot()

FloatVal Gecode::Float::Arithmetic::positive_nroot ( const FloatVal & x, int n )

inline

Return nth root for a non-negative interval.

Definition at line 91 of file pow-nroot.hpp.