view.hpp File Reference
#include <iostream>
#include <gecode/int/view/iter.hpp>
#include <gecode/int/var/int.hpp>
#include <gecode/int/var/bool.hpp>
#include <gecode/int/view/int.hpp>
#include <gecode/int/view/constint.hpp>
#include <gecode/int/view/zero.hpp>
#include <gecode/int/view/minus.hpp>
#include <gecode/int/view/offset.hpp>
#include <gecode/int/view/scale.hpp>
#include <gecode/int/view/cached.hpp>
#include <gecode/int/view/bool.hpp>
#include <gecode/int/view/neg-bool.hpp>
#include <gecode/int/view/print.hpp>
#include <gecode/int/var/print.hpp>
#include <gecode/int/view/rel-test.hpp>
#include <gecode/int/view/bool-test.hpp>
Go to the source code of this file.
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::Int::MinusView |
Minus integer view. More... | |
class | Gecode::Int::OffsetView |
Offset integer view. More... | |
class | Gecode::Int::NoOffset< View > |
Converter without offsets. More... | |
class | Gecode::Int::Offset |
Converter with fixed offset. More... | |
class | Gecode::Int::ScaleView< Val, UnsVal > |
Scale integer view (template). More... | |
class | Gecode::Int::ConstIntView |
Constant integer view. More... | |
class | Gecode::Int::ZeroIntView |
Zero integer view. More... | |
class | Gecode::Int::CachedView< View > |
Cached integer view. More... | |
class | Gecode::Int::ViewDiffRanges< View > |
Range iterator for cached integer views More... | |
class | Gecode::Int::BoolView |
Boolean view for Boolean variables. More... | |
class | Gecode::Int::NegBoolView |
Negated Boolean view. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Int |
Finite domain integers. | |
Typedefs | |
typedef ScaleView< int, unsigned int > | Gecode::Int::IntScaleView |
Integer-precision integer scale view. | |
typedef ScaleView< long long int, unsigned long long int > | Gecode::Int::LLongScaleView |
Long long-precision integer scale view. | |
Enumerations | |
enum | Gecode::Int::RelTest { Gecode::Int::RT_FALSE = 0, Gecode::Int::RT_MAYBE = 1, Gecode::Int::RT_TRUE = 2 } |
Result of testing relation. More... | |
enum | Gecode::Int::BoolTest { Gecode::Int::BT_NONE, Gecode::Int::BT_SAME, Gecode::Int::BT_COMP } |
Boolean tests. More... | |
Functions | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_eq_bnd (VX x, VY y) |
Test whether views x and y are equal (use bounds information). | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_eq_dom (VX x, VY y) |
Test whether views x and y are equal (use full domain information). | |
template<class VX > | |
RelTest | Gecode::Int::rtest_eq_bnd (VX x, int n) |
Test whether view x and integer n are equal (use bounds information). | |
template<class VX > | |
RelTest | Gecode::Int::rtest_eq_dom (VX x, int n) |
Test whether view x and integer n are equal (use full domain information). | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_nq_bnd (VX x, VY y) |
Test whether views x and y are different (use bounds information). | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_nq_dom (VX x, VY y) |
Test whether views x and y are different (use full domain information). | |
template<class VX > | |
RelTest | Gecode::Int::rtest_nq_bnd (VX x, int n) |
Test whether view x and integer n are different (use bounds information). | |
template<class VX > | |
RelTest | Gecode::Int::rtest_nq_dom (VX x, int n) |
Test whether view x and integer n are different (use full domain information). | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_lq (VX x, VY y) |
Test whether view x is less or equal than view y. | |
template<class VX > | |
RelTest | Gecode::Int::rtest_lq (VX x, int n) |
Test whether view x is less or equal than integer n. | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_le (VX x, VY y) |
Test whether view x is less than view y. | |
template<class VX > | |
RelTest | Gecode::Int::rtest_le (VX x, int n) |
Test whether view x is less than integer n. | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_gq (VX x, VY y) |
Test whether view x is greater or equal than view y. | |
template<class VX > | |
RelTest | Gecode::Int::rtest_gq (VX x, int n) |
Test whether view x is greater or equal than integer n. | |
template<class VX , class VY > | |
RelTest | Gecode::Int::rtest_gr (VX x, VY y) |
Test whether view x is greater than view y. | |
template<class VX > | |
RelTest | Gecode::Int::rtest_gr (VX x, int n) |
Test whether view x is greater than integer n. |