Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::pomdp::WinningRegion Member List

This is the complete list of members for storm::pomdp::WinningRegion, including all inherited members.

addTargetStates(uint64_t observation, storm::storage::BitVector const &offsets)storm::pomdp::WinningRegion
beliefSupportStates() conststorm::pomdp::WinningRegion
computeNrWinningBeliefs() conststorm::pomdp::WinningRegion
empty() conststorm::pomdp::WinningRegion
extensionExpression(uint64_t observation, std::vector< storm::expressions::Expression > &varsForStates) conststorm::pomdp::WinningRegion
getNumberOfObservations() conststorm::pomdp::WinningRegion
getStorageSize() conststorm::pomdp::WinningRegion
getWinningSetsPerObservation(uint64_t observation) conststorm::pomdp::WinningRegion
isWinning(uint64_t observation, uint64_t offset) conststorm::pomdp::WinningRegioninline
loadFromFile(std::string const &path)storm::pomdp::WinningRegionstatic
observationIsWinning(uint64_t observation) conststorm::pomdp::WinningRegion
print() conststorm::pomdp::WinningRegion
query(uint64_t observation, storm::storage::BitVector const &currently) conststorm::pomdp::WinningRegion
setObservationIsWinning(uint64_t observation)storm::pomdp::WinningRegion
storeToFile(std::string const &path, std::string const &preamble="", bool append=false) conststorm::pomdp::WinningRegion
update(uint64_t observation, storm::storage::BitVector const &winning)storm::pomdp::WinningRegion
WinningRegion(std::vector< uint64_t > const &observationSizes={})storm::pomdp::WinningRegion