Uses of Class
org.smtlib.SymbolTable.Entry

Packages that use SymbolTable.Entry

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.

Uses of SymbolTable.Entry in org.smtlib

Methods in org.smtlib that return SymbolTable.Entry

Modifier and Type	Method	Description
SymbolTable.Entry	SymbolTable.Iterator.next()

Methods in org.smtlib that return types with arguments of type SymbolTable.Entry

Modifier and Type	Method	Description
List<SymbolTable.Entry>	SymbolTable.lookup(IExpr.IIdentifier name)	Lookup the Symbol with the given identifier, returning all of its declared entries (of any arity).

Methods in org.smtlib with parameters of type SymbolTable.Entry

Modifier and Type	Method	Description
void	SymbolTable.add(SymbolTable.Entry entry, boolean global)	Adds the given entry to the symbol table.
boolean	SymbolTable.add(SymbolTable.Entry entry, boolean global, boolean overload)	Adds the given entry to the symbol table; if overload is false and the identifier in the entry is already in the table, the method returns false (without changing the symbol table); otherwise the entry is added and the method returns true