extensional.hh File Reference

(Revision: 7285)

#include "gecode/int.hh"
#include "gecode/int/rel.hh"
#include "gecode/int/extensional/layered-graph.icc"
#include "gecode/int/extensional/bitset.icc"
#include "gecode/int/extensional/base.icc"
#include "gecode/int/extensional/basic.icc"
#include "gecode/int/extensional/incremental.icc"

Go to the source code of this file.

Namespaces
namespace	Gecode::Int::Extensional
namespace	Gecode
namespace	Gecode::Int
Classes
class	Gecode::Int::Extensional::LayeredGraph< View >
	Domain consistent layered graph (regular) propagator. More...
class	Gecode::Int::Extensional::LayeredGraph< View >::Index
	Advisors for views (by position in array). More...
class	Gecode::Int::Extensional::LayeredGraph< View >::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 >
	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 >::Work
	Description of work to be done. More...
Typedefs
typedef TupleSet::Tuple	Gecode::Int::Extensional::Tuple
typedef BitSet *	Gecode::Int::Extensional::Domain