extensional.cpp File Reference

(Revision: 8296)

#include <gecode/int/extensional.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
Functions
void	Gecode::extensional (Space &home, const IntVarArgs &x, DFA d, IntConLevel icl=ICL_DEF)
	Post propagator for extensional constraint described by a DFA.
void	Gecode::extensional (Space &home, const IntVarArgs &x, const TupleSet &t, ExtensionalPropKind epk=EPK_DEF, IntConLevel icl=ICL_DEF)
	Post propagator for .