public interface Engine
Modifier and Type | Method and Description |
---|---|
void |
process(SearchDistributor distributor)
Processes the model, produces the required bootstrap Frontiers,
and has the provided distributor distribute those Frontiers
|
Engine |
setBootstrapMin(int min)
Sets the minimum number of bootstrap states to produce
|
void |
setModelByInputFileStream(InputStream inputFileStream)
Sets the model, passing it as an InputStream
|
void |
setModelByText(String model)
Sets the model, passing it as a String
|
void process(SearchDistributor distributor)
distributor
- the distributorvoid setModelByInputFileStream(InputStream inputFileStream)
inputFileStream
- the model as an InputStreamvoid setModelByText(String model)
model
- the model as a StringEngine setBootstrapMin(int min)
min
- the minimum number of bootstrap states to produceCopyright © 2016. All rights reserved.