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.