Uses of Interface
org.zedlib.Relation

Uses of Relation in org.zedlib

Subinterfaces of Relation in org.zedlib

interface	Bag Bags are collections of elements of X in which the number of times an element occurs is significant.
interface	Function This class provides similar functionality to java.util.Map, however, it is properly descended from a Set (org.zedlib.Set, hence implements the java.util.Set interface).
interface	Sequence A sequence is a type of function that maps an integer (usually representing an ordering) to an object.

Classes in org.zedlib that implement Relation

class	HashBag Bags are collections of elements of X in which the number of times an element occurs is significant.
class	HashFun This class provides similar functionality to java.util.Map, however, it is properly descended from a Set (org.zedlib.Set, hence implements the java.util.Set interface).
class	HashRel A relation is a set of relationships between two objects.
class	HashSeq A sequence is a type of function that maps an integer (usually representing an ordering) to an object.

Methods in org.zedlib that return Relation

Relation	Set.identity() Constructs a relation mapping each value in this set onto itself.
Relation	Set.cartesianProduct(Set y) Constructs the cartesian product (X x Y) of two sets X and Y.
Relation	Relation.domainRestriction(Set s) Returns a relation being only those maplets in this relation whose x in (x,y) appear in the given set.
Relation	Relation.domainAntiRestriction(Set s) Returns a relation being those maplets in this relation whose x in (x,y) do not appear in the given set.
Relation	Relation.rangeRestriction(Set t) Returns a relation containing only those maplets of this relation whose y in (x,y) appear in the given set.
Relation	Relation.rangeAntiRestriction(Set t) Returns a relation containing those maplets in this relation whose y in (x,y) do not appear in the given set.
Relation	Relation.inverse() Returns the relational inverse of this relation, thus each maplet (x,y) is inverted to (y,x).
Relation	Relation.composition(Relation r) Returns the relational composition of this relation and another given relation, thus if (x,y) exists in this relation Q and (y,z) exists in R then (x,z) appears in the composed relation.
Relation	Relation.override(Relation r) Returns a relation being this relation overridden with a given relation.
Relation	Relation.transitiveClosure() Returns the transitive closure of this relation.
Relation	HashSet.identity() Constructs a relation mapping each value in this set onto itself.
Relation	HashSet.cartesianProduct(Set y) Constructs the cartesian product (X x Y) of two sets X and Y.
Relation	HashRel.domainRestriction(Set s) Returns a relation being only those maplets in this relation whose x in (x,y) appear in the given set.
Relation	HashRel.domainAntiRestriction(Set s) Returns a relation being those maplets in this relation whose x in (x,y) do not appear in the given set.
Relation	HashRel.rangeRestriction(Set t) Returns a relation containing only those maplets of this relation whose y in (x,y) appear in the given set.
Relation	HashRel.rangeAntiRestriction(Set t) Returns a relation containing those maplets in this relation whose y in (x,y) do not appear in the given set.
Relation	HashRel.inverse() Returns the relational inverse of this relation, thus each maplet (x,y) is inverted to (y,x).
Relation	HashRel.composition(Relation r) Returns the relational composition of this relation and another given relation, thus if (x,y) exists in this relation Q and (y,z) exists in R then (x,z) appears in the composed relation.
Relation	HashRel.override(Relation r) Returns a relation being this relation overridden with a given relation.
Relation	HashRel.transitiveClosure() Returns the transitive closure of this relation.

Methods in org.zedlib with parameters of type Relation

Relation	Relation.composition(Relation r) Returns the relational composition of this relation and another given relation, thus if (x,y) exists in this relation Q and (y,z) exists in R then (x,z) appears in the composed relation.
Relation	Relation.override(Relation r) Returns a relation being this relation overridden with a given relation.
Relation	HashRel.composition(Relation r) Returns the relational composition of this relation and another given relation, thus if (x,y) exists in this relation Q and (y,z) exists in R then (x,z) appears in the composed relation.
Relation	HashRel.override(Relation r) Returns a relation being this relation overridden with a given relation.

Constructors in org.zedlib with parameters of type Relation

HashRel(Relation r)
Constructs a relation from the given relation R.