JML

Uses of Class
org.jmlspecs.models.JMLEqualsToEqualsRelation

Packages that use JMLEqualsToEqualsRelation
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 JMLEqualsToEqualsRelation in org.jmlspecs.models
 

Subclasses of JMLEqualsToEqualsRelation in org.jmlspecs.models
 class JMLEqualsToEqualsMap
          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 JMLEqualsToEqualsRelation
static JMLEqualsToEqualsRelation JMLEqualsToEqualsRelation.EMPTY
          The empty JMLEqualsToEqualsRelation.
 

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

Methods in org.jmlspecs.models with parameters of type JMLEqualsToEqualsRelation
 JMLEqualsToEqualsRelation JMLEqualsToEqualsRelation.union(JMLEqualsToEqualsRelation othRel)
          Return a relation that union of the this and the given relation.
 JMLEqualsToEqualsRelation JMLEqualsToEqualsRelation.intersection(JMLEqualsToEqualsRelation othRel)
          Return a relation that is the intersection of this and the given relation.
 JMLEqualsToEqualsRelation JMLEqualsToEqualsRelation.difference(JMLEqualsToEqualsRelation othRel)
          Return a relation that is the difference between this and the given relation.
 

Constructors in org.jmlspecs.models with parameters of type JMLEqualsToEqualsRelation
JMLEqualsToEqualsRelationEnumerator(JMLEqualsToEqualsRelation rel)
          Initialize this with the given relation.
JMLEqualsToEqualsRelationImageEnumerator(JMLEqualsToEqualsRelation rel)
          Initialize this with the given relation.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.