extensional.cc File Reference

(Revision: 6341)

#include "gecode/int/extensional.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
Functions
void	Gecode::extensional (Space *home, const IntVarArgs &x, DFA d, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post propagator for extensional constraint described by a DFA.
void	Gecode::extensional (Space *home, const IntVarArgs &x, const TupleSet &t, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post propagator for .
	Gecode::GECODE_REGISTER1 (Int::Extensional::LayeredGraph< Int::IntView >)
	Gecode::GECODE_REGISTER1 (Int::Extensional::LayeredGraph< Int::BoolView >)
	Gecode::GECODE_REGISTER1 (Int::Extensional::Basic< Int::IntView >)
	Gecode::GECODE_REGISTER1 (Int::Extensional::Incremental< Int::IntView >)
	Gecode::GECODE_REGISTER1 (Int::Extensional::Basic< Int::BoolView >)
	Gecode::GECODE_REGISTER1 (Int::Extensional::Incremental< Int::BoolView >)