Package jline.solvers

Class SolverOptions.Config

java.lang.Object

jline.solvers.SolverOptions.Config

Enclosing class:

SolverOptions

public static class SolverOptions.Config
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
String	compress
boolean	eventcache
String	fork_join
boolean	hide_immediate
String	highvar
boolean	interlocking
String	merge
String	multiserver
String	np_priority
List<Double>	pstar
int	space_max
String	state_space_gen

Constructor Summary

Constructors

Constructor	Description
Config()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

highvar

public String highvar

multiserver

public String multiserver

np_priority

public String np_priority

pstar

public List<Double> pstar

fork_join

public String fork_join

merge

public String merge

compress

public String compress

space_max

public int space_max

interlocking

public boolean interlocking

eventcache

public boolean eventcache

hide_immediate

public boolean hide_immediate

state_space_gen

public String state_space_gen

Constructor Details

Config

public Config()