ScopeTable Class Reference

List of all members.

Public Member Functions
void	push ()
void	pop ()
void	put (const string &name, Term *t)
Term *	get (const string &name)

---

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

• smtparser/smt-parser-defs.h