Package g2d.terms

This package contains a preliminary implementation of term editing.

See: Description

Interface Summary

Interface	Description
TermPoolListener

Class Summary

Class	Description
Algebra
AppTerm
Constructor
Hole
HoleEditor
HolePosition
HoleTerm
Sort
Subsorter
Term
TermEditor
TermPosition
Variable
VarTerm

Package g2d.terms Description

This package contains a preliminary implementation of term editing.