|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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!) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |