Modifier and Type | Class and Description |
---|---|
class |
QueueResultsProcessing
A simple wrapper for storing Frontier search results into a queue
|
Modifier and Type | Class and Description |
---|---|
class |
CatchAndStoreProcessing
Simple wrapper for storing Frontier results into a List
|
Modifier and Type | Method and Description |
---|---|
void |
Frontier.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
|
Modifier and Type | Method and Description |
---|---|
void |
SCXMLFrontier.searchForScenarios(ProcessingStrategy processingStrategy,
AtomicBoolean flag)
Performs a DFS on the model, starting from root, giving results to the processingStrategy
Just a public wrapper for private dfs function
|
Copyright © 2016. All rights reserved.