edu.mit.csail.sdg.squander.options.GlobalOptions Class Reference
[Configuration]

Collaboration diagram for edu.mit.csail.sdg.squander.options.GlobalOptions:

[legend]

List of all members.

Public Types
enum	Engine {   Forge, Kodkod, Kodkod2, KodkodPart,   KodkodPart2 }
Public Member Functions
ISquander	getSquanderImpl ()
Public Attributes
Level	log_level = Level.NONE
Engine	engine = Engine.Kodkod
SATFactory	sat_solver = SATFactory.MiniSat
int	min_bitwidth = 5
boolean	unsat_core = false
boolean	desugar_quants = true
SquanderReporter	reporter = SquanderReporter.INSTANCE
Static Public Attributes
static GlobalOptions	INSTANCE = new GlobalOptions()

---

Detailed Description

Various general options, not related to particular specification executions

Author:

Aleksandar Milicevic

Definition at line 22 of file GlobalOptions.java.

---

Member Enumeration Documentation

enum edu::mit::csail::sdg::squander::options::GlobalOptions::Engine

Enumerator:

Forge
Kodkod
Kodkod2
KodkodPart
KodkodPart2

Definition at line 24 of file GlobalOptions.java.

---

Member Function Documentation

ISquander edu.mit.csail.sdg.squander.options.GlobalOptions.getSquanderImpl

(

)

Definition at line 43 of file GlobalOptions.java.

References edu.mit.csail.sdg.squander.options.GlobalOptions.engine.

---

Member Data Documentation

boolean edu.mit.csail.sdg.squander.options.GlobalOptions.desugar_quants = true

no need to change this

Definition at line 39 of file GlobalOptions.java.

Engine edu.mit.csail.sdg.squander.options.GlobalOptions.engine = Engine.Kodkod

Definition at line 31 of file GlobalOptions.java.

Referenced by edu.mit.csail.sdg.squander.options.GlobalOptions.getSquanderImpl().

GlobalOptions edu.mit.csail.sdg.squander.options.GlobalOptions.INSTANCE = new GlobalOptions() [static]

Definition at line 28 of file GlobalOptions.java.

Level edu.mit.csail.sdg.squander.options.GlobalOptions.log_level = Level.NONE

Definition at line 30 of file GlobalOptions.java.

int edu.mit.csail.sdg.squander.options.GlobalOptions.min_bitwidth = 5

minimum bitwidth to use

Definition at line 35 of file GlobalOptions.java.

SquanderReporter edu.mit.csail.sdg.squander.options.GlobalOptions.reporter = SquanderReporter.INSTANCE

Definition at line 41 of file GlobalOptions.java.

SATFactory edu.mit.csail.sdg.squander.options.GlobalOptions.sat_solver = SATFactory.MiniSat

Definition at line 32 of file GlobalOptions.java.

boolean edu.mit.csail.sdg.squander.options.GlobalOptions.unsat_core = false

should the unsat core be computed in case of no solution (it potentially degrades performance)

Definition at line 37 of file GlobalOptions.java.

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/options/GlobalOptions.java