Uses of Class
g2d.terms.Algebra

Packages that use Algebra

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 Algebra in g2d.npa

Fields in g2d.npa declared as Algebra

Modifier and Type	Field and Description
Algebra	Role.algebra
Algebra	Syntax.attackAlgebra
Algebra	Syntax.baseAlgebra
Algebra	Syntax.knowledgeAlgebra
Algebra	Syntax.strandAlgebra

Methods in g2d.npa with parameters of type Algebra

Modifier and Type	Method and Description
static Role	Role.parse(Algebra algebra, java.lang.Object[] roleArray)
static Role	Role.parse(Algebra algebra, java.lang.Object name, java.lang.Object fresh, java.lang.Object events, java.lang.Object variables)

Constructors in g2d.npa with parameters of type Algebra

Constructor and Description
Role(Algebra algebra, java.lang.String name, java.lang.String[] fresh, java.util.ArrayList<Term> strand, java.lang.String[][] variables)
Role(Algebra algebra, java.lang.String name, java.lang.String[] fresh, java.lang.Object[][] events, java.lang.String[][] variables)
TermCellEditor(AttackEditor editor, Algebra algebra, Term term)

Uses of Algebra in g2d.npa.examples

Fields in g2d.npa.examples declared as Algebra

Modifier and Type	Field and Description
static Algebra	Examples.IK
static Algebra	Examples.NSPK
static Algebra	Examples.STRANDS

Uses of Algebra in g2d.terms

Methods in g2d.terms that return Algebra

Modifier and Type	Method and Description
static Algebra	Algebra.union(Algebra lhs, Algebra rhs)

Methods in g2d.terms with parameters of type Algebra

Modifier and Type	Method and Description
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)
static Variable	Variable.parseDeclaration(java.lang.String candidate, Sort superSort, Algebra algebra, java.lang.String[] reasons)
protected static Term	Term.parseString(java.lang.String raw, Algebra a)
protected static Term	Term.parseVariable(java.lang.String raw, Algebra a)
static Algebra	Algebra.union(Algebra lhs, Algebra rhs)

Constructors in g2d.terms with parameters of type Algebra

Constructor and Description
HoleEditor(java.awt.Window parent, Algebra algebra)
HoleEditor(java.awt.Window parent, Algebra algebra, boolean usePool)
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)
TermEditor(java.awt.Window parent, Algebra algebra, 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)