Uses of Class
org.jmlspecs.models.JMLObjectToObjectRelation

Packages that use JMLObjectToObjectRelation

org.jmlspecs.models

This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of JMLObjectToObjectRelation in org.jmlspecs.models

Subclasses of JMLObjectToObjectRelation in org.jmlspecs.models

class

JMLObjectToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.

Fields in org.jmlspecs.models declared as JMLObjectToObjectRelation

private JMLObjectToObjectRelation	JMLObjectToObjectRelation_JML_TestData.intsToArrays
private JMLObjectToObjectRelation	JMLObjectToObjectRelation_JML_TestData.lessThan4
private JMLObjectToObjectRelation	JMLObjectToObjectRelation_JML_TestData.lessThan3
private JMLObjectToObjectRelation	JMLObjectToObjectRelation_JML_TestData.lessThan2
static JMLObjectToObjectRelation	JMLObjectToObjectRelation.EMPTY The empty JMLObjectToObjectRelation.

Methods in org.jmlspecs.models that return JMLObjectToObjectRelation

JMLObjectToObjectRelation	JMLValueToObjectRelation.compose(JMLObjectToValueRelation othRel) Return a relation that is the composition of the given relation and this relation.
static JMLObjectToObjectRelation	JMLObjectToObjectRelation.singleton(Object dv, Object rv) Return the singleton relation containing the given association.
static JMLObjectToObjectRelation	JMLObjectToObjectRelation.singleton(JMLObjectObjectPair pair) Return the singleton relation containing the association described by the given pair.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.inverse() Returns the inverse of this relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.add(Object dv, Object rv) Return a relation that is just like this relation, except that it also associates the given domain element to the given range element.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.insert(JMLObjectObjectPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.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.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.remove(Object dv, Object 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.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.remove(JMLObjectObjectPair pair) Return a relation that is just like this relation, except that it does not contain association described by the given pair.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.compose(JMLObjectToObjectRelation othRel) Return a relation that is the composition of the given relation and this relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.union(JMLObjectToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.intersection(JMLObjectToObjectRelation othRel) Return a relation that is the intersection of this and the given relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.difference(JMLObjectToObjectRelation othRel) Return a relation that is the difference between this and the given relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.restrictDomainTo(JMLObjectSet dom) Return a relation that is like this relation except that its domain is limited to just the elements of the given set.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.restrictRangeTo(JMLObjectSet rng) Return a relation that is like this relation except that its range is limited to just the elements of the given set.
JMLObjectToObjectRelation	JMLEqualsToObjectRelation.compose(JMLObjectToEqualsRelation othRel) Return a relation that is the composition of the given relation and this relation.

Methods in org.jmlspecs.models with parameters of type JMLObjectToObjectRelation

JMLObjectToValueRelation	JMLObjectToValueRelation.compose(JMLObjectToObjectRelation othRel) Return a relation that is the composition of the given relation and this relation.
JMLObjectToEqualsRelation	JMLObjectToEqualsRelation.compose(JMLObjectToObjectRelation othRel) Return a relation that is the composition of the given relation and this relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.compose(JMLObjectToObjectRelation othRel) Return a relation that is the composition of the given relation and this relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.union(JMLObjectToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.intersection(JMLObjectToObjectRelation othRel) Return a relation that is the intersection of this and the given relation.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.difference(JMLObjectToObjectRelation othRel) Return a relation that is the difference between this and the given relation.

Constructors in org.jmlspecs.models with parameters of type JMLObjectToObjectRelation

JMLObjectToObjectRelationImageEnumerator(JMLObjectToObjectRelation rel)
Initialize this with the given relation.

JMLObjectToObjectRelationEnumerator(JMLObjectToObjectRelation rel)
Initialize this with the given relation.