public class Options extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Options.RelativeHeuristicLevel |
| Modifier and Type | Field and Description |
|---|---|
boolean |
markTimeRanges |
| Constructor and Description |
|---|
Options() |
Options(String name,
Properties props) |
public Options()
public Options(String name, Properties props)