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

Packages that use SimAtom

edu.mit.csail.sdg.alloy4compiler.sim

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

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

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

static SimAtom	SimAtom.EMPTYSTRING Preconstructed atom representing emptystring.
static SimAtom	SimAtom.ONE Preconstructed atom representing 1.
static SimAtom	SimAtom.ZERO Preconstructed atom representing 0.

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

SimAtom	SimTuple.get(int i) Return the i-th atom from this tuple.
SimAtom	SimTupleset.getAtom() Returns an arbitrary atom from an arbitrary tuple.
SimAtom	SimTuple.head() Returns the first atom of this tuple.
static SimAtom	SimAtom.make(int i) Construct a SimAtom for the given integer, or if an existing SimAtom hasn't been garbage collected yet then return that instead.
static SimAtom	SimAtom.make(long i) Construct a SimAtom for the given integer, or if an existing SimAtom hasn't been garbage collected yet then return that instead.
static SimAtom	SimAtom.make(java.lang.String label) Construct a SimAtom for the given label, or if an existing SimAtom hasn't been garbage collected yet then return that instead.
SimAtom	SimInstance.makeAtom(Sig sig) Create a fresh atom for the given sig, then return the newly created atom.
SimAtom	SimTuple.tail() Returns the last atom of this tuple.

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

java.util.List<SimAtom>	SimTupleset.getAllAtoms(int column) Returns a modifiable copy of the list of all i-th atom from all tuples in some arbitrary order (0 is first atom, 1 is second atom...)
java.util.Iterator<SimAtom>	SimTuple.iterator()

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

SimTuple	SimTuple.append(SimAtom atom) Append the given atom to the back of this tuple, then return the resulting new Tuple.
boolean	SimInstance.deleteAtom(SimAtom atom) Delete an atom from all sigs/fields/skolem...
boolean	SimTuple.has(SimAtom atom) Returns true if this tuple contains at least one occurrence of the given atom.
boolean	SimTupleset.has(SimAtom that) Returns true if this tupleset is unary and contains the given atom.
boolean	SimInstance.hasAtom(SimAtom atom) Returns true if the given atom is an Int atom, or String atom, or is in at least one of the sig.
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)
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.
SimTupleset	SimTupleset.removeAll(SimAtom that) Return this minus any tuple that contains the given atom.
SimTuple	SimTuple.replace(int i, SimAtom newAtom) Replace the i-th atom, and return the resulting SimTuple.

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

static SimTuple	SimTuple.make(java.util.List<SimAtom> list) Construct the n-ary tuple; throws an exception if the given list is empty.
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.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.