view.icc File Reference
(Revision: 7297)
#include <iostream>
#include "gecode/int/view/iter.icc"
#include "gecode/int/var/int.icc"
#include "gecode/int/var/bool.icc"
#include "gecode/int/view/int.icc"
#include "gecode/int/view/bool.icc"
#include "gecode/int/view/constint.icc"
#include "gecode/int/view/zero.icc"
#include "gecode/int/view/minus.icc"
#include "gecode/int/view/offset.icc"
#include "gecode/int/view/scale.icc"
#include "gecode/int/view/rtest.icc"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
Classes | |
class | Gecode::Int::ViewRanges< View > |
Range iterator for integer views. More... | |
class | Gecode::Int::ViewValues< View > |
Value iterator for integer views. More... | |
class | Gecode::Int::IntView |
Integer view for integer variables. More... | |
class | Gecode::ViewVarImpTraits< Int::IntView > |
Traits class for views and variable implementations. More... | |
class | Gecode::VarViewTraits< IntVar > |
Traits class mapping variables to views. More... | |
class | Gecode::DomainSize< Int::IntView > |
Class providing domain size info. More... | |
class | Gecode::Int::MinusView |
Minus integer view. More... | |
class | Gecode::ViewVarImpTraits< Int::MinusView > |
Traits class for views and variable implementations. More... | |
class | Gecode::Int::OffsetView |
Offset integer view. More... | |
class | Gecode::ViewVarImpTraits< Int::OffsetView > |
Traits class for views and variable implementations. More... | |
class | Gecode::Int::ScaleView< Val, UnsVal > |
Scale integer view (template). More... | |
class | Gecode::ViewVarImpTraits< Int::ScaleView< Val, UnsVal > > |
Traits class for views and variable implementations. More... | |
class | Gecode::Int::ConstIntView |
Constant integer view. More... | |
class | Gecode::ViewVarImpTraits< Int::ConstIntView > |
Traits class for views and variable implementations. More... | |
class | Gecode::Int::ZeroIntView |
Zero integer view. More... | |
class | Gecode::ViewVarImpTraits< Int::ZeroIntView > |
Traits class for views and variable implementations. More... | |
class | Gecode::Int::BoolView |
Boolean view for Boolean variables. More... | |
class | Gecode::ViewVarImpTraits< Int::BoolView > |
Traits class for views and variable implementations. More... | |
class | Gecode::VarViewTraits< BoolVar > |
Traits class mapping variables to views. More... | |
class | Gecode::DomainSize< Int::BoolView > |
Class providing domain size info. More... | |
class | Gecode::Int::NegBoolView |
Negated Boolean view. More... | |
class | Gecode::ViewVarImpTraits< Int::NegBoolView > |
Traits class for views and variable implementations. More... | |
Defines | |
#define | GECODE_INT_RND_TWDS_ZERO 1 |
Typedefs | |
typedef ScaleView< int, unsigned int > | Gecode::Int::IntScaleView |
Integer-precision integer scale view. | |
typedef ScaleView< double, double > | Gecode::Int::DoubleScaleView |
Double-precision integer scale view. | |
Enumerations | |
enum | Gecode::Int::BoolTest { Gecode::Int::BT_NONE, Gecode::Int::BT_SAME, Gecode::Int::BT_COMP } |
Boolean tests. More... | |
enum | Gecode::Int::RelTest { Gecode::Int::RT_FALSE = 0, Gecode::Int::RT_MAYBE = 1, Gecode::Int::RT_TRUE = 2 } |
Result of testing relation. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &os, const Gecode::IntVar &x) |
std::ostream & | operator<< (std::ostream &os, const Gecode::BoolVar &x) |
template<class View> | |
RelTest | Gecode::Int::rtest_eq_bnd (View x, View y) |
Test whether views x and y are equal (use bounds information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_eq_dom (View x, View y) |
Test whether views x and y are equal (use full domain information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_eq_bnd (View x, int n) |
Test whether view x and integer n are equal (use bounds information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_eq_dom (View x, int n) |
Test whether view x and integer n are equal (use full domain information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_nq_bnd (View x, View y) |
Test whether views x and y are different (use bounds information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_nq_dom (View x, View y) |
Test whether views x and y are different (use full domain information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_nq_bnd (View x, int n) |
Test whether view x and integer n are different (use bounds information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_nq_dom (View x, int n) |
Test whether view x and integer n are different (use full domain information). | |
template<class View> | |
RelTest | Gecode::Int::rtest_lq (View x, View y) |
Test whether view x is less or equal than view y. | |
template<class View> | |
RelTest | Gecode::Int::rtest_lq (View x, int n) |
Test whether view x is less or equal than integer n. | |
template<class View> | |
RelTest | Gecode::Int::rtest_le (View x, View y) |
Test whether view x is less than view y. | |
template<class View> | |
RelTest | Gecode::Int::rtest_le (View x, int n) |
Test whether view x is less than integer n. | |
template<class View> | |
RelTest | Gecode::Int::rtest_gq (View x, View y) |
Test whether view x is greater or equal than view y. | |
template<class View> | |
RelTest | Gecode::Int::rtest_gq (View x, int n) |
Test whether view x is greater or equal than integer n. | |
template<class View> | |
RelTest | Gecode::Int::rtest_gr (View x, View y) |
Test whether view x is greater than view y. | |
template<class View> | |
RelTest | Gecode::Int::rtest_gr (View x, int n) |
Test whether view x is greater than integer n. |
Define Documentation
Function Documentation
std::ostream& operator<< | ( | std::ostream & | os, | |
const Gecode::IntVar & | x | |||
) | [related] |
std::ostream& operator<< | ( | std::ostream & | os, | |
const Gecode::BoolVar & | x | |||
) | [related] |