Uses of Class
g2d.terms.Constructor

Packages that use Constructor

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

Uses of Constructor in g2d.npa.examples

Fields in g2d.npa.examples declared as Constructor

Modifier and Type	Field and Description
static Constructor	Nspk.a
static Constructor	Nspk.b
static Constructor	Nspk.f
static Constructor	Nspk.i
static Constructor	IntruderKnowledge.inI
static Constructor	Nspk.k
static Constructor	Nspk.m
static Constructor	Strands.minus
static Constructor	Nspk.n
static Constructor	IntruderKnowledge.neq
static Constructor	IntruderKnowledge.ninI
static Constructor[]	Strands.ops
static Constructor[]	Nspk.ops
static Constructor[]	IntruderKnowledge.ops
static Constructor	Nspk.pk
static Constructor	Strands.plus
static Constructor	Nspk.semicolon
static Constructor	Nspk.sk

Uses of Constructor in g2d.terms

Fields in g2d.terms declared as Constructor

Modifier and Type	Field and Description
Constructor	AppTerm.constructor
Constructor[]	Algebra.ops

Methods in g2d.terms that return Constructor

Modifier and Type	Method and Description
Constructor	Algebra.getConstructorByName(java.lang.String name)

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

Modifier and Type	Method and Description
java.util.ArrayList<Constructor>	Algebra.getConstructorsBySort(Sort sort)
java.util.ArrayList<Constructor>	Algebra.getConstructorsBySubsort(Sort sort)

Methods in g2d.terms with parameters of type Constructor

Modifier and Type	Method and Description
Term	Term.expand(int hi, Constructor constructor, Subsorter s)

Constructors in g2d.terms with parameters of type Constructor

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