Uses of Class
g2d.terms.TermPosition

Packages that use TermPosition

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

Uses of TermPosition in g2d.terms

Methods in g2d.terms that return types with arguments of type TermPosition

Modifier and Type	Method and Description
java.util.ArrayList<TermPosition>	Term.getSubtermPositions()

Methods in g2d.terms with parameters of type TermPosition

Modifier and Type	Method and Description
Term	Term.expand(TermPosition position, Term term, Subsorter s)

Method parameters in g2d.terms with type arguments of type TermPosition

Modifier and Type	Method and Description
int	VarTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
abstract int	Term.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	HoleTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	AppTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)