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