Class FastEnvironment

Defined in File FastEnvironment.h

Class Documentation

class FastEnvironment

Public Types

typedef vector<const_symbol*>::const_iterator const_iterator

Public Functions

inline FastEnvironment(const FastEnvironment &other)

inline FastEnvironment(int x)

inline void extend(int x)

inline FastEnvironment *copy() const

inline const_symbol *operator[](const symbol *s) const

inline const_symbol *&operator[](const symbol *s)

inline const_iterator begin() const

inline const_iterator end() const

inline const vector<const_symbol*> &getCore() const