Uses of Class
org.smtlib.TypeChecker.Variable

Packages that use TypeChecker.Variable

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 TypeChecker.Variable in org.smtlib

Fields in org.smtlib with type parameters of type TypeChecker.Variable

Modifier and Type	Field	Description
protected Map<IExpr.ISymbol,TypeChecker.Variable>	TypeChecker.currentScope
protected List<Map<IExpr.ISymbol,TypeChecker.Variable>>	TypeChecker.parameters