Package ro.mosc.reco.algebra.exceptions

Exception Summary
NoIsomorphismsException Exception thrownd when trying to find isomorphisim between two not isomorphic algebras.
RelationResolverException Exception throw when a given algebra is not able to determinate a characteristic predicate value for a certain relation.
SortNotSupported Exception thrown when trying to add an element to an algebra, but the algebra does not contains this type.