array.icc File Reference

Go to the source code of this file.

Namespaces

namespace Gecode

namespace Gecode::CpltSet

Classes

class Gecode::ArrayTraits< CpltSetVarArray >

Traits of CpltSetVarArray. More...

class Gecode::ArrayTraits< CpltSetVarArgs >

Traits of CpltSetVarArgs. More...

Functions

void Gecode::CpltSet::setVariableOrderFromArray (Space *home, const CpltSetVarArray &x)

Ordering all declared bdd variables $x_0, \dots, x_{n-1}$ such that $\forall i\in \{0, \dots, n - 1\}: x_{0_{1}} \prec x_{{n-1}_{1}}, \dots, x_{0_{k-1}} \prec x_{{n-1}_{k-1}}$ .


Namespaces
namespace	Gecode
namespace	Gecode::CpltSet
Classes
class	Gecode::ArrayTraits< CpltSetVarArray >
	Traits of CpltSetVarArray. More...
class	Gecode::ArrayTraits< CpltSetVarArgs >
	Traits of CpltSetVarArgs. More...
Functions
void	Gecode::CpltSet::setVariableOrderFromArray (Space *home, const CpltSetVarArray &x)
	Ordering all declared bdd variables $x_0, \dots, x_{n-1}$ such that $\forall i\in \{0, \dots, n - 1\}: x_{0_{1}} \prec x_{{n-1}_{1}}, \dots, x_{0_{k-1}} \prec x_{{n-1}_{k-1}}$ .