|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| 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 Summary | |
|---|---|
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||