Public Types | Public Member Functions | Data Fields

Env< K, C, A > Class Template Reference

#include <Map.h>

Collaboration diagram for Env< K, C, A >:
Collaboration graph
[legend]

Public Types

typedef ConsCell< C, A > EnvCons

Public Member Functions

void put (K akey, C avalue)
get (K akey)
void push ()
void pop ()
void clear ()
 Env ()
List< C, A > * get_bucket (K akey)

Data Fields

Map< K, List< C > *, A > store
List< List< K >, A > scope

Detailed Description

template<class K, class C, class A = DefaultAlloc>
class Env< K, C, A >

Definition at line 221 of file Map.h.


Member Typedef Documentation

template<class K , class C , class A = DefaultAlloc>
typedef ConsCell<C, A> Env< K, C, A >::EnvCons

Definition at line 223 of file Map.h.


Constructor & Destructor Documentation

template<class K , class C , class A = DefaultAlloc>
Env< K, C, A >::Env (  )  [inline]

Definition at line 230 of file Map.h.


Member Function Documentation

template<class K , class C , class A = DefaultAlloc>
void Env< K, C, A >::clear ( void   )  [inline]
template<class K , class C , class A >
C Env< K, C, A >::get ( akey  )  [inline]

Definition at line 722 of file Map.h.

References Vec< C, A, S >::set_in(), Env< K, C, A >::store, and MapElem< K, C >::value.

template<class K , class C , class A >
List< C, A > * Env< K, C, A >::get_bucket ( akey  )  [inline]
template<class K , class C , class A >
void Env< K, C, A >::pop (  )  [inline]
template<class K , class C , class A >
void Env< K, C, A >::push (  )  [inline]

Definition at line 747 of file Map.h.

References List< C, A >::push(), and Env< K, C, A >::scope.

template<class K , class C , class A >
void Env< K, C, A >::put ( akey,
avalue 
) [inline]

Field Documentation

template<class K , class C , class A = DefaultAlloc>
List<List<K>, A> Env< K, C, A >::scope
template<class K , class C , class A = DefaultAlloc>
Map<K,List<C> *, A> Env< K, C, A >::store

Definition at line 231 of file Map.h.

Referenced by Env< K, C, A >::clear(), Env< K, C, A >::get(), and Env< K, C, A >::get_bucket().


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