Uses of Class
g2d.terms.Term

Packages that use Term

Package	Description
g2d.npa	This package contains the GUI for the NPA tool.
g2d.npa.examples
g2d.terms	This package contains a preliminary implementation of term editing.

Uses of Term in g2d.npa

Fields in g2d.npa declared as Term

Modifier and Type	Field and Description
Term	Syntax.knowledgeTemplate
Term	Syntax.strandTemplate

Fields in g2d.npa with type parameters of type Term

Modifier and Type	Field and Description
java.util.ArrayList<Term>	Role.events

Methods in g2d.npa that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.ArrayList<Term>	TermTable.getTerms()

Methods in g2d.npa with parameters of type Term

Modifier and Type	Method and Description
void	AttackEditor.addTerm(Term term)
void	SortedTermTable.addTerm(Term term, Sort sort)
void	AttackEditor.askterm(Term term)

Constructors in g2d.npa with parameters of type Term

Constructor and Description
TermCellEditor(AttackEditor editor, Algebra algebra, Term term)
TermPanel(AttackEditor e, java.lang.String title, java.util.Collection<Term> terms, Term base, boolean editable)
TermTable(AttackEditor e, java.lang.String title, java.util.Collection<Term> terms, Term base, boolean editable)

Constructor parameters in g2d.npa with type arguments of type Term

Constructor and Description
Role(Algebra algebra, java.lang.String name, java.lang.String[] fresh, java.util.ArrayList<Term> strand, java.lang.String[][] variables)
TermPanel(AttackEditor e, java.lang.String title, java.util.Collection<Term> terms, Term base, boolean editable)
TermTable(AttackEditor e, java.lang.String title, java.util.Collection<Term> terms, Term base, boolean editable)

Uses of Term in g2d.npa.examples

Fields in g2d.npa.examples with type parameters of type Term

Modifier and Type	Field and Description
static java.util.ArrayList<Term>	Nspk.mtlist

Uses of Term in g2d.terms

Subclasses of Term in g2d.terms

Modifier and Type	Class and Description
class	AppTerm
class	HoleTerm
class	VarTerm

Fields in g2d.terms declared as Term

Modifier and Type	Field and Description
Term	TermPosition.term

Fields in g2d.terms with type parameters of type Term

Modifier and Type	Field and Description
java.util.List<Term>	AppTerm.terms

Methods in g2d.terms that return Term

Modifier and Type	Method and Description
Term	VarTerm.copy()
abstract Term	Term.copy()
Term	HoleTerm.copy()
Term	AppTerm.copy()
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)
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)
Term	TermEditor.getTerm()
Term	HoleEditor.getTerm()
static Term	Term.parse(java.lang.Object o, Algebra a)
static Term	Term.parseArray(java.lang.Object[] raw, Algebra a)
protected static Term	Term.parseConstructor(java.lang.String raw, Algebra a)
protected static Term	Term.parseString(java.lang.String raw, Algebra a)
protected static Term	Term.parseVariable(java.lang.String raw, Algebra a)

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

Modifier and Type	Method and Description
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)
java.util.Set<Term>	Algebra.getPool(Sort sort)
java.util.Set<Term>	VarTerm.subterms()
abstract java.util.Set<Term>	Term.subterms()
java.util.Set<Term>	HoleTerm.subterms()
java.util.Set<Term>	AppTerm.subterms()

Methods in g2d.terms with parameters of type Term

Modifier and Type	Method and Description
void	Algebra.addTerm2Pool(Term term)
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	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)
static void	TermEditor.main(Sort sort, Term term)
static void	HoleEditor.main(Sort sort, Term term)
static void	TermEditor.main(Term term)
static void	HoleEditor.main(Term term)
void	TermPoolListener.termAdded(Term term)

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

Modifier and Type	Method and Description
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)

Constructors in g2d.terms with parameters of type Term

Constructor and Description
HoleEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term)
HoleEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term, boolean usePool)
HoleEditor(java.awt.Window parent, Algebra algebra, Term term)
HoleEditor(java.awt.Window parent, Algebra algebra, Term term, boolean usePool)
TermEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term)
TermEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term, boolean usePool)
TermEditor(java.awt.Window parent, Algebra algebra, Term term)
TermEditor(java.awt.Window parent, Algebra algebra, Term term, boolean usePool)
TermPosition(int start, Sort sort, Term term)

Constructor parameters in g2d.terms with type arguments of type Term

Constructor and Description
AppTerm(Constructor constructor, java.util.ArrayList<Term> terms, Subsorter s)