Package jline.solvers
Class SolverOptions.Config
-
- All Implemented Interfaces:
public class SolverOptions.Config
Advanced configuration options for specialized solver features. These options control solver-specific behavior and may not be applicable to all solver types.
-
-
Field Summary
Fields Modifier and Type Field Description public String
highvar
public String
multiserver
public String
np_priority
public List<Double>
pstar
public Double
env_alpha
public String
fork_join
public String
merge
public String
compress
public int
space_max
public boolean
interlocking
public boolean
eventcache
public boolean
hide_immediate
public String
state_space_gen
-
Constructor Summary
Constructors Constructor Description SolverOptions.Config()
-