Generated on Fri Mar 20 15:56:25 2015 for Gecode by doxygen 1.6.3
gecode

float.hh File Reference

(Revision: 14241)

#include <climits>
#include <cfloat>
#include <iostream>
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/support/auto-link.hpp>
#include <gecode/third-party/boost/numeric/interval.hpp>
#include <gecode/float/exception.hpp>
#include <gecode/float/nextafter.hpp>
#include <gecode/float/num.hpp>
#include <gecode/float/rounding.hpp>
#include <gecode/float/val.hpp>
#include <gecode/float/limits.hpp>
#include <gecode/float/var-imp.hpp>
#include <gecode/float/view.hpp>
#include <gecode/float/array-traits.hpp>
#include <gecode/float/array.hpp>
#include <gecode/float/branch/traits.hpp>
#include <gecode/float/branch/afc.hpp>
#include <gecode/float/branch/activity.hpp>
#include <gecode/float/branch/var.hpp>
#include <gecode/float/branch/val.hpp>
#include <gecode/float/branch/assign.hpp>

Go to the source code of this file.

Classes

class  Gecode::Float::Rounding
 Floating point rounding policy. More...
class  Gecode::FloatVal
 Float value type. More...
class  Gecode::FloatVar
 Float variables. More...
class  Gecode::FloatValArgs
 Passing float arguments. More...
class  Gecode::FloatVarArgs
 Passing float variables. More...
class  Gecode::FloatVarArray
 Float variable array. More...
class  Gecode::FloatNumBranch
 Value description class for branching. More...
class  Gecode::FloatAFC
 Recording AFC information for float variables. More...
class  Gecode::FloatActivity
 Recording activities for float variables. More...
class  Gecode::FloatVarBranch
 Which variable to select for branching. More...
class  Gecode::FloatValBranch
 Which values to select for branching first. More...
class  Gecode::FloatAssign
 Which values to select for assignment. More...

Namespaces

namespace  Gecode::Float
 

Floating point numbers.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Float::Limits
 

Numerical limits for floating point variables.


Defines

#define GECODE_FLOAT_EXPORT
#define GECODE_LIBRARY_NAME   "Float"

Typedefs

typedef double Gecode::FloatNum
 Floating point number base type.
typedef bool(* Gecode::FloatBranchFilter )(const Space &home, FloatVar x, int i)
 Branch filter function type for float variables.
typedef double(* Gecode::FloatBranchMerit )(const Space &home, FloatVar x, int i)
 Branch merit function type for float variables.
typedef FloatNumBranch(* Gecode::FloatBranchVal )(const Space &home, FloatVar x, int i)
 Branch value function type for float variables.
typedef void(* Gecode::FloatBranchCommit )(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)
 Branch commit function type for float variables.
typedef void(* Gecode::FloatVarValPrint )(const Space &home, const BrancherHandle &bh, unsigned int a, FloatVar x, int i, const FloatNumBranch &n, std::ostream &o)
 Function type for explaining branching alternatives for set variables.

Enumerations

enum  Gecode::FloatRelType {
  Gecode::FRT_EQ, Gecode::FRT_NQ, Gecode::FRT_LQ, Gecode::FRT_LE,
  Gecode::FRT_GQ, Gecode::FRT_GR
}
 

Relation types for floats.

More...

Functions

FloatNum Gecode::pi_half_lower (void)
 Return lower bound of $\pi/2$.
FloatNum Gecode::pi_half_upper (void)
 Return upper bound of $\pi/2$.
FloatNum Gecode::pi_lower (void)
 Return lower bound of $\pi$.
FloatNum Gecode::pi_upper (void)
 Return upper bound of $\pi$.
FloatNum Gecode::pi_twice_lower (void)
 Return lower bound of $2\pi$.
FloatNum Gecode::pi_twice_upper (void)
 Return upper bound of $2\pi$.
bool Gecode::Float::Limits::valid (const FloatVal &n)
 Return whether float n is a valid number.
void Gecode::Float::Limits::check (const FloatVal &n, const char *l)
 Check whether float n is a valid number, otherwise throw out of limits exception with information l.
void Gecode::dom (Home home, FloatVar x, FloatVal n)
 Propagates $x=n$.
void Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n)
 Propagates $ x_i=n$ for all $0\leq i<|x|$.
void Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum m)
 Propagates $ l\leq x\leq u$.
void Gecode::dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u)
 Propagates $ l\leq x_i\leq u$ for all $0\leq i<|x|$.
void Gecode::dom (Home home, FloatVar x, FloatVal n, Reify r)
 Post domain consistent propagator for $ (x=n) \equiv r$.
void Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r)
 Post domain consistent propagator for $ (l\leq x \leq u) \equiv r$.
void Gecode::dom (Home home, FloatVar x, FloatVar d)
 Constrain domain of x according to domain of d.
void Gecode::dom (Home home, const FloatVarArgs &x, const FloatVarArgs &d)
 Constrain domain of $ x_i $ according to domain of $ d_i $ for all $0\leq i<|x|$.
void Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
 Post propagator for $ x_0 \sim_{frt} x_1$.
void Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c)
 Propagates $ x \sim_{frt} c$.
void Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r)
 Post propagator for $(x \sim_{frt} c)\equiv r$.
void Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r)
 Post propagator for $(x_0 \sim_{frt} x_1)\equiv r$.
void Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
 Propagates $ x_i \sim_{frt} c $ for all $0\leq i<|x|$.
void Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y)
 Propagates $ x_i \sim_{frt} y $ for all $0\leq i<|x|$.
void Gecode::min (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \min\{x_0,x_1\}=x_2$.
void Gecode::min (Home home, const FloatVarArgs &x, FloatVar y)
 Post propagator for $ \min x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.
void Gecode::max (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $ \max\{x_0,x_1\}=x_2$.
void Gecode::max (Home home, const FloatVarArgs &x, FloatVar y)
 Post propagator for $ \max x=y$ If x is empty, an exception of type Float::TooFewArguments is thrown.
void Gecode::abs (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ |x_0|=x_1$.
void Gecode::mult (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\cdot x_1=x_2$.
void Gecode::sqr (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $x_0\cdot x_0=x_1$.
void Gecode::sqrt (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $\sqrt{x_0}=x_1$.
void Gecode::pow (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{n}=x_1$ for $n 0$.
void Gecode::nroot (Home home, FloatVar x0, int n, FloatVar x1)
 Post propagator for ${x_0}^{1/n}=x_1$ for $n 0$.
void Gecode::div (Home home, FloatVar x0, FloatVar x1, FloatVar x2)
 Post propagator for $x_0\ \mathrm{div}\ x_1=x_2$.
void Gecode::exp (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{exp}(x_0)=x_1$.
void Gecode::log (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{log}_e(x_0)=x_1$.
void Gecode::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathit{base}^{x_0}=x_1$.
void Gecode::log (Home home, FloatNum base, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{log}_{\mathit{base}}(x_0)=x_1$.
void Gecode::asin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{asin}(x_0)=x_1$.
void Gecode::sin (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{sin}(x_0)=x_1$.
void Gecode::acos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{acos}(x_0)=x_1$.
void Gecode::cos (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{cos}(x_0)=x_1$.
void Gecode::atan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{atan}(x_0)=x_1$.
void Gecode::tan (Home home, FloatVar x0, FloatVar x1)
 Post propagator for $ \mathrm{tan}(x_0)=x_1$.
void Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_{frt} c$.
void Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_{frt} y$.
void Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r)
 Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_{frt} c\right)\equiv r$.
void Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r)
 Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_{frt} y\right)\equiv r$.
void Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_{frt} c$.
void Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_{frt} y$.
void Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r)
 Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_{frt} c\right)\equiv r$.
void Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r)
 Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_{frt} y\right)\equiv r$.
void Gecode::channel (Home home, FloatVar x0, IntVar x1)
 Post propagator for channeling a float and an integer variable $ x_0 = x_1$.
void Gecode::channel (Home home, IntVar x0, FloatVar x1)
 Post propagator for channeling a float and an integer variable $ x_0 = x_1$.
void Gecode::wait (Home home, FloatVar x, void(*c)(Space &home))
 Execute c when x becomes assigned.
void Gecode::wait (Home home, const FloatVarArgs &x, void(*c)(Space &home))
 Execute c when all variables in x become assigned.
FloatVarBranch Gecode::FLOAT_VAR_NONE (void)
 Select first unassigned variable.
FloatVarBranch Gecode::FLOAT_VAR_RND (Rnd r)
 Select random variable (uniform distribution, for tie breaking).
FloatVarBranch Gecode::FLOAT_VAR_MERIT_MIN (FloatBranchMerit bm, BranchTbl tbl=NULL)
 Select variable with least merit according to branch merit function bm.
FloatVarBranch Gecode::FLOAT_VAR_MERIT_MAX (FloatBranchMerit bm, BranchTbl tbl=NULL)
 Select variable with highest merit according to branch merit function bm.
FloatVarBranch Gecode::FLOAT_VAR_DEGREE_MIN (BranchTbl tbl=NULL)
 Select variable with smallest degree.
FloatVarBranch Gecode::FLOAT_VAR_DEGREE_MAX (BranchTbl tbl=NULL)
 Select variable with largest degree.
FloatVarBranch Gecode::FLOAT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL)
 Select variable with smallest accumulated failure count with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_AFC_MIN (FloatAFC a, BranchTbl tbl=NULL)
 Select variable with smallest accumulated failure count.
FloatVarBranch Gecode::FLOAT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL)
 Select variable with largest accumulated failure count with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_AFC_MAX (FloatAFC a, BranchTbl tbl=NULL)
 Select variable with largest accumulated failure count.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL)
 Select variable with lowest activity with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_MIN (FloatActivity a, BranchTbl tbl=NULL)
 Select variable with lowest activity.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL)
 Select variable with highest activity with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_MAX (FloatActivity a, BranchTbl tbl=NULL)
 Select variable with highest activity.
