element.hh File Reference

(Revision: 10846)

#include <gecode/int.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/element/int.hpp>
#include <gecode/int/element/view.hpp>
#include <gecode/int/element/pair.hpp>

Go to the source code of this file.

Classes
class	Gecode::Int::Element::Int
	Element propagator for array of integers More...
class	Gecode::Int::Element::Int::IdxVal
	Linked index-value pairs. More...
class	Gecode::Int::Element::Int::IterIdxUnmark
	Value iterator for indices in index-value map. More...
class	Gecode::Int::Element::Int::IterVal
	Value iterator for values in index-value map. More...
class	Gecode::Int::Element::Int::IterValUnmark
	Value iterator for values in index-value map. More...
class	Gecode::Int::Element::Int::ByVal
	Sorting pointers to (index,value) pairs in value order. More...
class	Gecode::Int::Element::ViewToVarArg
	Class to get VarArg type for view. More...
class	Gecode::Int::Element::IdxViewArray
	An array of IndexView pairs. More...
class	Gecode::Int::Element::View
	Base-class for element propagator for array of views. More...
class	Gecode::Int::Element::ViewBnd
	Bounds consistent element propagator for array of views. More...
class	Gecode::Int::Element::ViewDom
	Domain consistent element propagator for array of views. More...
class	Gecode::Int::Element::Pair
	Domain consistent pair propagator. More...
Namespaces
namespace	Gecode::Int::Element
	Element propagators
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
Functions
template<class V0 , class V1 >
ExecStatus	Gecode::Int::Element::post_int (Home home, IntSharedArray &c, V0 x0, V1 x1)
	Post propagator with apropriate index and value types.