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 ![]() |