CAPD RedHom Library
capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags > Class Template Reference

#include <capd/complex/GeneratedCellComplex.h>

Public Types

typedef GeneratedMemoryModel< Generator, ColorMemoryModel
 
typedef CellComplex< MemoryModel, TagsBaseCellComplex
 
typedef BaseCellComplex::Cell Cell
 
typedef BaseCellComplex::ConstCell ConstCell
 
typedef BaseCellComplex::Dim Dim
 
typedef MemoryModel::Id Id
 
typedef MemoryModel::Color Color
 
typedef MemoryModel::EnumerateCellCodes EnumerateCellCodes
 
typedef EnumerateCellCodes::CellCode CellCode
 
typedef MemoryModel::AvailableStorage AvailableCells
 
typedef MemoryModel::ColorStorage Colors
 
typedef boost::mpl::joint_view< Tags, boost::mpl::vector< typename MemoryModel::Tag, CellComplexTag > > Tags
 
typedef CellComplex_IteratorFamily< CellComplex, Cell, ConstCellIterators
 
typedef CellComplex_IteratorFamily< const CellComplex, ConstCell, ConstCellConstIterators
 
typedef ColoredIteratorFamily< IteratorsColoredIterators
 
typedef ColoredIteratorFamily< ConstIteratorsColoredConstIterators
 
typedef boost::mpl::true_ IsComplex
 

Public Member Functions

template<typename Rng >
 GeneratedCellComplex (Rng &rng, Dim dimUpperBound, Generator generator=Generator())
 
int coincidenceIndex (const ConstCell &cellA, const ConstCell &cellB) const
 
size_t size () const
 
size_t cardinality () const
 
CellCode cellCode () const
 
Dim dim () const
 
Dim getDim () const
 
Iterators iterators ()
 
ConstIterators iterators () const
 
ColoredIterators iterators (Color color)
 
ColoredConstIterators iterators (Color color) const
 
ConstCell operator[] (const CellCode &cellCode) const
 
ConstCell operator[] (Id id) const
 
Cell operator[] (const CellCode &cellCode)
 
Cell operator[] (Id id)
 
boost::optional< Cellfind (const CellCode &cellCode)
 
boost::optional< Cellfind (Id id)
 
Color color (Id id) const
 
bool exists (Id id) const
 
bool exists (const CellCode &cellCode) const
 
Cell insert (const CellCode &cellCode)
 
Cell insert (const CellCode &cellCode, Color color)
 
void remove (Cell &cell)
 
void fillWithBoundaries ()
 
void fillWithBoundary (Id cellId, Color color=Color(), bool keepLower=true)
 
void fillWithBoundary (const Cell &cell, Color color=Color(), bool keepLower=true)
 
void resetColors (Color color)
 
EnumerateCellCodesenumerateCellCodes ()
 
const EnumerateCellCodesenumerateCellCodes () const
 
bool isClosed () const
 
void setClosedValidator (const boost::function< bool()> &v)
 
void setClosed (bool closed)
 

Protected Member Functions

void insertAll (Color color=Color(1))
 

Member Typedef Documentation

typedef MemoryModel::AvailableStorage capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::AvailableCells
inherited
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
typedef CellComplex<MemoryModel, Tags> capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::BaseCellComplex
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
typedef BaseCellComplex::Cell capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::Cell
typedef EnumerateCellCodes::CellCode capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::CellCode
inherited
typedef MemoryModel::Color capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::Color
inherited
typedef MemoryModel::ColorStorage capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::Colors
inherited
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
typedef BaseCellComplex::ConstCell capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::ConstCell
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
typedef BaseCellComplex::Dim capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::Dim
typedef MemoryModel::EnumerateCellCodes capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::EnumerateCellCodes
inherited
typedef MemoryModel::Id capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::Id
inherited
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
typedef GeneratedMemoryModel<Generator, Color> capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::MemoryModel
typedef boost::mpl::joint_view<Tags , boost::mpl::vector<typename MemoryModel::Tag, CellComplexTag> > capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::Tags
inherited

Constructor & Destructor Documentation

template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
template<typename Rng >
capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::GeneratedCellComplex ( Rng &  rng,
Dim  dimUpperBound,
Generator  generator = Generator() 
)
inlineexplicit

Member Function Documentation

size_t capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::cardinality ( ) const
inlineinherited
CellCode capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::cellCode ( ) const
inlineinherited
template<typename Generator, typename Coincidence, typename Color, typename Tags = boost::mpl::vector<>>
int capd::complex::GeneratedCellComplex< Generator, Coincidence, Color, Tags >::coincidenceIndex ( const ConstCell cellA,
const ConstCell cellB 
) const
inline
Color capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::color ( Id  id) const
inlineinherited
Dim capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::dim ( ) const
inlineinherited
EnumerateCellCodes& capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::enumerateCellCodes ( )
inlineinherited
const EnumerateCellCodes& capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::enumerateCellCodes ( ) const
inlineinherited
bool capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::exists ( Id  id) const
inlineinherited
bool capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::exists ( const CellCode cellCode) const
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::fillWithBoundaries ( )
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::fillWithBoundary ( Id  cellId,
Color  color = Color(),
bool  keepLower = true 
)
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::fillWithBoundary ( const Cell cell,
Color  color = Color(),
bool  keepLower = true 
)
inlineinherited
boost::optional<Cell> capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::find ( const CellCode cellCode)
inlineinherited
boost::optional<Cell> capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::find ( Id  id)
inlineinherited
Dim capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::getDim ( ) const
inlineinherited
Cell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::insert ( const CellCode cellCode)
inlineinherited
Cell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::insert ( const CellCode cellCode,
Color  color 
)
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::insertAll ( Color  color = Color(1))
inlineprotectedinherited
bool capd::complex::SComplexBase::isClosed ( ) const
inlineinherited
Iterators capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::iterators ( )
inlineinherited
ConstIterators capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::iterators ( ) const
inlineinherited
ColoredIterators capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::iterators ( Color  color)
inlineinherited
ColoredConstIterators capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::iterators ( Color  color) const
inlineinherited
ConstCell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::operator[] ( const CellCode cellCode) const
inlineinherited
ConstCell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::operator[] ( Id  id) const
inlineinherited
Cell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::operator[] ( const CellCode cellCode)
inlineinherited
Cell capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::operator[] ( Id  id)
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::remove ( Cell cell)
inlineinherited
void capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::resetColors ( Color  color)
inlineinherited
void capd::complex::SComplexBase::setClosed ( bool  closed)
inlineinherited
void capd::complex::SComplexBase::setClosedValidator ( const boost::function< bool()> &  v)
inlineinherited
size_t capd::complex::CellComplex< GeneratedMemoryModel< Generator, Color > , Tags >::size ( ) const
inlineinherited