cz.cuni.versatile.api
Interface Equivalence

All Superinterfaces:
Property, RelationalProperty

public interface Equivalence
extends RelationalProperty

Equivalence is a marker interface to denote a commonly used specialization of RelationalProperty.

It does not introduce any new methods, however, it imposes restrictions on several methods of its parent RelationalProperty interface. The following rules must hold for any Equivalence implementation to be a valid implementation:

Author:
Jaroslav Gergic
See Also:
RelationalProperty, Equivalence relation (Wikipedia)

Methods inherited from interface cz.cuni.versatile.api.RelationalProperty
contains, isAntisymmetric, isAsymetric, isIrreflexive, isReflexive, isSymmetric, isTransitive
 
Methods inherited from interface cz.cuni.versatile.api.Property
getLocalName, getNamespace, getSeparator, getType, getUniqueName