Template Class GenStore

Defined in File instantiation.h

Class Documentation

template<typename S, typename V> class GenStore

Public Types

typedef deque<V*>::iterator iterator

typedef deque<V*>::const_iterator const_iterator

Public Functions

inline GenStore()

inline void preventFurtherModification()

inline void write(ostream &o) const

inline V *insert(V *lit)

inline V *find(V *lit)

inline set<V*> allContents(const S *p)

inline iterator begin()

inline iterator end()

inline const_iterator begin() const

inline const_iterator end() const

inline size_t size() const

inline V *operator[](int x) const

template<typename TI> inline V *get(S *s, TI b, TI e)

template<typename TI> inline V *find(S *s, TI b, TI e)

inline void erase(const V *v)

inline void clearUp()

inline void clear()