78 namespace Gecode {
namespace Int {
namespace LDSB {
87 for (
int i = 0 ;
i <
nxs ;
i++)
102 for (
int i = 0 ;
i <
nxs ;
i++)
110 :
values(vs), seq_size(ss) {}
VariableSequenceSymmetryObject(ArgArray< VarImpBase * > vars, int ss)
Constructor for creation.
VarImpBase ** xs
Array of variables in symmetry.
const SymmetryHandle & operator=(const SymmetryHandle &h)
Assignment operator.
int size(void) const
Return size of array (number of elements)
Implementation of a symmetry at the modelling level.
Base-class for variable implementations.
~VariableSymmetryObject(void)
Destructor.
int nxs
Number of variables in symmetry.
SymmetryObject(void)
Default constructor.
~SymmetryHandle(void)
Destructor.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Argument array for non-primitive types.
A reference-counted pointer to a SymmetryObject.
void decrement(void)
Decrement counter.
int nxs
Number of variables in symmetry.
ValueSequenceSymmetryObject(IntArgs vs, int ss)
Constructor for creation.
VarImpBase ** xs
Array of variables in symmetry.
Passing integer arguments.
virtual ~SymmetryObject(void)
Destructor.
void values(Home home, const IntVarArgs &x, IntSet y, IntConLevel icl=ICL_DEF)
Post constraint .
Node * x
Pointer to corresponding Boolean expression node.
VariableSymmetryObject(ArgArray< VarImpBase * > vars)
Constructor for creation.
~VariableSequenceSymmetryObject()
Destructor.
ValueSymmetryObject(IntSet vs)
Constructor for creation.
Int::LDSB::SymmetryObject * ref
Symmetry object that this handle refers to.
void increment(void)
Increment counter.
Gecode toplevel namespace
SymmetryHandle(void)
Default constructor.
int nrefs
Number of references that point to this symmetry object.