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.