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.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

Fields
Modifier and Type	Field	Description
`public String`	`highvar`
`public String`	`multiserver`
`public String`	`np_priority`
`public List<Double>`	`pstar`
`public String`	`variates`
`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`
`public String`	`nonmkv`
`public int`	`nonmkvorder`
`public String`	`da`
`public int`	`da_iter`
`public String`	`relax`
`public double`	`relax_factor`
`public double`	`relax_min`
`public int`	`relax_history`
`public int`	`mol_task_inner_max`
`public double`	`mol_task_inner_tol`
`public double`	`mol_host_outer_tol`
`public int`	`mol_min_steps`
`public int`	`num_cdf_pts`

Constructor Summary

Constructors
Constructor	Description
`SolverOptions.Config()`

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`void`	`put(String key, Object value)`	Store a configuration parameter
`Object`	`get(String key)`	Retrieve a configuration parameter
`boolean`	`containsKey(String key)`	Check if a configuration parameter exists

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SolverOptions.Config
```
SolverOptions.Config()
```
- Method Detail
  - put
```
 void put(String key, Object value)
```
    Store a configuration parameter
  - get
```
 Object get(String key)
```
    Retrieve a configuration parameter
  - containsKey
```
 boolean containsKey(String key)
```
    Check if a configuration parameter exists