Uses of Class
org.jmlspecs.models.JMLObjectToEqualsRelation

Packages that use JMLObjectToEqualsRelation

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 JMLObjectToEqualsRelation in org.jmlspecs.models

Subclasses of JMLObjectToEqualsRelation in org.jmlspecs.models

class

JMLObjectToEqualsMap 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 JMLObjectToEqualsRelation

static JMLObjectToEqualsRelation

JMLObjectToEqualsRelation.EMPTY The empty JMLObjectToEqualsRelation.

Methods in org.jmlspecs.models that return JMLObjectToEqualsRelation

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

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

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

JMLObjectToEqualsRelationImageEnumerator(JMLObjectToEqualsRelation rel)
Initialize this with the given relation.

JMLObjectToEqualsRelationEnumerator(JMLObjectToEqualsRelation rel)
Initialize this with the given relation.