Uses of Class
edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Packages that use SimTupleset

edu.mit.csail.sdg.alloy4compiler.sim

This package contains a pure-Java evaluator/simulator for Alloy4 instances.

Uses of SimTupleset in edu.mit.csail.sdg.alloy4compiler.sim

Fields in edu.mit.csail.sdg.alloy4compiler.sim declared as SimTupleset

static SimTupleset

SimTupleset.EMPTY The tupleset containing no tuples.

Methods in edu.mit.csail.sdg.alloy4compiler.sim that return SimTupleset

SimTupleset	SimTupleset.beginWith(SimTuple x) Return the set of tuples which begins with the given tuple (where we remove the "matching leading part")
SimTupleset	SimTupleset.closure() Returns the closure of this tupleset (NOTE: if this.arity!=2, we will return an empty set)
SimTupleset	SimInstance.cset(Expr x) Convenience method that evalutes x and cast the result to be a tupleset
SimTupleset	SimTupleset.difference(SimTuple that) Return this minus that; (if this tupleset and that tuple does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.difference(SimTupleset that) Return this minus that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.domain(SimTupleset that) Returns this<:that (NOTE: if this.arity!=1, then we return the empty set)
SimTupleset	SimTupleset.endWith(SimTuple x) Return the set of tuples which ends with the given tuple (where we remove the "matching trailing part")
SimTupleset	SimTupleset.head(int n) Return the tupleset where each tuple is truncated to the first N atoms; if n is zero or negative, we return the emptyset; if n >= this.arity, we return this as is.
SimTupleset	SimTupleset.iden() Return the identity over this tupleset; (if this tupleset's arity is not 1, then we return an emptyset) Note: the result's tuple order is the same as this tupleset's tuple order.
SimTupleset	SimTupleset.intersect(SimTupleset that) Return the intersection of this and that.
SimTupleset	SimTupleset.join(SimTupleset that) Return the relational join between this and that (throws ErrorType if this.arity==1 and that.arity==1)
static SimTupleset	SimTupleset.make(java.util.Collection<SimTuple> tuples) Make a tupleset containing a deep copy of the given list of tuples (Note: caller MUST make sure there are no duplicates, and all tuples are of same arity!)
static SimTupleset	SimTupleset.make(int min, int max) Construct the set containing integers between min and max (inclusively).
static SimTupleset	SimTupleset.make(SimTuple tuple) Construct a tupleset containing the given tuple.
static SimTupleset	SimTupleset.make(java.lang.String atom) Make a tupleset containing the given atom.
static SimTupleset	SimTupleset.makenext(int min, int max) Construct the set containing (min,min+1)...(max-1,max)
SimTupleset	SimTupleset.override(SimTuple that) Return the relational override of this and that; (if this tupleset and that tuple does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.override(SimTupleset that) Return the relational override of this and that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.product(SimTupleset that) Return the cartesian product of this and that.
SimTupleset	SimTupleset.range(SimTupleset that) Returns this:>that (NOTE: if that.arity!=1, then we return the empty set)
SimTupleset	SimTupleset.removeAll(SimAtom that) Return this minus any tuple that contains the given atom.
SimTupleset	SimTupleset.tail(int n) Return the tupleset where each tuple is truncated to the last N atoms; if n is zero or negative, we return the emptyset; if n >= this.arity, we return this as is.
SimTupleset	SimTupleset.transpose() Return the transpose of this tupleset; (if this tupleset's arity is not 2, we'll return an empty set instead)
SimTupleset	SimTupleset.union(SimTuple that) Return the union of this and that; (if this tupleset and that tuple does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.union(SimTupleset that) Return the union of this and that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimInstance.visit(Sig.Field x) Visits a Field node.
SimTupleset	SimInstance.visit(Sig x) Visits a Sig node.

Methods in edu.mit.csail.sdg.alloy4compiler.sim that return types with arguments of type SimTupleset

java.util.Iterator<SimTupleset>	SimTupleset.loneOf() Return an iterator over all subset x of this where x.size<=1
java.util.Iterator<SimTupleset>	SimTupleset.oneOf() Return an iterator over all subset x of this where x.size==1
java.util.Iterator<SimTupleset>	SimTupleset.setOf() Return an iterator over all subset x of this
java.util.Iterator<SimTupleset>	SimTupleset.someOf() Return an iterator over all subset x of this where x.size>=1

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type SimTupleset

SimTupleset	SimTupleset.difference(SimTupleset that) Return this minus that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.domain(SimTupleset that) Returns this<:that (NOTE: if this.arity!=1, then we return the empty set)
boolean	SimTupleset.equals(SimTupleset that) Returns true if this contains the same tuples as that.
boolean	SimTupleset.in(SimTupleset that) Returns true if this is a subset of that.
void	SimInstance.init(ExprVar var, SimTupleset value) Initializes the given var to be associated with the given unary value; should only be called at the beginning.
void	SimInstance.init(Sig.Field field, SimTupleset value) Initializes the given field to be associated with the given unary value; should only be called at the beginning.
void	SimInstance.init(Sig sig, SimTupleset value) Initializes the given sig to be associated with the given unary value; should only be called at the beginning.
SimTupleset	SimTupleset.intersect(SimTupleset that) Return the intersection of this and that.
boolean	SimTupleset.intersects(SimTupleset that) Return true if the intersection of this and that is nonempty.
SimTupleset	SimTupleset.join(SimTupleset that) Return the relational join between this and that (throws ErrorType if this.arity==1 and that.arity==1)
SimTupleset	SimTupleset.override(SimTupleset that) Return the relational override of this and that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).
SimTupleset	SimTupleset.product(SimTupleset that) Return the cartesian product of this and that.
SimTupleset	SimTupleset.range(SimTupleset that) Returns this:>that (NOTE: if that.arity!=1, then we return the empty set)
boolean	SimTupleset.totalOrder(SimTupleset elem, SimTupleset first) Return true if this is a total ordering over "elem", with "first" being the first element of the total order.
SimTupleset	SimTupleset.union(SimTupleset that) Return the union of this and that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).

Method parameters in edu.mit.csail.sdg.alloy4compiler.sim with type arguments of type SimTupleset

java.lang.Object

SimCallback.compute(Func predicateOrFunction, java.util.List<SimTupleset> arguments) This method accepts a function, a list of arguments, and should return either a java Boolean, java Integer, or a SimTupleset, (or null if it chooses NOT to handle this call)