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