 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for stamina::gui::PrefInfo::CounterExampleGeneration, including all inherited members.
| maxDistance (defined in stamina::gui::PrefInfo::CounterExampleGeneration) | stamina::gui::PrefInfo::CounterExampleGeneration | inlinestatic |
| numberCounterexamples (defined in stamina::gui::PrefInfo::CounterExampleGeneration) | stamina::gui::PrefInfo::CounterExampleGeneration | inlinestatic |
| numberScaffolds (defined in stamina::gui::PrefInfo::CounterExampleGeneration) | stamina::gui::PrefInfo::CounterExampleGeneration | inlinestatic |
| setDefaults() (defined in stamina::gui::PrefInfo::CounterExampleGeneration) | stamina::gui::PrefInfo::CounterExampleGeneration | static |
| useScaffolding (defined in stamina::gui::PrefInfo::CounterExampleGeneration) | stamina::gui::PrefInfo::CounterExampleGeneration | inlinestatic |
1.9.3