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