CAPD RedHom Library
Public Types | Public Member Functions | Friends | List of all members
RepSet< ESET > Class Template Reference
RepSet

The objects of this class represent families of elementary sets. It is assumed that elementary sets are ordered in some way, so that operator< is available The implementation of the class is via STL template set. More...

#include <capd/repSet/RepSet.h>

Public Types

typedef std::set< ESET >::const_iterator const_iterator
 
typedef std::set< ESET >::iterator iterator
 
typedef ESET eSet
 
typedef ESET ElementarySetType
 

Public Member Functions

const_iterator begin () const
 
const_iterator end () const
 
int embeddingDimension () const
 
RepSet & operator+= (const RepSet &s)
 
RepSet & operator-= (const RepSet &s)
 
RepSet & operator*= (const RepSet &s)
 
int size () const
 
RepSet wrap () const
 
bool operator<= (const RepSet &s) const
 
bool subsetInt (const RepSet &s) const
 
bool operator== (const RepSet &s) const
 
RepSet & insert (const ESET &eset)
 
RepSet & remove (const ESET &eset)
 
bool includes (const ESET &eset) const
 
bool empty () const
 
void swap (RepSet &s)
 
RepSet subdivided () const
 
const ESET & showOneElement () const
 
int assignComponentsTo (std::vector< RepSet< ESET > > &c) const
 
std::string toString () const
 
void enclosingBox (int minCoords[], int maxCoords[]) const
 
void lowerEnclosingBox (int minCoords[], int maxCoords[]) const
 

Friends

RepSet operator+ (const RepSet &s1, const RepSet &s2)
 
RepSet operator- (const RepSet &s1, const RepSet &s2)
 
RepSet operator* (const RepSet &s1, const RepSet &s2)
 
std::istream & operator>> (std::istream &inp, RepSet &A_RepSet)
 
std::ostream & operator<< (std::ostream &out, const RepSet &A_RepSet)
 

Detailed Description

template<typename ESET>
class RepSet< ESET >

The objects of this class represent families of elementary sets. It is assumed that elementary sets are ordered in some way, so that operator< is available The implementation of the class is via STL template set.

Template parameters: ESET

  • class of elementary sets

Member Typedef Documentation

template<typename ESET>
typedef std::set<ESET>::const_iterator RepSet< ESET >::const_iterator
template<typename ESET>
typedef ESET RepSet< ESET >::ElementarySetType
template<typename ESET>
typedef ESET RepSet< ESET >::eSet
template<typename ESET>
typedef std::set<ESET>::iterator RepSet< ESET >::iterator

Member Function Documentation

template<typename ESET>
int RepSet< ESET >::size ( ) const
inline

Friends And Related Function Documentation

template<typename ESET>
RepSet operator* ( const RepSet< ESET > &  s1,
const RepSet< ESET > &  s2 
)
friend
template<typename ESET>
RepSet operator+ ( const RepSet< ESET > &  s1,
const RepSet< ESET > &  s2 
)
friend
template<typename ESET>
RepSet operator- ( const RepSet< ESET > &  s1,
const RepSet< ESET > &  s2 
)
friend
template<typename ESET>
std::ostream& operator<< ( std::ostream &  out,
const RepSet< ESET > &  A_RepSet 
)
friend
template<typename ESET>
std::istream& operator>> ( std::istream &  inp,
RepSet< ESET > &  A_RepSet 
)
friend