support.icc File Reference

(Revision: 6102)

Go to the source code of this file.

Namespaces

namespace Gecode

namespace Gecode::CpltSet

Functions

void Gecode::CpltSet::testConsistency (const IntSet &glb, const IntSet &lub, const int cardMin, const int cardMax, const char *location)

Check whether range specifications for initialization are consistent.

template<class View>

void Gecode::CpltSet::variableorder (ViewArray< View > &x)

template<class View, class View1>

void Gecode::CpltSet::variableorder (ViewArray< View > &x, ViewArray< View1 > &y)

void Gecode::CpltSet::conv_hull (bdd &robdd, bdd &hull)

Returns a bdd representing the convex hull of robdd.

bdd Gecode::CpltSet::bdd_vars (bdd &domain)

Returns a bdd representing all variables of domain.

bdd Gecode::CpltSet::cardeq (int offset, int c, int n, int r)

Build the ROBDD for $ |x|=c$ .

bdd Gecode::CpltSet::cardlqgq (int offset, int cl, int cr, int n, int r)

Build the ROBDD for $cl \leq |x| \leq cr$ .

bdd Gecode::CpltSet::cardcheck (int xtab, int offset, int cl, int cr)

Build the ROBDD for $cl \leq |x| \leq cr$ .

template<class I, class View0, class View1>

bdd Gecode::CpltSet::extcardeq (Gecode::Iter::Ranges::ValCache< I > &inter, View0 &x, View1 &y, unsigned int c, int n, int)

Build the ROBDD for $ |x|=c$ .

template<class I, class View0, class View1>

bdd Gecode::CpltSet::extcardlqgq (Gecode::Iter::Ranges::ValCache< I > &inter, View0 &x, View1 &y, unsigned int cl, unsigned int cr, int n, int r)

Build the ROBDD for $cl \leq |x| \leq cr$ .

template<class View0, class View1>

bdd Gecode::CpltSet::extcardcheck (View0 &x, View1 &y, unsigned int cl, unsigned int cr)

Build the ROBDD for $cl \leq |x \cap y| \leq cr$ .

template<class I>

bdd Gecode::CpltSet::cardConst (int, int xoff, int xmin, int cl, int cr, I &is)

GECODE_CPLTSET_EXPORT void Gecode::CpltSet::extcache_mark (SharedArray< bdd > &nodes, int n, int &l, int &r, int &markref)

GECODE_CPLTSET_EXPORT void Gecode::CpltSet::extcache_unmark (SharedArray< bdd > &nodes, int n, int &l, int &r, int &markref)

GECODE_CPLTSET_EXPORT void Gecode::CpltSet::extcardbounds (int &markref, bdd &c, int &n, int &l, int &r, bool &singleton, int &_level, SharedArray< bdd > &nodes, int &curmin, int &curmax, Gecode::IntSet &out)

void Gecode::CpltSet::getcardbounds (bdd &c, int &curmin, int &curmax)

bdd Gecode::CpltSet::lexlt (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)

bdd Gecode::CpltSet::lexlq (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)

bdd Gecode::CpltSet::lexltrev (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)

bdd Gecode::CpltSet::lexlqrev (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)

template<class View>

void Gecode::CpltSet::quantify (bdd &p, View &x)


Namespaces
namespace	Gecode
namespace	Gecode::CpltSet
Functions
void	Gecode::CpltSet::testConsistency (const IntSet &glb, const IntSet &lub, const int cardMin, const int cardMax, const char *location)
	Check whether range specifications for initialization are consistent.
template<class View>
void	Gecode::CpltSet::variableorder (ViewArray< View > &x)
template<class View, class View1>
void	Gecode::CpltSet::variableorder (ViewArray< View > &x, ViewArray< View1 > &y)
void	Gecode::CpltSet::conv_hull (bdd &robdd, bdd &hull)
	Returns a bdd representing the convex hull of robdd.
bdd	Gecode::CpltSet::bdd_vars (bdd &domain)
	Returns a bdd representing all variables of domain.
bdd	Gecode::CpltSet::cardeq (int offset, int c, int n, int r)
	Build the ROBDD for .
bdd	Gecode::CpltSet::cardlqgq (int offset, int cl, int cr, int n, int r)
	Build the ROBDD for $cl \leq \|x\| \leq cr$ .
bdd	Gecode::CpltSet::cardcheck (int xtab, int offset, int cl, int cr)
	Build the ROBDD for $cl \leq \|x\| \leq cr$ .
template<class I, class View0, class View1>
bdd	Gecode::CpltSet::extcardeq (Gecode::Iter::Ranges::ValCache< I > &inter, View0 &x, View1 &y, unsigned int c, int n, int)
	Build the ROBDD for .
template<class I, class View0, class View1>
bdd	Gecode::CpltSet::extcardlqgq (Gecode::Iter::Ranges::ValCache< I > &inter, View0 &x, View1 &y, unsigned int cl, unsigned int cr, int n, int r)
	Build the ROBDD for $cl \leq \|x\| \leq cr$ .
template<class View0, class View1>
bdd	Gecode::CpltSet::extcardcheck (View0 &x, View1 &y, unsigned int cl, unsigned int cr)
	Build the ROBDD for $cl \leq \|x \cap y\| \leq cr$ .
template<class I>
bdd	Gecode::CpltSet::cardConst (int, int xoff, int xmin, int cl, int cr, I &is)
GECODE_CPLTSET_EXPORT void	Gecode::CpltSet::extcache_mark (SharedArray< bdd > &nodes, int n, int &l, int &r, int &markref)
GECODE_CPLTSET_EXPORT void	Gecode::CpltSet::extcache_unmark (SharedArray< bdd > &nodes, int n, int &l, int &r, int &markref)
GECODE_CPLTSET_EXPORT void	Gecode::CpltSet::extcardbounds (int &markref, bdd &c, int &n, int &l, int &r, bool &singleton, int &_level, SharedArray< bdd > &nodes, int &curmin, int &curmax, Gecode::IntSet &out)
void	Gecode::CpltSet::getcardbounds (bdd &c, int &curmin, int &curmax)
bdd	Gecode::CpltSet::lexlt (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)
bdd	Gecode::CpltSet::lexlq (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)
bdd	Gecode::CpltSet::lexltrev (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)
bdd	Gecode::CpltSet::lexlqrev (unsigned int &xoff, unsigned int &yoff, unsigned int &range, int n)
template<class View>
void	Gecode::CpltSet::quantify (bdd &p, View &x)