Uses of Class
edu.mit.csail.sdg.alloy4.ErrorAPI

Packages that use ErrorAPI

edu.mit.csail.sdg.alloy4compiler.sim	This package contains a pure-Java evaluator/simulator for Alloy4 instances.
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

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

Methods in edu.mit.csail.sdg.alloy4compiler.sim that throw ErrorAPI

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...)
SimAtom	SimTupleset.getAtom() Returns an arbitrary atom from an arbitrary tuple.
SimTuple	SimTupleset.getTuple() Returns an arbitrary tuple.
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).
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.

Uses of ErrorAPI in edu.mit.csail.sdg.alloy4compiler.translator

Methods in edu.mit.csail.sdg.alloy4compiler.translator that throw ErrorAPI

A4TupleSet	A4TupleSet.intersect(A4TupleSet that) Construct a new tupleset as the intersection of this and that; this and that must be come from the same solution.
static A4Options.SatSolver	A4Options.SatSolver.make(java.lang.String id, java.lang.String toString, java.lang.String external) Constructs a new SatSolver value that uses a command-line solver; throws ErrorAPI if the ID is already in use.
static A4Options.SatSolver	A4Options.SatSolver.make(java.lang.String id, java.lang.String toString, java.lang.String external, java.lang.String[] options) Constructs a new SatSolver value that uses a command-line solver; throws ErrorAPI if the ID is already in use.
A4TupleSet	A4TupleSet.minus(A4TupleSet that) Construct a new tupleset as the subtraction of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.plus(A4TupleSet that) Construct a new tupleset as the union of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.product(A4TupleSet that) Construct a new tupleset as the product of this and that; this and that must be come from the same solution.