support.cc File Reference

(Revision: 5219)

#include "gecode/cpltset.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::CpltSet
Functions
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 .
bdd	Gecode::CpltSet::cardcheck (int xtab, int offset, int cl, int cr)
	Build the ROBDD for .
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)
void	Gecode::CpltSet::extcache_mark (Support::DynamicArray< bdd > &nodes, int n, int &l, int &r, int &markref)
void	Gecode::CpltSet::extcache_unmark (Support::DynamicArray< bdd > &nodes, int n, int &l, int &r, int &markref)
void	Gecode::CpltSet::extcardbounds (int &markref, bdd &, int &n, int &l, int &r, bool &singleton, int &_level, Support::DynamicArray< bdd > &nodes, int &curmin, int &curmax)
void	Gecode::CpltSet::getcardbounds (bdd &c, int &curmin, int &curmax)