Uses of Class
org.jmlspecs.models.JMLObjectSet

Packages that use JMLObjectSet

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

Fields in org.jmlspecs.models declared as JMLObjectSet

protected JMLObjectSet	JMLObjectToValueRelation.domain_ The set of elements in the domain of this relation.
protected JMLObjectSet	JMLObjectToEqualsRelation.domain_ The set of elements in the domain of this relation.
static JMLObjectSet	JMLObjectSet.EMPTY The empty JMLObjectSet.
protected JMLObjectSet	JMLObjectToObjectRelation.domain_ The set of elements in the domain of this relation.

Methods in org.jmlspecs.models that return JMLObjectSet

JMLObjectSet	JMLObjectSequence.toSet() Return a new JMLObjectSet containing all the elements of this.
JMLObjectSet	JMLObjectToValueRelation.inverseElementImage(JMLType rv) Return a set of all the domain elements that relate to the given range element.
JMLObjectSet	JMLObjectToValueRelation.inverseImage(JMLValueSet rng) Return a set of all the domain elements that relate to some element in the given set of range elements.
JMLObjectSet	JMLObjectToValueRelation.domain() Returns a set containing the domain of this relation.
JMLObjectSet	JMLObjectToEqualsRelation.inverseElementImage(Object rv) Return a set of all the domain elements that relate to the given range element.
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.
JMLObjectSet	JMLObjectToEqualsRelation.domain() Returns a set containing the domain of this relation.
static JMLObjectSet	JMLObjectSet.singleton(Object e) Return the singleton set containing the given element.
static JMLObjectSet	JMLObjectSet.convertFrom(Object[] a) Return the set containing all the elements in the given array.
static JMLObjectSet	JMLObjectSet.convertFrom(Collection c) Return the set containing all the object in the given collection.
static JMLObjectSet	JMLObjectSet.convertFrom(JMLCollection c) Return the set containing all the object in the given JMLCollection.
JMLObjectSet	JMLObjectSet.insert(Object elem) Returns a new set that contains all the elements of this and also the given argument.
protected JMLObjectSet	JMLObjectSet.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.
JMLObjectSet	JMLObjectSet.remove(Object elem) Returns a new set that contains all the elements of this except for the given argument.
JMLObjectSet	JMLObjectSet.intersection(JMLObjectSet s2) Returns a new set that contains all the elements that are in both this and the given argument.
JMLObjectSet	JMLObjectSet.union(JMLObjectSet s2) Returns a new set that contains all the elements that are in either this or the given argument.
JMLObjectSet	JMLObjectSet.difference(JMLObjectSet s2) Returns a new set that contains all the elements that are in this but not in the given argument.
JMLObjectSet	JMLObjectSet.powerSet() Returns a new set that is the set of all subsets of this.
JMLObjectSet	JMLValueToObjectRelation.elementImage(JMLType dv) Returns a set containing all the range elements that this relation relates to the given domain element.
JMLObjectSet	JMLValueToObjectRelation.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.
JMLObjectSet	JMLValueToObjectRelation.range() Returns a set containing the range of this relation.
JMLObjectSet	JMLObjectToObjectRelation.elementImage(Object dv) Returns a set containing all the range elements that this relation relates to the given domain element.
JMLObjectSet	JMLObjectToObjectRelation.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.
JMLObjectSet	JMLObjectToObjectRelation.inverseElementImage(Object rv) Return a set of all the domain elements that relate to the given range element.
JMLObjectSet	JMLObjectToObjectRelation.inverseImage(JMLObjectSet rng) Return a set of all the domain elements that relate to some element in the given set of range elements.
JMLObjectSet	JMLObjectToObjectRelation.domain() Returns a set containing the domain of this relation.
JMLObjectSet	JMLObjectToObjectRelation.range() Returns a set containing the range of this relation.
JMLObjectSet	JMLObjectBag.toSet() Return a new JMLObjectSet containing all the elements of this.
JMLObjectSet	JMLEqualsToObjectRelation.elementImage(Object dv) Returns a set containing all the range elements that this relation relates to the given domain element.
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.
JMLObjectSet	JMLEqualsToObjectRelation.range() Returns a set containing the range of this relation.

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

JMLValueSet	JMLObjectToValueRelation.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.
JMLObjectToValueRelation	JMLObjectToValueRelation.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.
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.
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.
JMLObjectToEqualsMap	JMLObjectToEqualsMap.restrictedTo(JMLObjectSet dom) Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
boolean	JMLObjectSet.isSubset(JMLObjectSet s2) Tells whether this set is a subset of or equal to the argument.
boolean	JMLObjectSet.isProperSubset(JMLObjectSet s2) Tells whether this set is a subset of but not equal to the argument.
boolean	JMLObjectSet.isSuperset(JMLObjectSet s2) Tells whether this set is a superset of or equal to the argument.
boolean	JMLObjectSet.isProperSuperset(JMLObjectSet s2) Tells whether this set is a superset of but not equal to the argument.
JMLObjectSet	JMLObjectSet.intersection(JMLObjectSet s2) Returns a new set that contains all the elements that are in both this and the given argument.
JMLObjectSet	JMLObjectSet.union(JMLObjectSet s2) Returns a new set that contains all the elements that are in either this or the given argument.
JMLObjectSet	JMLObjectSet.difference(JMLObjectSet s2) Returns a new set that contains all the elements that are in this but not in the given argument.
JMLValueSet	JMLValueToObjectRelation.inverseImage(JMLObjectSet rng) Return a set of all the domain elements that relate to some element in the given set of range elements.
JMLValueToObjectRelation	JMLValueToObjectRelation.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.
JMLValueToObjectMap	JMLValueToObjectMap.rangeRestrictedTo(JMLObjectSet rng) Return a new map that is like this map but only contains associations that map to range elements in the given set.
JMLObjectSet	JMLObjectToObjectRelation.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.
JMLObjectSet	JMLObjectToObjectRelation.inverseImage(JMLObjectSet rng) Return a set of all the domain elements that relate to some element in the given set of range elements.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.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.
JMLObjectToObjectRelation	JMLObjectToObjectRelation.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.
JMLObjectToObjectMap	JMLObjectToObjectMap.restrictedTo(JMLObjectSet dom) Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
JMLObjectToObjectMap	JMLObjectToObjectMap.rangeRestrictedTo(JMLObjectSet rng) Return a new map that is like this map but only contains associations that map to range elements in the given set.
JMLObjectToValueMap	JMLObjectToValueMap.restrictedTo(JMLObjectSet dom) Return a new map that only maps elements in the given domain to the corresponding range elements in this map.
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.
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.
JMLEqualsToObjectMap	JMLEqualsToObjectMap.rangeRestrictedTo(JMLObjectSet 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 JMLObjectSet

JMLObjectToValueRelation(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this using the given representation.

JMLObjectToEqualsRelation(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this using the given representation.

JMLObjectToEqualsMap(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this map based on the representation values given.

JMLObjectToObjectRelation(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this using the given representation.

JMLObjectToObjectMap(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this map based on the representation values given.

JMLObjectSetEnumerator(JMLObjectSet s)
Initialize this with the given set.

JMLObjectToValueMap(JMLValueSet ipset, JMLObjectSet dom, int sz)
Initialize this map based on the representation values given.