FloatVarBranch Gecode::FLOAT_VAR_MIN_MIN (BranchTbl tbl=NULL)
 Select variable with smallest min.
FloatVarBranch Gecode::FLOAT_VAR_MIN_MAX (BranchTbl tbl=NULL)
 Select variable with largest min.
FloatVarBranch Gecode::FLOAT_VAR_MAX_MIN (BranchTbl tbl=NULL)
 Select variable with smallest max.
FloatVarBranch Gecode::FLOAT_VAR_MAX_MAX (BranchTbl tbl=NULL)
 Select variable with largest max.
FloatVarBranch Gecode::FLOAT_VAR_SIZE_MIN (BranchTbl tbl=NULL)
 Select variable with smallest domain size.
FloatVarBranch Gecode::FLOAT_VAR_SIZE_MAX (BranchTbl tbl=NULL)
 Select variable with largest domain size.
FloatVarBranch Gecode::FLOAT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL)
 Select variable with smallest degree divided by domain size.
FloatVarBranch Gecode::FLOAT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL)
 Select variable with largest degree divided by domain size.
FloatVarBranch Gecode::FLOAT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL)
 Select variable with smalllest accumulated failure count divided by domain size with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_AFC_SIZE_MIN (FloatAFC a, BranchTbl tbl=NULL)
 Select variable with smallest accumulated failure count divided by domain size.
FloatVarBranch Gecode::FLOAT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL)
 Select variable with largest accumulated failure count divided by domain size with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_AFC_SIZE_MAX (FloatAFC a, BranchTbl tbl=NULL)
 Select variable with largest accumulated failure count divided by domain size.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL)
 Select variable with smallest activity divided by domain size with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_SIZE_MIN (FloatActivity a, BranchTbl tbl=NULL)
 Select variable with smallest activity divided by domain size.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL)
 Select variable with largest activity divided by domain size with decay factor d.
FloatVarBranch Gecode::FLOAT_VAR_ACTIVITY_SIZE_MAX (FloatActivity a, BranchTbl tbl=NULL)
 Select variable with largest activity divided by domain size.
FloatValBranch Gecode::FLOAT_VAL_SPLIT_MIN (void)
 Select values not greater than mean of smallest and largest value.
FloatValBranch Gecode::FLOAT_VAL_SPLIT_MAX (void)
 Select values greater than mean of smallest and largest value.
FloatValBranch Gecode::FLOAT_VAL_SPLIT_RND (Rnd r)
 Select values randomly which are not greater or not smaller than mean of largest and smallest value.
FloatValBranch Gecode::FLOAT_VAL (FloatBranchVal v, FloatBranchCommit c)
FloatAssign Gecode::FLOAT_ASSIGN_MIN (void)
 Select median value of the lower part.
FloatAssign Gecode::FLOAT_ASSIGN_MAX (void)
 Select median value of the upper part.
FloatAssign Gecode::FLOAT_ASSIGN_RND (Rnd r)
 Select median value of a randomly chosen part.
FloatAssign Gecode::FLOAT_ASSIGN (FloatBranchVal v, FloatBranchCommit c)
BrancherHandle Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL)
 Branch over x with variable selection vars and value selection vals.
BrancherHandle Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL)
 Branch over x with tie-breaking variable selection vars and value selection vals.
BrancherHandle Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL)
 Branch over x with value selection vals.
BrancherHandle Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL)
 Assign all x with value selection vals.
BrancherHandle Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL)
 Assign x with value selection vals.

Variables

const FloatNum Gecode::Float::Limits::max = std::numeric_limits<FloatNum>::max()
 Largest allowed float value.
const FloatNum Gecode::Float::Limits::min = -max
 Smallest allowed float value.

Define Documentation

#define GECODE_FLOAT_EXPORT

Definition at line 70 of file float.hh.

#define GECODE_LIBRARY_NAME   "Float"

Definition at line 77 of file float.hh.