Uses of Class
edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Packages that use A4Options.SatSolver

edu.mit.csail.sdg.alloy4compiler.translator

This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of A4Options.SatSolver in edu.mit.csail.sdg.alloy4compiler.translator

Fields in edu.mit.csail.sdg.alloy4compiler.translator declared as A4Options.SatSolver

static A4Options.SatSolver	A4Options.SatSolver.BerkMinPIPE BerkMin via pipe
static A4Options.SatSolver	A4Options.SatSolver.CNF Outputs the raw CNF file only
static A4Options.SatSolver	A4Options.SatSolver.KK Outputs the raw Kodkod file only
static A4Options.SatSolver	A4Options.SatSolver.MiniSatJNI MiniSat1 via JNI
static A4Options.SatSolver	A4Options.SatSolver.MiniSatProverJNI MiniSatProver1 via JNI
static A4Options.SatSolver	A4Options.SatSolver.SAT4J SAT4J using native Java
A4Options.SatSolver	A4Options.solver This option specifies the SAT solver to use (SAT4J, MiniSatJNI, MiniSatProverJNI, ZChaffJNI...)
static A4Options.SatSolver	A4Options.SatSolver.SpearPIPE Spear via pipe
static A4Options.SatSolver	A4Options.SatSolver.ZChaffJNI ZChaff via JNI

Methods in edu.mit.csail.sdg.alloy4compiler.translator that return A4Options.SatSolver

static A4Options.SatSolver	A4Options.SatSolver.get() Reads the current value of the Java preference object (if it's not set, then return SAT4J).
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.
static A4Options.SatSolver	A4Options.SatSolver.parse(java.lang.String id) Given an id, return the enum value corresponding to it (if there's no match, then return SAT4J).

Methods in edu.mit.csail.sdg.alloy4compiler.translator that return types with arguments of type A4Options.SatSolver

static SafeList<A4Options.SatSolver>

A4Options.SatSolver.values() Returns the list of SatSolver values.