Uses of Class
g2d.terms.Subsorter

Packages that use Subsorter

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

Uses of Subsorter in g2d.npa.examples

Fields in g2d.npa.examples declared as Subsorter

Modifier and Type	Field and Description
static Subsorter	Strands.subsorter
static Subsorter	Nspk.subsorter
static Subsorter	IntruderKnowledge.subsorter

Uses of Subsorter in g2d.terms

Fields in g2d.terms declared as Subsorter

Modifier and Type	Field and Description
Subsorter	Algebra.subsorter

Methods in g2d.terms that return Subsorter

Modifier and Type	Method and Description
static Subsorter	Subsorter.fromMap(java.util.HashMap<Sort,Sort[]> map)
static Subsorter	Subsorter.parse(java.lang.String[][] maudeSubsorter)

Methods in g2d.terms with parameters of type Subsorter

Modifier and Type	Method and Description
Term	Term.expand(int hi, Constructor constructor, Subsorter s)
Term	VarTerm.expand(int hi, Term term, Subsorter s)
abstract Term	Term.expand(int hi, Term term, Subsorter s)
Term	HoleTerm.expand(int hi, Term term, Subsorter s)
Term	AppTerm.expand(int hi, Term term, Subsorter s)
static java.util.ArrayList<Term>	Term.expand(java.util.List<Term> terms, int hi, Term term, Subsorter s)
static java.util.ArrayList<Term>	Term.expand(java.util.List<Term> terms, Term old_term, Term new_term, Subsorter s)
Term	Constructor.expand(Subsorter s)
Term	Term.expand(TermPosition position, Term term, Subsorter s)
Term	VarTerm.expand(Term old_term, Term new_term, Subsorter s)
abstract Term	Term.expand(Term old_term, Term new_term, Subsorter s)
Term	HoleTerm.expand(Term old_term, Term new_term, Subsorter s)
Term	AppTerm.expand(Term old_term, Term new_term, Subsorter s)
boolean	AppTerm.isOK(Subsorter s)

Constructors in g2d.terms with parameters of type Subsorter

Constructor and Description
Algebra(Sort[] sorts, Subsorter subsorter, Constructor[] ops)
AppTerm(Constructor constructor, java.util.ArrayList<Term> terms, Subsorter s)