Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::LDSB::ValueSymmetryImp< View > Class Template Reference

Implementation of a value symmetry. More...

#include <ldsb.hh>

Public Member Functions

 ValueSymmetryImp (Space &home, int *vs, unsigned int n)
 Constructor for creation. More...
 
 ValueSymmetryImp (Space &home, const ValueSymmetryImp< View > &other)
 Copy constructor. More...
 
virtual size_t dispose (Space &home)
 Disposal. More...
 
void update (Literal)
 Left-branch update. More...
 
virtual ArgArray< Literalsymmetric (Literal, const ViewArray< View > &) const
 Compute symmetric literals. More...
 
SymmetryImp< View > * copy (Space &home, bool share) const
 Copy function. More...
 
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
 

Public Attributes

Support::BitSetOffset< Spacevalues
 Symmetric values. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Int::LDSB::SymmetryImp< View >
static void * operator new (size_t s, Space &home)
 Placement new operator. More...
 
static void operator delete (void *, Space &)
 Return memory to space. More...
 
static void operator delete (void *)
 Needed for exceptions. More...
 

Detailed Description

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

Implementation of a value symmetry.

Definition at line 205 of file ldsb.hh.

Constructor & Destructor Documentation

template<class View >
Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp ( Space home,
int *  vs,
unsigned int  n 
)

Constructor for creation.

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

template<class View >
Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp ( Space home,
const ValueSymmetryImp< View > &  other 
)

Copy constructor.

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

Member Function Documentation

template<class View >
size_t Gecode::Int::LDSB::ValueSymmetryImp< View >::dispose ( Space home)
virtual

Disposal.

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

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

template<class View >
void Gecode::Int::LDSB::ValueSymmetryImp< View >::update ( Literal  l)
virtual

Left-branch update.

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

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

template<class View>
virtual ArgArray<Literal> Gecode::Int::LDSB::ValueSymmetryImp< 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::ValueSymmetryImp< View >::copy ( Space home,
bool  share 
) const
virtual

Copy function.

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

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

template<>
ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< IntView >::symmetric ( Literal  l,
const ViewArray< IntView > &  x 
) const

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

template<>
ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< BoolView >::symmetric ( Literal  l,
const ViewArray< BoolView > &  x 
) const

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

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

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

Member Data Documentation

template<class View>
Support::BitSetOffset<Space> Gecode::Int::LDSB::ValueSymmetryImp< View >::values

Symmetric values.

Definition at line 209 of file ldsb.hh.


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