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

Packages that use SimTuple
edu.mit.csail.sdg.alloy4compiler.sim This package contains a pure-Java evaluator/simulator for Alloy4 instances. 
 

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

Methods in edu.mit.csail.sdg.alloy4compiler.sim that return SimTuple
 SimTuple SimTuple.append(SimAtom atom)
          Append the given atom to the back of this tuple, then return the resulting new Tuple.
 SimTuple SimTupleset.getTuple()
          Returns an arbitrary tuple.
 SimTuple SimTuple.head(int n)
          Returns the subtuple containing the first n atoms (n must be between 1 and arity)
 SimTuple SimTuple.join(SimTuple that)
          Return the relational join of this tuple and that tuple; throws an exception if the join point doesn't match or if both sides are unary.
static SimTuple SimTuple.make(java.util.List<SimAtom> list)
          Construct the n-ary tuple; throws an exception if the given list is empty.
static SimTuple SimTuple.make(SimAtom atom)
          Construct the unary tuple containing the given atom.
static SimTuple SimTuple.make(SimAtom a, SimAtom b)
          Construct the binary tuple (a,b)
static SimTuple SimTuple.make(java.lang.String atom)
          Construct the unary tuple containing the given atom.
static SimTuple SimTuple.make(java.lang.String[] atoms)
          Construct the tuple containing the given list of atoms; the list must not be empty.
 SimTuple SimTuple.prepend(SimAtom atom)
          Prepend the given atom to the front of this tuple, then return the resulting new Tuple.
 SimTuple SimAtom.product(SimAtom that)
          Return the product of this atom and that atom.
 SimTuple SimTuple.product(SimTuple that)
          Return the product of this tuple and that tuple.
 SimTuple SimTuple.replace(int i, SimAtom newAtom)
          Replace the i-th atom, and return the resulting SimTuple.
 SimTuple SimTuple.replace(java.util.Map<SimAtom,SimAtom> map)
          Replace each atom using the given SimAtom->SimAtom map; any atom not in the map will stay unchanged.
 SimTuple SimTuple.tail(int n)
          Returns the subtuple containing the last n atoms (n must be between 1 and arity)
 

Methods in edu.mit.csail.sdg.alloy4compiler.sim that return types with arguments of type SimTuple
 java.util.Iterator<SimTuple> SimTupleset.iterator()
          Returns a read-only iterator over the tuples.
 

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type SimTuple
 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.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.endWith(SimTuple x)
          Return the set of tuples which ends with the given tuple (where we remove the "matching trailing part")
 boolean SimTupleset.has(SimTuple that)
          Returns true if this tupleset contains the given tuple.
 boolean SimInstance.isIn(SimTuple a, Expr b)
          Helper method that evaluates the formula "a in b" where b.mult==0
 SimTuple SimTuple.join(SimTuple that)
          Return the relational join of this tuple and that tuple; throws an exception if the join point doesn't match or if both sides are unary.
static SimTupleset SimTupleset.make(SimTuple tuple)
          Construct a tupleset containing the given tuple.
 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).
 SimTuple SimTuple.product(SimTuple that)
          Return the product of this tuple and that tuple.
 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).
 

Method parameters in edu.mit.csail.sdg.alloy4compiler.sim with type arguments of type SimTuple
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!)