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