select.cc File Reference

(Revision: 5046)

#include "gecode/cpltset.hh"
#include "gecode/cpltset/propagators.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::CpltSet
namespace	Gecode::CpltSet::Select
Functions
template<class View>
void	Gecode::CpltSet::Select::selectNonEmptySub_post (Space *home, ViewArray< View > x)
void	Gecode::CpltSet::Select::selectNonEmptySub_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t)
void	Gecode::selectNonEmptySub (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t)
	Post propagator for .