Members list
Value members
Concrete methods
Constructs a new immutable, finite relation that is initially empty.
Constructs a new immutable, finite relation that is initially empty.
Attributes
Constructs a Relation from underlying forward and reverse representations, without
checking that they are consistent. This is a low-level constructor and the alternatives
empty and reconstruct should be preferred.
Constructs a Relation from underlying forward and reverse representations, without
checking that they are consistent. This is a low-level constructor and the alternatives
empty and reconstruct should be preferred.
Attributes
Constructs a relation such that for every entry _1 -> _2s in forward and every _2 in
_2s, (_1, _2) is in the relation.
Constructs a relation such that for every entry _1 -> _2s in forward and every _2 in
_2s, (_1, _2) is in the relation.