Uses of Class
org.jmlspecs.models.JMLEqualsToObjectRelation

Packages that use JMLEqualsToObjectRelation

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

Subclasses of JMLEqualsToObjectRelation in org.jmlspecs.models

class

JMLEqualsToObjectMap 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 JMLEqualsToObjectRelation

static JMLEqualsToObjectRelation

JMLEqualsToObjectRelation.EMPTY The empty JMLEqualsToObjectRelation.

Methods in org.jmlspecs.models that return JMLEqualsToObjectRelation

JMLEqualsToObjectRelation	JMLObjectToEqualsRelation.inverse() Returns the inverse of this relation.
static JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.singleton(Object dv, Object rv) Return the singleton relation containing the given association.
static JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.singleton(JMLEqualsObjectPair pair) Return the singleton relation containing the association described by the given pair.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.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.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.insert(JMLEqualsObjectPair pair) Return a relation that is just like this relation, except that it also includes the association described by the given pair.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.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.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.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.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.remove(JMLEqualsObjectPair pair) Return a relation that is just like this relation, except that it does not contain association described by the given pair.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.union(JMLEqualsToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.intersection(JMLEqualsToObjectRelation othRel) Return a relation that is the intersection of this and the given relation.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.difference(JMLEqualsToObjectRelation othRel) Return a relation that is the difference between this and the given relation.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.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.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.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.

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

JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.union(JMLEqualsToObjectRelation othRel) Return a relation that union of the this and the given relation.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.intersection(JMLEqualsToObjectRelation othRel) Return a relation that is the intersection of this and the given relation.
JMLEqualsToObjectRelation	JMLEqualsToObjectRelation.difference(JMLEqualsToObjectRelation othRel) Return a relation that is the difference between this and the given relation.

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

JMLEqualsToObjectRelationEnumerator(JMLEqualsToObjectRelation rel)
Initialize this with the given relation.

JMLEqualsToObjectRelationImageEnumerator(JMLEqualsToObjectRelation rel)
Initialize this with the given relation.