#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. |
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. |