g2d.terms

Class Algebra

java.lang.Object

g2d.terms.Algebra

public class Algebra
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	debug
Constructor[]	ops
Sort[]	sorts
Subsorter	subsorter

Constructor Summary

Constructors

Constructor and Description
Algebra(Sort[] sorts, java.util.HashMap<Sort,Sort[]> subsortMap, Constructor[] ops)
Algebra(Sort[] sorts, Subsorter subsorter, Constructor[] ops)
Algebra(java.lang.String[] maudeSorts, java.lang.String[][] maudeSubsorter, java.lang.String[][] maudeOperators)

Method Summary

Modifier and Type	Method and Description
void	addTerm2Pool(Term term)
void	addTermPoolListener(TermPoolListener listener)
Constructor	getConstructorByName(java.lang.String name)
java.util.ArrayList<Constructor>	getConstructorsBySort(Sort sort)
java.util.ArrayList<Constructor>	getConstructorsBySubsort(Sort sort)
java.util.Set<Term>	getPool(Sort sort)
void	removeTermPoolListener(TermPoolListener listener)
static Algebra	union(Algebra lhs, Algebra rhs)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

debug

public static final boolean debug

See Also:

Constant Field Values

sorts

public final Sort[] sorts

subsorter

public final Subsorter subsorter

ops

public final Constructor[] ops

Constructor Detail

Algebra

public Algebra(Sort[] sorts,
               Subsorter subsorter,
               Constructor[] ops)

Algebra

public Algebra(java.lang.String[] maudeSorts,
               java.lang.String[][] maudeSubsorter,
               java.lang.String[][] maudeOperators)

Algebra

public Algebra(Sort[] sorts,
               java.util.HashMap<Sort,Sort[]> subsortMap,
               Constructor[] ops)

Method Detail

getConstructorByName

public Constructor getConstructorByName(java.lang.String name)

getConstructorsBySubsort

public java.util.ArrayList<Constructor> getConstructorsBySubsort(Sort sort)

getConstructorsBySort

public java.util.ArrayList<Constructor> getConstructorsBySort(Sort sort)

addTerm2Pool

public void addTerm2Pool(Term term)

getPool

public java.util.Set<Term> getPool(Sort sort)

addTermPoolListener

public void addTermPoolListener(TermPoolListener listener)

removeTermPoolListener

public void removeTermPoolListener(TermPoolListener listener)

union

public static final Algebra union(Algebra lhs,
                                  Algebra rhs)