Binary relation between A and B. It is a set of pairs (_1, _2) for _1 in A, _2 in B.
- Companion:
- object
Value members
Abstract methods
Returns the union of the relation r
with this relation.
Returns the union of the relation r
with this relation.
Removes all elements (_1, _2)
for all _1
in _1s
from this relation.
Removes all elements (_1, _2)
for all _1
in _1s
from this relation.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Returns a relation with only pairs (a,b)
for which f(a,b)
is true.
Returns a relation with only pairs (a,b)
for which f(a,b)
is true.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _1
to the set of _2
s such that (_1, _2)
is in
this relation.
Represents this relation as a Map
from a _1
to the set of _2
s such that (_1, _2)
is in
this relation.
Specifically, there is one entry for each _1
such that (_1, _2)
is in this relation for
some _2
. The value associated with a given _1
is the set of all _2
s such that (_1, _2)
is in this relation.
Partitions this relation into a map of relations according to some discriminator function.
Partitions this relation into a map of relations according to some discriminator function.
Returns a pair of relations: the first contains only pairs (a,b)
for which f(a,b)
is true
and the other only pairs (a,b)
for which f(a,b)
is false.
Returns a pair of relations: the first contains only pairs (a,b)
for which f(a,b)
is true
and the other only pairs (a,b)
for which f(a,b)
is false.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _2
to the set of _1
s such that (_1, _2)
is in
this relation.
Represents this relation as a Map
from a _2
to the set of _1
s such that (_1, _2)
is in
this relation.
Specifically, there is one entry for each _2
such that (_1, _2)
is in this relation for
some _1
. The value associated with a given _2
is the set of all _1
s such that (_1, _2)
is in this relation.