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() |
Various general options, not related to particular specification executions
Definition at line 22 of file GlobalOptions.java.
Definition at line 24 of file GlobalOptions.java.
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.
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.
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.