|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ReflexiveClosure
operator turns an input binary relation represented by a RelationalProperty
into a reflexive binary relation.
In case the source property is already reflexive, the operator should return the source property.
Note: A generic implementation of this interface is feasible which constructs reflexive closures on the fly.
RelationalProperty.isReflexive()
Method Summary | |
RelationalProperty |
reflexiveClosure(RelationalProperty source)
Returns a RelationalProperty which corresponds to a reflexive closure of the source binary relation. |
Method Detail |
public RelationalProperty reflexiveClosure(RelationalProperty source)
RelationalProperty
which corresponds to a reflexive closure of the source binary relation.
source
- a source relational property
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |