array.cc File Reference

Go to the source code of this file.

Namespaces

namespace Gecode

namespace Gecode::CpltSet

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
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}}$ .