Subinterfaces of RelationalOperator in cz.cuni.versatile.api.relops |
interface |
InverseOf
InverseOf implementations inverse RelationalProperty properties
thus constructing an inverse binary relation for a given relation represented by a RelationalProperty .
|
interface |
ReflexiveClosure
ReflexiveClosure operator turns an input binary relation represented by a RelationalProperty
into a reflexive binary relation.
|
interface |
SymmetricClosure
SymmetricClosure operator turns a source binary relation represented by a RelationalProperty
into a symmetric binary relation.
|
interface |
TotalOrder
TotalOrder operator constructs a total order as an extension of a given source OrderProperty .
|
interface |
TransitiveClosure
TransitiveClosure operator builds a transitive closure of a source RelationalProperty
so that the resulting RelationalProperty represents a transitive binary relation.
|