Uses of Class
g2d.terms.Variable

Packages that use Variable

Package	Description
g2d.terms	This package contains a preliminary implementation of term editing.

Uses of Variable in g2d.terms

Fields in g2d.terms declared as Variable

Modifier and Type	Field and Description
Variable	VarTerm.variable

Methods in g2d.terms that return Variable

Modifier and Type	Method and Description
static Variable	Variable.parseDeclaration(java.lang.String candidate, Sort superSort, Algebra algebra, java.lang.String[] reasons)

Constructors in g2d.terms with parameters of type Variable

Constructor and Description
VarTerm(Variable variable)