public interface Frontier
Modifier and Type | Method and Description |
---|---|
void |
searchForScenarios(ProcessingStrategy processingStrategy,
AtomicBoolean flag)
Passes to the processingStrategy Maps of variable assignments produced by a DFS;
the DFS is performed on a possible state bound up inside the Frontier and will
stop early if flag is set to true
|
void searchForScenarios(ProcessingStrategy processingStrategy, AtomicBoolean flag)
processingStrategy
- knows what to do with completed mapsflag
- the exit flagCopyright © 2016. All rights reserved.