rangeroots.cc File Reference
(Revision: 6039)
#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::RangeRoots |
Functions | |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::buildRange (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, bdd &d0) |
Constructs d0 as the bdd representing the Range constraint for the given variables. | |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::range_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview) |
void | Gecode::CpltSet::RangeRoots::range_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t) |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::buildRoots (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, bdd &d0) |
Constructs d0 as the bdd representing the Roots constraint for the given variables. | |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::roots_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview) |
void | Gecode::CpltSet::RangeRoots::roots_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, const CpltSetVarArgs &allvars) |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::nvalue_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, int usedvalues) |
void | Gecode::CpltSet::RangeRoots::nvalue_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, int usedvalues, const CpltSetVarArgs &allvars) |
template<class View0, class View1> | |
void | Gecode::CpltSet::RangeRoots::uses_post (Space *home, ViewArray< View0 > &seq, View1 selview, View1 unionview, ViewArray< View0 > &seqprime, View1 selviewprime, View1 unionviewprime) |
void | Gecode::CpltSet::RangeRoots::uses_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t, const CpltSetVarArgs &y, const CpltSetVar &u, const CpltSetVar &v) |
template<class View> | |
void | Gecode::CpltSet::RangeRoots::selectUnion_post (Space *home, ViewArray< View > &x) |
void | Gecode::CpltSet::RangeRoots::selectUnion_con (Space *home, const CpltSetVarArgs &x, const CpltSetVar &s, const CpltSetVar &t) |
void | Gecode::range (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t) |
Post propagator for ![]() | |
void | Gecode::roots (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars) |
Post propagator for ![]() | |
void | Gecode::alldifferent (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars) |
Post propagator for ![]() ![]() | |
void | Gecode::nvalue (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, unsigned int n, const CpltSetVarArgs &allvars) |
Post propagator for ![]() | |
void | Gecode::uses (Space *home, const IntVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &y, CpltSetVar u, CpltSetVar v) |
Post propagator for ![]() | |
void | Gecode::selectUnion (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t) |
Post propagator for ![]() |