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

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

A4Options

public static final class A4Options.SatSolver
extends java.lang.Object
implements java.io.Serializable

This enum defines the set of possible SAT solvers.

See Also:

Serialized Form

Field Summary

static A4Options.SatSolver	BerkMinPIPE BerkMin via pipe
static A4Options.SatSolver	CNF Outputs the raw CNF file only
static A4Options.SatSolver	KK Outputs the raw Kodkod file only
static A4Options.SatSolver	MiniSatJNI MiniSat1 via JNI
static A4Options.SatSolver	MiniSatProverJNI MiniSatProver1 via JNI
static A4Options.SatSolver	SAT4J SAT4J using native Java
static A4Options.SatSolver	SpearPIPE Spear via pipe
static A4Options.SatSolver	ZChaffJNI ZChaff via JNI

Method Summary

java.lang.String	external() Returns the executable for the external command-line solver to use (or null if this solver does not use an external commandline solver)
static A4Options.SatSolver	get() Reads the current value of the Java preference object (if it's not set, then return SAT4J).
java.lang.String	id() Returns the unique String for this value; it will be kept consistent in future versions.
static 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	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.
java.lang.String[]	options() Returns the options for the external command-line solver to use (or empty array if this solver does not use an external commandline solver)
static 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).
void	set() Saves this value into the Java preference object.
java.lang.String	toString() Returns the human-readable label for this enum value.
static SafeList<A4Options.SatSolver>	values() Returns the list of SatSolver values.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

BerkMinPIPE

public static final A4Options.SatSolver BerkMinPIPE

BerkMin via pipe

SpearPIPE

public static final A4Options.SatSolver SpearPIPE

Spear via pipe

MiniSatJNI

public static final A4Options.SatSolver MiniSatJNI

MiniSat1 via JNI

MiniSatProverJNI

public static final A4Options.SatSolver MiniSatProverJNI

MiniSatProver1 via JNI

ZChaffJNI

public static final A4Options.SatSolver ZChaffJNI

ZChaff via JNI

SAT4J

public static final A4Options.SatSolver SAT4J

SAT4J using native Java

CNF

public static final A4Options.SatSolver CNF

Outputs the raw CNF file only

KK

public static final A4Options.SatSolver KK

Outputs the raw Kodkod file only

Method Detail

make

public static A4Options.SatSolver make(java.lang.String id,
                                       java.lang.String toString,
                                       java.lang.String external,
                                       java.lang.String[] options)
                                throws ErrorAPI

Constructs a new SatSolver value that uses a command-line solver; throws ErrorAPI if the ID is already in use.

Throws:

ErrorAPI

make

public static A4Options.SatSolver make(java.lang.String id,
                                       java.lang.String toString,
                                       java.lang.String external)
                                throws ErrorAPI

Constructs a new SatSolver value that uses a command-line solver; throws ErrorAPI if the ID is already in use.

Throws:

ErrorAPI

external

public java.lang.String external()

Returns the executable for the external command-line solver to use (or null if this solver does not use an external commandline solver)

options

public java.lang.String[] options()

Returns the options for the external command-line solver to use (or empty array if this solver does not use an external commandline solver)

id

public java.lang.String id()

Returns the unique String for this value; it will be kept consistent in future versions.

values

public static SafeList<A4Options.SatSolver> values()

Returns the list of SatSolver values.

toString

public java.lang.String toString()

Returns the human-readable label for this enum value.

Overrides:

toString in class java.lang.Object

parse

public static 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).

set

public void set()

Saves this value into the Java preference object.

get

public static A4Options.SatSolver get()

Reads the current value of the Java preference object (if it's not set, then return SAT4J).