Uses of Package
edu.mit.csail.sdg.alloy4compiler.translator

Packages that use edu.mit.csail.sdg.alloy4compiler.translator

edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.
edu.mit.csail.sdg.alloy4whole	This package contains a simple GUI client, as well as several examples on using the API.

Classes in edu.mit.csail.sdg.alloy4compiler.translator used by edu.mit.csail.sdg.alloy4compiler.translator

A4Options
Mutable; this class encapsulates the customizable options of the Alloy-to-Kodkod translator.

A4Options.SatSolver
This enum defines the set of possible SAT solvers.

A4Solution
This class stores a SATISFIABLE or UNSATISFIABLE solution.

A4Tuple
Immutable; represents a single Alloy tuple; comparison is by identity rather than by value.

A4TupleSet
Immutable; represents a collection of Alloy tuples; comparison is by identity rather than by value.

Classes in edu.mit.csail.sdg.alloy4compiler.translator used by edu.mit.csail.sdg.alloy4viz

A4Solution
This class stores a SATISFIABLE or UNSATISFIABLE solution.

Classes in edu.mit.csail.sdg.alloy4compiler.translator used by edu.mit.csail.sdg.alloy4whole

A4Solution
This class stores a SATISFIABLE or UNSATISFIABLE solution.