#include <WinningRegion.h>

Public Member Functions
	WinningRegion (std::vector< uint64_t > const &observationSizes={})

bool	update (uint64_t observation, storm::storage::BitVector const &winning)

bool	query (uint64_t observation, storm::storage::BitVector const &currently) const

bool	isWinning (uint64_t observation, uint64_t offset) const

std::vector< storm::storage::BitVector > const &	getWinningSetsPerObservation (uint64_t observation) const

void	addTargetStates (uint64_t observation, storm::storage::BitVector const &offsets)

void	setObservationIsWinning (uint64_t observation)

bool	observationIsWinning (uint64_t observation) const
	If we observe this observation, do we surely win?

storm::expressions::Expression	extensionExpression (uint64_t observation, std::vector< storm::expressions::Expression > &varsForStates) const

uint64_t	getStorageSize () const

storm::RationalNumber	beliefSupportStates () const

std::pair< storm::RationalNumber, storm::RationalNumber >	computeNrWinningBeliefs () const

uint64_t	getNumberOfObservations () const
	How many different observations are there?

bool	empty () const

void	print () const

void	storeToFile (std::string const &path, std::string const &preamble="", bool append=false) const

Static Public Member Functions
static std::pair< WinningRegion, std::string >	loadFromFile (std::string const &path)

Detailed Description

Definition at line 13 of file WinningRegion.h.

Constructor & Destructor Documentation

◆ WinningRegion()

storm::pomdp::WinningRegion::WinningRegion ( std::vector< uint64_t > const & observationSizes = {} )

Definition at line 14 of file WinningRegion.cpp.

Member Function Documentation

◆ addTargetStates()

void storm::pomdp::WinningRegion::addTargetStates	(	uint64_t	observation,
		storm::storage::BitVector const &	offsets
	)

Definition at line 24 of file WinningRegion.cpp.

◆ beliefSupportStates()

storm::RationalNumber storm::pomdp::WinningRegion::beliefSupportStates ( ) const

Definition at line 166 of file WinningRegion.cpp.

◆ computeNrWinningBeliefs()

std::pair< storm::RationalNumber, storm::RationalNumber > storm::pomdp::WinningRegion::computeNrWinningBeliefs ( ) const

Definition at line 278 of file WinningRegion.cpp.

◆ empty()

bool storm::pomdp::WinningRegion::empty ( ) const

Definition at line 152 of file WinningRegion.cpp.

◆ extensionExpression()

storm::expressions::Expression storm::pomdp::WinningRegion::extensionExpression	(	uint64_t	observation,
		std::vector< storm::expressions::Expression > &	varsForStates
	)		const

Definition at line 78 of file WinningRegion.cpp.

◆ getNumberOfObservations()

uint64_t storm::pomdp::WinningRegion::getNumberOfObservations ( ) const

How many different observations are there?

Returns

Definition at line 147 of file WinningRegion.cpp.

◆ getStorageSize()

uint64_t storm::pomdp::WinningRegion::getStorageSize ( ) const

Definition at line 303 of file WinningRegion.cpp.

◆ getWinningSetsPerObservation()

std::vector< storm::storage::BitVector > const & storm::pomdp::WinningRegion::getWinningSetsPerObservation ( uint64_t observation ) const

Definition at line 161 of file WinningRegion.cpp.

◆ isWinning()

bool storm::pomdp::WinningRegion::isWinning	(	uint64_t	observation,
		uint64_t	offset
	)		const

inline

Definition at line 19 of file WinningRegion.h.

◆ loadFromFile()

std::pair< WinningRegion, std::string > storm::pomdp::WinningRegion::loadFromFile ( std::string const & path )

static

Definition at line 337 of file WinningRegion.cpp.

◆ observationIsWinning()

bool storm::pomdp::WinningRegion::observationIsWinning ( uint64_t observation ) const

If we observe this observation, do we surely win?

Parameters

observation

Returns: yes, if all supports for this observation are winning.

Definition at line 110 of file WinningRegion.cpp.

◆ print()

void storm::pomdp::WinningRegion::print ( ) const

Definition at line 114 of file WinningRegion.cpp.

◆ query()

bool storm::pomdp::WinningRegion::query	(	uint64_t	observation,
		storm::storage::BitVector const &	currently
	)		const

Definition at line 69 of file WinningRegion.cpp.

◆ setObservationIsWinning()

void storm::pomdp::WinningRegion::setObservationIsWinning ( uint64_t observation )

Definition at line 20 of file WinningRegion.cpp.

◆ storeToFile()

void storm::pomdp::WinningRegion::storeToFile	(	std::string const &	path,
		std::string const &	preamble = `""`,
		bool	append = `false`
	)		const

Definition at line 311 of file WinningRegion.cpp.

◆ update()

bool storm::pomdp::WinningRegion::update	(	uint64_t	observation,
		storm::storage::BitVector const &	winning
	)

Definition at line 43 of file WinningRegion.cpp.

The documentation for this class was generated from the following files:

src/storm-pomdp/analysis/WinningRegion.h
src/storm-pomdp/analysis/WinningRegion.cpp

Public Member Functions

Static Public Member Functions