Uses of Class
g2d.terms.VarTerm

Packages that use VarTerm

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

Uses of VarTerm in g2d.terms

Methods in g2d.terms that return VarTerm

Modifier and Type	Method and Description
static VarTerm	VarTerm.fromStrings(java.lang.String varName, java.lang.String sortName)