Interface | Description |
---|---|
Operation |
This interface specifies an operation, that is, a map from
the direct product of some number (called the arity) of a set
to the set.
|
TermOperation |
This interface specifies a term operation, that is, the interpretation
of a term in an algebra.
|
Class | Description |
---|---|
AbstractIntOperation |
This class is not abstract, but has several optional
methods which throw an UnsupportedOperationException.
|
AbstractOperation |
This class implements the basic methods of
Operation . |
Operations |
This is a factory class with static methods to make Operations.
|
OperationSymbol |
An oration symbol.
|
OperationWithDefaultValue |
A convenience class for the UI.
|
ParameterizedOperation |
This class represents SmallAlgebra's.
|
SimilarityType |
A set of OperationSymbol's.
|
TermOperationImp |
This interface specifies a term operation, that is, the interpretation
of a term in an algebra.
|
Copyright 2003 Ralph Freese. All Rights Reserved.