| Constructor and Description |
|---|
OptionsBuilder() |
| Modifier and Type | Method and Description |
|---|---|
Options |
build() |
Options.OptionsBuilder |
setAlgorithm(Options.Algorithm algorithm) |
Options.OptionsBuilder |
setEventsListener(Options.EventsListener eventsListener) |
Options.OptionsBuilder |
setMaximumNumberOfDFAStates(int maximumNumberOfDFAStates) |
Options.OptionsBuilder |
setNumberOfDFARetries(int numberOfDFARetries) |
public Options.OptionsBuilder setAlgorithm(Options.Algorithm algorithm)
public Options.OptionsBuilder setMaximumNumberOfDFAStates(int maximumNumberOfDFAStates)
public Options.OptionsBuilder setNumberOfDFARetries(int numberOfDFARetries)
public Options.OptionsBuilder setEventsListener(Options.EventsListener eventsListener)
public Options build()
Copyright © 2016. All Rights Reserved.