public interface Frontier
Modifier and Type | Method and Description |
---|---|
void |
searchForScenarios(Queue<Map<String,String>> queue,
AtomicBoolean flag)
Fills the queue with Maps of variable assignments produced by a DFS strategy;
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(Queue<Map<String,String>> queue, AtomicBoolean flag)
queue
- the queueflag
- the exit flagCopyright © 2014. All rights reserved.