extensional.hh File Reference

(Revision: 8139)

#include <gecode/int.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/extensional/layered-graph.hpp>
#include <gecode/int/extensional/bitset.hpp>
#include <gecode/int/extensional/base.hpp>
#include <gecode/int/extensional/basic.hpp>
#include <gecode/int/extensional/incremental.hpp>

Go to the source code of this file.

Classes
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >
	Domain consistent layered graph (regular) propagator. More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::State
	States are described by number of incoming and outgoing edges. More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Support
	Support information for a value. More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Layer
	Layer for a view in the layered graph. More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::LayerValues
	Iterator for telling variable domains by scanning support. More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Index
	Advisors for views (by position in array). More...
class	Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::IndexRange
	Range approximation of which positions have changed. More...
class	Gecode::Int::Extensional::Base< View, subscribe >
	Base for domain consistent extensional propagation. More...
class	Gecode::Int::Extensional::Basic< View, shared >
	Domain consistent extensional propagator. More...
class	Gecode::Int::Extensional::Incremental< View >
	Domain consistent extensional propagator. More...
class	Gecode::Int::Extensional::Incremental< View >::SupportEntry
	Entry for storing support. More...
class	Gecode::Int::Extensional::Incremental< View >::WorkEntry
	Description of work to be done. More...
class	Gecode::Int::Extensional::Incremental< View >::Work
	Work stack. More...
Namespaces
namespace	Gecode::Int::Extensional
	Extensional propagators
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
Typedefs
typedef TupleSet::Tuple	Gecode::Int::Extensional::Tuple
typedef BitSet *	Gecode::Int::Extensional::Domain
Functions
template<class View >
ExecStatus	Gecode::Int::Extensional::post_lgp (Space &home, ViewArray< View > &x, DFA dfa)
	Select small types for the layered graph propagator.