Generated on Tue May 22 09:41:30 2018 for Gecode by doxygen 1.6.3

Gecode::Int::LDSB::VariableSymmetryImp< View > Class Template Reference

Implementation of a variable symmetry. More...

#include <ldsb.hh>

List of all members.

Public Member Functions

 VariableSymmetryImp (Space &home, int *vs, unsigned int n)
 Constructor for creation.
 VariableSymmetryImp (Space &home, const VariableSymmetryImp< View > &other)
 Copy constructor.
virtual size_t dispose (Space &home)
 Disposal.
void update (Literal)
 Left-branch update.
virtual ArgArray< Literalsymmetric (Literal, const ViewArray< View > &) const
 Compute symmetric literals.
SymmetryImp< View > * copy (Space &home) const
 Copy function.
template<>
ArgArray< Literalsymmetric (Literal l, const ViewArray< IntView > &x) const
template<>
ArgArray< Literalsymmetric (Literal l, const ViewArray< BoolView > &x) const
template<>
ArgArray< Literalsymmetric (Literal l, const ViewArray< Set::SetView > &x) const

Protected Attributes

Support::BitSetOffset< Spaceindices
 Symmetric variable indices.

Detailed Description

template<class View>
class Gecode::Int::LDSB::VariableSymmetryImp< View >

Implementation of a variable symmetry.

Definition at line 183 of file ldsb.hh.


Constructor & Destructor Documentation

template<class View >
Gecode::Int::LDSB::VariableSymmetryImp< View >::VariableSymmetryImp ( Space home,
int *  vs,
unsigned int  n 
) [inline]

Constructor for creation.

Definition at line 66 of file sym-imp.hpp.

template<class View >
Gecode::Int::LDSB::VariableSymmetryImp< View >::VariableSymmetryImp ( Space home,
const VariableSymmetryImp< View > &  other 
) [inline]

Copy constructor.

Definition at line 90 of file sym-imp.hpp.


Member Function Documentation

template<class View >
size_t Gecode::Int::LDSB::VariableSymmetryImp< View >::dispose ( Space home  )  [inline, virtual]

Disposal.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 96 of file sym-imp.hpp.

template<class View >
void Gecode::Int::LDSB::VariableSymmetryImp< View >::update ( Literal  l  )  [inline, virtual]

Left-branch update.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 104 of file sym-imp.hpp.

template<class View>
virtual ArgArray<Literal> Gecode::Int::LDSB::VariableSymmetryImp< View >::symmetric ( Literal  ,
const ViewArray< View > &   
) const [virtual]

Compute symmetric literals.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

template<class View >
SymmetryImp< View > * Gecode::Int::LDSB::VariableSymmetryImp< View >::copy ( Space home  )  const [inline, virtual]

Copy function.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 112 of file sym-imp.hpp.

template<>
ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< IntView >::symmetric ( Literal  l,
const ViewArray< IntView > &  x 
) const [inline]

Definition at line 40 of file sym-imp.cpp.

template<>
ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< BoolView >::symmetric ( Literal  l,
const ViewArray< BoolView > &  x 
) const [inline]

Definition at line 59 of file sym-imp.cpp.

template<>
ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< Set::SetView >::symmetric ( Literal  l,
const ViewArray< Set::SetView > &  x 
) const [inline]

Definition at line 57 of file sym-imp.cpp.


Member Data Documentation

template<class View>
Support::BitSetOffset<Space> Gecode::Int::LDSB::VariableSymmetryImp< View >::indices [protected]

Symmetric variable indices.

Definition at line 186 of file ldsb.hh.


The documentation for this class was generated from the following files: