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 $t = \bigcup_{i\subseteq s} x_i$ .

void Gecode::roots (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars)

Post propagator for $s = \bigcup_{x_i \subseteq t} i$ .

void Gecode::alldifferent (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars)

Post propagator for $x_i\neq x_j$ for all $0\leq i\neq j<|x| \wedge t = \bigcup_{i\subseteq s} x_i$ .

void Gecode::nvalue (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, unsigned int n, const CpltSetVarArgs &allvars)

Post propagator for $|\displaystyle\bigcup_{i = 0}^{|x| - 1} x_i| = n \wedge t = \bigcup_{i\subseteq s} x_i$ .

void Gecode::uses (Space *home, const IntVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &y, CpltSetVar u, CpltSetVar v)

Post propagator for $t = \bigcup_{i\in s} x_i \wedge v = \bigcup_{i\in u} y_i \wedge v \subseteq t$ .

void Gecode::selectUnion (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t)

Post propagator for $t = \bigcup_{i\in s} x_i$ .


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 $t = \bigcup_{i\subseteq s} x_i$ .
void	Gecode::roots (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars)
	Post propagator for $s = \bigcup_{x_i \subseteq t} i$ .
void	Gecode::alldifferent (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &allvars)
	Post propagator for $x_i\neq x_j$ for all $0\leq i\neq j<\|x\| \wedge t = \bigcup_{i\subseteq s} x_i$ .
void	Gecode::nvalue (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t, unsigned int n, const CpltSetVarArgs &allvars)
	Post propagator for $\|\displaystyle\bigcup_{i = 0}^{\|x\| - 1} x_i\| = n \wedge t = \bigcup_{i\subseteq s} x_i$ .
void	Gecode::uses (Space *home, const IntVarArgs &x, CpltSetVar s, CpltSetVar t, const CpltSetVarArgs &y, CpltSetVar u, CpltSetVar v)
	Post propagator for $t = \bigcup_{i\in s} x_i \wedge v = \bigcup_{i\in u} y_i \wedge v \subseteq t$ .
void	Gecode::selectUnion (Space *home, const CpltSetVarArgs &x, CpltSetVar s, CpltSetVar t)
	Post propagator for $t = \bigcup_{i\in s} x_i$ .