| Method Summary |
|
| public JMLEqualsToValueRelation | add(Object dv, JMLType rv)
Return a relation that is just like this relation, except that
it also associates the given domain element to the given range
element. |
| public JMLEqualsToValueRelationEnumerator | associations()
Return a enumerator for the set of associations that
conceptually make up this relation. |
| public Object | clone()
Return a clone of this object. |
| public JMLValueToValueRelation | compose(JMLValueToEqualsRelation othRel)
Return a relation that is the composition of the given
relation and this relation. |
| public JMLObjectToValueRelation | compose(JMLObjectToEqualsRelation othRel)
Return a relation that is the composition of the given
relation and this relation. |
| public JMLEqualsToValueRelation | difference(JMLEqualsToValueRelation othRel)
Return a relation that is the difference between this and the given
relation. |
| public JMLEqualsSet | domain()
Returns a set containing the domain of this relation. |
| public JMLEqualsSetEnumerator | domainElements()
Return a enumerator for the set that is the domain of this
relation. |
| public JMLValueSet | elementImage(Object dv)
Returns a set containing all the range elements that this
relation relates to the given domain element. |
| public JMLEqualsToValueRelationEnumerator | elements()
Return a enumerator for the set of associations that
conceptually make up this relation. |
| public boolean | equals(Object obj)
Test whether this object's value is equal to the given argument. |
| public boolean | has(Object dv, JMLType rv)
Tells whether this associates the given key to the given value. |
| public boolean | has(JMLEqualsValuePair pair)
Tells whether this associates the given key to the given value. |
| public boolean | has(Object obj)
Tells whether this associates the given key to the given value. |
| public int | hashCode()
Return a hash code for this object. |
| public JMLValueSet | image(JMLEqualsSet dom)
Returns a set containing all the range elements that this
relation relates to the elements of the given set of domain elements. |
| public JMLValueSet | imagePairSet()
Return the set of image set pairs that make up this relation. |
| public JMLEqualsToValueRelationImageEnumerator | imagePairs()
Return the set of domain image set pairs that make up this relation. |
| public JMLEqualsToValueRelation | insert(JMLEqualsValuePair pair)
Return a relation that is just like this relation, except that
it also includes the association described by the given pair. |
| public int | int_size()
Return the number of associations in this relation. |
| public JMLEqualsToValueRelation | intersection(JMLEqualsToValueRelation othRel)
Return a relation that is the intersection of this and the
given relation. |
| public JMLValueToEqualsRelation | inverse()
Returns the inverse of this relation. |
| public JMLEqualsSet | inverseElementImage(JMLType rv)
Return a set of all the domain elements that relate to the
given range element. |
| public JMLEqualsSet | inverseImage(JMLValueSet rng)
Return a set of all the domain elements that relate to some
element in the given set of range elements. |
| public boolean | isDefinedAt(Object dv)
Tells whether this relation associates any range element to the
given domain element. |
| public boolean | isEmpty()
Tells whether the relation is empty. |
| public boolean | isaFunction()
Tells whether this relation is a function. |
| public JMLIterator | iterator()
Returns an Iterator over the set of pairs conceptually
contained in this relation.. |
| public JMLValueSet | range()
Returns a set containing the range of this relation. |
| public JMLValueSetEnumerator | rangeElements()
Return a enumerator for the set that is the range of this
relation. |
| public JMLEqualsToValueRelation | remove(Object dv, JMLType rv)
Return a relation that is just like this relation, except that
it does not contain the association, if any, between the given
domain and range elements. |
| public JMLEqualsToValueRelation | remove(JMLEqualsValuePair pair)
Return a relation that is just like this relation, except that
it does not contain association described by the given pair. |
| public JMLEqualsToValueRelation | removeFromDomain(Object dv)
Return a relation that is just like this relation, except that
it does not contain any association with the given domain element. |
| public JMLEqualsToValueRelation | restrictDomainTo(JMLEqualsSet dom)
Return a relation that is like this relation except that its
domain is limited to just the elements of the given set. |
| public JMLEqualsToValueRelation | restrictRangeTo(JMLValueSet rng)
Return a relation that is like this relation except that its
range is limited to just the elements of the given set. |
| public static JMLEqualsToValueRelation | singleton(Object dv, JMLType rv)
Return the singleton relation containing the given association. |
| public static JMLEqualsToValueRelation | singleton(JMLEqualsValuePair pair)
Return the singleton relation containing the association
described by the given pair. |
| public JMLValueBag | toBag()
Return the bag of all associations in this relation. |
| public JMLEqualsToValueMap | toFunction()
Return a map that is contained in this relation. |
| public JMLValueSequence | toSequence()
Return a sequence containing all associations in this relation. |
| public JMLValueSet | toSet()
Return the set of all associations in this relation. |
| public String | toString()
Return a string representation of this object. |
| public JMLEqualsToValueRelation | union(JMLEqualsToValueRelation othRel)
Return a relation that union of the this and the given relation. |
