Package ro.mosc.reco.algebra

Interface Summary
RelationResolver Interface for classes responsible for calculating characteristic predicate value for a given relation.
 

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.