JML

Uses of Class
org.jmlspecs.models.JMLEqualsSet

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

Fields in org.jmlspecs.models declared as JMLEqualsSet
protected  JMLEqualsSet JMLEqualsToValueRelation.domain_
          The set of elements in the domain of this relation.
static JMLEqualsSet JMLEqualsSet.EMPTY
          The empty JMLEqualsSet.
protected  JMLEqualsSet JMLEqualsToObjectRelation.domain_
          The set of elements in the domain of this relation.
protected  JMLEqualsSet JMLEqualsToEqualsRelation.domain_
          The set of elements in the domain of this relation.
 

Methods in org.jmlspecs.models that return JMLEqualsSet
 JMLEqualsSet JMLEqualsToValueRelation.inverseElementImage(JMLType rv)
          Return a set of all the domain elements that relate to the given range element.
 JMLEqualsSet JMLEqualsToValueRelation.inverseImage(JMLValueSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 JMLEqualsSet JMLEqualsToValueRelation.domain()
          Returns a set containing the domain of this relation.
static JMLEqualsSet JMLEqualsSet.singleton(Object e)
          Return the singleton set containing the given element.
static JMLEqualsSet JMLEqualsSet.convertFrom(Object[] a)
          Return the set containing all the elements in the given array.
static JMLEqualsSet JMLEqualsSet.convertFrom(Collection c)
          Return the set containing all the object in the given collection.
static JMLEqualsSet JMLEqualsSet.convertFrom(JMLCollection c)
          Return the set containing all the object in the given JMLCollection.
 JMLEqualsSet JMLEqualsSet.insert(Object elem)
          Returns a new set that contains all the elements of this and also the given argument.
protected  JMLEqualsSet JMLEqualsSet.fast_insert(Object elem)
          Returns a new set that contains all the elements of this and also the given argument, assuming the argument is not in the set.
 JMLEqualsSet JMLEqualsSet.remove(Object elem)
          Returns a new set that contains all the elements of this except for the given argument.
 JMLEqualsSet JMLEqualsSet.intersection(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in both this and the given argument.
 JMLEqualsSet JMLEqualsSet.union(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in either this or the given argument.
 JMLEqualsSet JMLEqualsSet.difference(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in this but not in the given argument.
 JMLEqualsSet JMLEqualsSet.powerSet()
          Returns a new set that is the set of all subsets of this.
 JMLEqualsSet JMLValueToEqualsRelation.elementImage(JMLType dv)
          Returns a set containing all the range elements that this relation relates to the given domain element.
 JMLEqualsSet JMLValueToEqualsRelation.image(JMLValueSet dom)
          Returns a set containing all the range elements that this relation relates to the elements of the given set of domain elements.
 JMLEqualsSet JMLValueToEqualsRelation.range()
          Returns a set containing the range of this relation.
 JMLEqualsSet JMLObjectToEqualsRelation.elementImage(Object dv)
          Returns a set containing all the range elements that this relation relates to the given domain element.
 JMLEqualsSet JMLObjectToEqualsRelation.image(JMLObjectSet dom)
          Returns a set containing all the range elements that this relation relates to the elements of the given set of domain elements.
 JMLEqualsSet JMLObjectToEqualsRelation.range()
          Returns a set containing the range of this relation.
 JMLEqualsSet JMLEqualsSequence.toSet()
          Return a new JMLEqualsSet containing all the elements of this.
 JMLEqualsSet JMLEqualsToObjectRelation.inverseElementImage(Object rv)
          Return a set of all the domain elements that relate to the given range element.
 JMLEqualsSet JMLEqualsToObjectRelation.inverseImage(JMLObjectSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 JMLEqualsSet JMLEqualsToObjectRelation.domain()
          Returns a set containing the domain of this relation.
 JMLEqualsSet JMLEqualsBag.toSet()
          Return a new JMLEqualsSet containing all the elements of this.
 JMLEqualsSet JMLEqualsToEqualsRelation.elementImage(Object dv)
          Returns a set containing all the range elements that this relation relates to the given domain element.
 JMLEqualsSet JMLEqualsToEqualsRelation.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.
 JMLEqualsSet JMLEqualsToEqualsRelation.inverseElementImage(Object rv)
          Return a set of all the domain elements that relate to the given range element.
 JMLEqualsSet JMLEqualsToEqualsRelation.inverseImage(JMLEqualsSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 JMLEqualsSet JMLEqualsToEqualsRelation.domain()
          Returns a set containing the domain of this relation.
 JMLEqualsSet JMLEqualsToEqualsRelation.range()
          Returns a set containing the range of this relation.
 

Methods in org.jmlspecs.models with parameters of type JMLEqualsSet
 JMLValueSet JMLEqualsToValueRelation.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.
 JMLEqualsToValueRelation 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.
 boolean JMLEqualsSet.isSubset(JMLEqualsSet s2)
          Tells whether this set is a subset of or equal to the argument.
 boolean JMLEqualsSet.isProperSubset(JMLEqualsSet s2)
          Tells whether this set is a subset of but not equal to the argument.
 boolean JMLEqualsSet.isSuperset(JMLEqualsSet s2)
          Tells whether this set is a superset of or equal to the argument.
 boolean JMLEqualsSet.isProperSuperset(JMLEqualsSet s2)
          Tells whether this set is a superset of but not equal to the argument.
 JMLEqualsSet JMLEqualsSet.intersection(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in both this and the given argument.
 JMLEqualsSet JMLEqualsSet.union(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in either this or the given argument.
 JMLEqualsSet JMLEqualsSet.difference(JMLEqualsSet s2)
          Returns a new set that contains all the elements that are in this but not in the given argument.
 JMLValueSet JMLValueToEqualsRelation.inverseImage(JMLEqualsSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 JMLValueToEqualsRelation JMLValueToEqualsRelation.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.
 JMLObjectSet JMLObjectToEqualsRelation.inverseImage(JMLEqualsSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 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.
 JMLEqualsToValueMap JMLEqualsToValueMap.restrictedTo(JMLEqualsSet dom)
          Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
 JMLObjectToEqualsMap JMLObjectToEqualsMap.rangeRestrictedTo(JMLEqualsSet rng)
          Return a new map that is like this map but only contains associations that map to range elements in the given set.
 JMLValueToEqualsMap JMLValueToEqualsMap.rangeRestrictedTo(JMLEqualsSet rng)
          Return a new map that is like this map but only contains associations that map to range elements in the given set.
 JMLObjectSet JMLEqualsToObjectRelation.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.
 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.
 JMLEqualsToObjectMap JMLEqualsToObjectMap.restrictedTo(JMLEqualsSet dom)
          Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
 JMLEqualsSet JMLEqualsToEqualsRelation.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.
 JMLEqualsSet JMLEqualsToEqualsRelation.inverseImage(JMLEqualsSet rng)
          Return a set of all the domain elements that relate to some element in the given set of range elements.
 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.
 JMLEqualsToEqualsMap JMLEqualsToEqualsMap.restrictedTo(JMLEqualsSet dom)
          Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
 JMLEqualsToEqualsMap JMLEqualsToEqualsMap.rangeRestrictedTo(JMLEqualsSet rng)
          Return a new map that is like this map but only contains associations that map to range elements in the given set.
 

Constructors in org.jmlspecs.models with parameters of type JMLEqualsSet
JMLEqualsToValueRelation(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this using the given representation.
JMLEqualsSetEnumerator(JMLEqualsSet s)
          Initialize this with the given set.
JMLEqualsToValueMap(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this map based on the representation values given.
JMLEqualsToObjectRelation(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this using the given representation.
JMLEqualsToObjectMap(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this map based on the representation values given.
JMLEqualsToEqualsRelation(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this using the given representation.
JMLEqualsToEqualsMap(JMLValueSet ipset, JMLEqualsSet dom, int sz)
          Initialize this map based on the representation values given.
 


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.