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

Implementation of a single symmetry. More...

#include <ldsb.hh>

Public Member Functions

virtual ArgArray< Literalsymmetric (Literal, const ViewArray< View > &) const =0
 Compute symmetric literals. More...
 
virtual void update (Literal)=0
 Left-branch update. More...
 
virtual SymmetryImp< View > * copy (Space &home, bool share) const =0
 Copy function. More...
 
virtual size_t dispose (Space &home)=0
 Disposal. More...
 

Static Public Member Functions

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::SymmetryImp< View >

Implementation of a single symmetry.

Definition at line 166 of file ldsb.hh.

Member Function Documentation

template<class View >
void * Gecode::Int::LDSB::SymmetryImp< View >::operator new ( size_t  s,
Space home 
)
static

Placement new operator.

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

template<class View >
void Gecode::Int::LDSB::SymmetryImp< View >::operator delete ( void *  ,
Space  
)
static

Return memory to space.

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

template<class View >
void Gecode::Int::LDSB::SymmetryImp< View >::operator delete ( void *  )
static

Needed for exceptions.

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


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