|
Class Summary |
| Algebra |
Universal algebra class. |
| Isomorphism |
Class encapsulation a mapping (as an isomorphic function) and isomorphism (similarity)
degree between two algebras |
| PermutationGenerator |
The PermutationGenerator Java class systematically generates permutations. |
| Relation |
Class encapsulation elements in a relation + characteristic predicate value,
for a given relation signature. |
| RelationSignature |
Relation signature, encapsulating relation types, arity and a distinctive name. |
| Signature |
Signature for universal algebras. |