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:
isReflexive() = true
isSymmetric() = true
isTransitive() = true
contains(Object dom, Object rng)
must be consistent with the above.
- Author:
- Jaroslav Gergic
- See Also:
RelationalProperty
,
Equivalence relation (Wikipedia)