Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::ExplicitGameStrategy Member List

This is the complete list of members for storm::storage::ExplicitGameStrategy, including all inherited members.

ExplicitGameStrategy(uint64_t numberOfStates)storm::storage::ExplicitGameStrategy
ExplicitGameStrategy(std::vector< uint64_t > &&choices)storm::storage::ExplicitGameStrategy
getChoice(uint64_t state) conststorm::storage::ExplicitGameStrategy
getNumberOfStates() conststorm::storage::ExplicitGameStrategy
getNumberOfUndefinedStates() conststorm::storage::ExplicitGameStrategy
hasDefinedChoice(uint64_t state) conststorm::storage::ExplicitGameStrategy
setChoice(uint64_t state, uint64_t choice)storm::storage::ExplicitGameStrategy
undefineAll()storm::storage::ExplicitGameStrategy
UNDEFINEDstorm::storage::ExplicitGameStrategystatic