cz.cuni.versatile.api.relops
Interface InverseOf

All Superinterfaces:
RelationalOperator

public interface InverseOf
extends RelationalOperator

InverseOf implementations inverse RelationalProperty properties thus constructing an inverse binary relation for a given relation represented by a RelationalProperty. By inverse binary relation we understand a relation, where domain and range are swapped and
for all x, y: P.contains(x, y) = true <-> InverseOf(P).contains(y, x) = true

Note: A generic implementation of this interface is feasible which constructs inverse properties on the fly.

Author:
Jaroslav Gergic

Method Summary
 RelationalProperty inverseOf(RelationalProperty source)
          Returns a RelationalProperty which corresponds to an inverse binary relation to the source RelationalProperty.
 

Method Detail

inverseOf

public RelationalProperty inverseOf(RelationalProperty source)
Returns a RelationalProperty which corresponds to an inverse binary relation to the source RelationalProperty.

Parameters:
source - a source relational property