get(const string &name) (defined in ScopeTable) | ScopeTable | [inline] |
pop() (defined in ScopeTable) | ScopeTable | [inline] |
push() (defined in ScopeTable) | ScopeTable | [inline] |
put(const string &name, Term *t) (defined in ScopeTable) | ScopeTable | [inline] |
ScopeTable() (defined in ScopeTable) | ScopeTable | [inline] |