This class represents a partially observable Markov decision process. More...

#include <Pomdp.h>

Inheritance diagram for storm::models::sparse::Pomdp< ValueType, RewardModelType >:

[legend]

Collaboration diagram for storm::models::sparse::Pomdp< ValueType, RewardModelType >:

[legend]

Public Member Functions
	Pomdp (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::models::sparse::StateLabeling const &stateLabeling, std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >())
	Constructs a model from the given data.

	Pomdp (storm::storage::SparseMatrix< ValueType > &&transitionMatrix, storm::models::sparse::StateLabeling &&stateLabeling, std::unordered_map< std::string, RewardModelType > &&rewardModels=std::unordered_map< std::string, RewardModelType >())
	Constructs a model by moving the given data.

	Pomdp (storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components, bool canonicFlag=false)
	Constructs a model from the given data.

	Pomdp (storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components, bool canonicFlag=false)

	Pomdp (Pomdp< ValueType, RewardModelType > const &other)=default

Pomdp &	operator= (Pomdp< ValueType, RewardModelType > const &other)=default

	Pomdp (Pomdp< ValueType, RewardModelType > &&other)=default

Pomdp &	operator= (Pomdp< ValueType, RewardModelType > &&other)=default

virtual void	printModelInformationToStream (std::ostream &out) const override
	Prints information about the model to the specified stream.

uint32_t	getObservation (uint64_t state) const

uint64_t	getNrObservations () const

uint64_t	getMaxNrStatesWithSameObservation () const
	Returns the number of hidden values, i.e.

std::vector< uint32_t > const &	getObservations () const

void	updateObservations (std::vector< uint32_t > &&newObservations, bool preservesCanonicity)
	Changes the observations to the given ones and updates redundant informations (like the number of observations) After calling this method, isCanonic() returns true iff (i) isCanonic() returned true before calling this method and (ii) preservesCanonicity was set to true.

std::vector< uint64_t >	getStatesWithObservation (uint32_t observation) const

bool	hasObservationValuations () const

storm::storage::sparse::StateValuations const &	getObservationValuations () const

std::optional< storm::storage::sparse::StateValuations > const &	getOptionalObservationValuations () const

bool	isCanonic () const

void	setIsCanonic (bool newValue=true)

virtual std::size_t	hash () const override

virtual bool	isPartiallyObservable () const override

Public Member Functions inherited from storm::models::sparse::Mdp< ValueType, RewardModelType >
	Mdp (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::models::sparse::StateLabeling const &stateLabeling, std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >(), ModelType type=ModelType::Mdp)
	Constructs a model from the given data.

	Mdp (storm::storage::SparseMatrix< ValueType > &&transitionMatrix, storm::models::sparse::StateLabeling &&stateLabeling, std::unordered_map< std::string, RewardModelType > &&rewardModels=std::unordered_map< std::string, RewardModelType >(), ModelType type=ModelType::Mdp)
	Constructs a model by moving the given data.

	Mdp (storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components, ModelType type=ModelType::Mdp)
	Constructs a model from the given data.

	Mdp (storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components, ModelType type=ModelType::Mdp)

	Mdp (Mdp< ValueType, RewardModelType > const &other)=default

Mdp &	operator= (Mdp< ValueType, RewardModelType > const &other)=default

	Mdp (Mdp< ValueType, RewardModelType > &&other)=default

Mdp &	operator= (Mdp< ValueType, RewardModelType > &&other)=default

virtual	~Mdp ()=default

Public Member Functions inherited from storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >
	NondeterministicModel (ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components)
	Constructs a model from the given data.

	NondeterministicModel (ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components)

virtual	~NondeterministicModel ()=default

std::vector< uint_fast64_t > const &	getNondeterministicChoiceIndices () const
	Retrieves the vector indicating which matrix rows represent non-deterministic choices of a certain state.

uint_fast64_t	getNumberOfChoices (uint_fast64_t state) const

virtual void	reduceToStateBasedRewards () override
	Converts the transition rewards of all reward models to state-based rewards.

uint_fast64_t	getChoiceIndex (storm::storage::StateActionPair const &stateactPair) const
	For a state/action pair, get the choice index referring to the state-action pair.

std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	applyScheduler (storm::storage::Scheduler< ValueType > const &scheduler, bool dropUnreachableStates=true, bool preserveModelType=false) const
	Applies the given scheduler to this model.

virtual void	writeDotToStream (std::ostream &outStream, size_t maxWidthLabel=30, bool includeLabeling=true, storm::storage::BitVector const subsystem=nullptr, std::vector< ValueType > const firstValue=nullptr, std::vector< ValueType > const secondValue=nullptr, std::vector< uint_fast64_t > const stateColoring=nullptr, std::vector< std::string > const colors=nullptr, std::vector< uint_fast64_t > scheduler=nullptr, bool finalizeOutput=true) const override

Public Member Functions inherited from storm::models::sparse::Model< CValueType, CRewardModelType >
	Model (Model< ValueType, RewardModelType > const &other)=default

Model &	operator= (Model< ValueType, RewardModelType > const &other)=default

	Model (ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components)
	Constructs a model from the given data.

	Model (ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components)

virtual	~Model ()=default

storm::storage::SparseMatrix< ValueType >	getBackwardTransitions () const
	Retrieves the backward transition relation of the model, i.e.

virtual storm::storage::SparseMatrix< ValueType >::const_rows	getRows (storm::storage::sparse::state_type state) const
	Returns an object representing the matrix rows associated with the given state.

virtual uint_fast64_t	getNumberOfStates () const override
	Returns the number of states of the model.

virtual uint_fast64_t	getNumberOfTransitions () const override
	Returns the number of (non-zero) transitions of the model.

virtual uint_fast64_t	getNumberOfChoices () const override
	Returns the number of choices ine the model.

storm::storage::BitVector const &	getInitialStates () const
	Retrieves the initial states of the model.

void	setInitialStates (storm::storage::BitVector const &states)
	Overwrites the initial states of the model.

storm::storage::BitVector const &	getStates (std::string const &label) const
	Returns the sets of states labeled with the given label.

bool	hasLabel (std::string const &label) const
	Retrieves whether the given label is a valid label in this model.

storm::storage::SparseMatrix< ValueType > const &	getTransitionMatrix () const
	Retrieves the matrix representing the transitions of the model.

storm::storage::SparseMatrix< ValueType > &	getTransitionMatrix ()
	Retrieves the matrix representing the transitions of the model.

std::unordered_map< std::string, RewardModelType > const &	getRewardModels () const
	Retrieves the reward models.

std::unordered_map< std::string, RewardModelType > &	getRewardModels ()
	Retrieves the reward models.

virtual bool	hasRewardModel (std::string const &rewardModelName) const override
	Retrieves whether the model has a reward model with the given name.

RewardModelType const &	getRewardModel (std::string const &rewardModelName) const
	Retrieves the reward model with the given name, if one exists.

RewardModelType &	getRewardModel (std::string const &rewardModelName)
	Retrieves the reward model with the given name, if one exists.

RewardModelType const &	getUniqueRewardModel () const
	Retrieves the unique reward model, if there exists exactly one.

RewardModelType &	getUniqueRewardModel ()
	Retrieves the unique reward model, if there exists exactly one.

virtual bool	hasUniqueRewardModel () const override
	Retrieves whether the model has a unique reward model.

virtual std::string const &	getUniqueRewardModelName () const override
	Retrieves the name of the unique reward model, if there exists exactly one.

bool	hasRewardModel () const
	Retrieves whether the model has at least one reward model.

uint_fast64_t	getNumberOfRewardModels () const
	Retrieves the number of reward models associated with this model.

void	addRewardModel (std::string const &rewardModelName, RewardModelType const &rewModel)
	Adds a reward model to the model.

bool	removeRewardModel (std::string const &rewardModelName)
	Removes the reward model with the given name from the model.

void	restrictRewardModels (std::set< std::string > const &keptRewardModels)
	Removes all reward models whose name is not in the given set.

storm::models::sparse::StateLabeling const &	getStateLabeling () const
	Returns the state labeling associated with this model.

storm::models::sparse::StateLabeling &	getStateLabeling ()
	Returns the state labeling associated with this model.

bool	hasChoiceLabeling () const
	Retrieves whether this model has a labeling of the choices.

storm::models::sparse::ChoiceLabeling const &	getChoiceLabeling () const
	Retrieves the labels for the choices of the model.

std::optional< storm::models::sparse::ChoiceLabeling > const &	getOptionalChoiceLabeling () const
	Retrieves an optional value that contains the choice labeling if there is one.

std::optional< storm::models::sparse::ChoiceLabeling > &	getOptionalChoiceLabeling ()
	Retrieves an optional value that contains the choice labeling if there is one.

bool	hasStateValuations () const
	Retrieves whether this model was build with state valuations.

storm::storage::sparse::StateValuations const &	getStateValuations () const
	Retrieves the valuations of the states of the model.

std::optional< storm::storage::sparse::StateValuations > const &	getOptionalStateValuations () const
	Retrieves an optional value that contains the state valuations if there are some.

std::optional< storm::storage::sparse::StateValuations > &	getOptionalStateValuations ()
	Retrieves an optional value that contains the state valuations if there are some.

bool	hasChoiceOrigins () const
	Retrieves whether this model was build with choice origins.

std::shared_ptr< storm::storage::sparse::ChoiceOrigins > const &	getChoiceOrigins () const
	Retrieves the origins of the choices of the model.

std::optional< std::shared_ptr< storm::storage::sparse::ChoiceOrigins > > const &	getOptionalChoiceOrigins () const
	Retrieves an optional value that contains the choice origins if there are some.

std::optional< std::shared_ptr< storm::storage::sparse::ChoiceOrigins > > &	getOptionalChoiceOrigins ()
	Retrieves an optional value that contains the choice origins if there are some.

bool	isSinkState (uint64_t sink) const

virtual void	writeDotToStream (std::ostream &outStream, size_t maxWidthLabel=30, bool includeLabeling=true, storm::storage::BitVector const subsystem=nullptr, std::vector< ValueType > const firstValue=nullptr, std::vector< ValueType > const secondValue=nullptr, std::vector< uint64_t > const stateColoring=nullptr, std::vector< std::string > const colors=nullptr, std::vector< uint_fast64_t > scheduler=nullptr, bool finalizeOutput=true) const
	Exports the model to the dot-format and prints the result to the given stream.

virtual void	writeJsonToStream (std::ostream &outStream) const
	Writes a JSON representation of the model to the given stream.

std::set< std::string >	getLabelsOfState (storm::storage::sparse::state_type state) const
	Retrieves the set of labels attached to the given state.

virtual bool	isSparseModel () const override
	Checks whether the model is a sparse model.

virtual bool	supportsParameters () const override
	Checks whether the model supports parameters.

virtual bool	hasParameters () const override
	Checks whether the model has parameters.

virtual bool	isExact () const override
	Checks whether the model is exact.

virtual bool	supportsUncertainty () const
	Does it support uncertainty (e.g., via interval-valued entries).

virtual bool	hasUncertainty () const
	Checks whether the model actually is uncertain, i.e., whether there is a non-singleton transition relation.

void	writeJsonToStream (std::ostream &) const

Public Member Functions inherited from storm::models::Model< CValueType >
	Model (ModelType const &modelType)
	Constructs a model of the given type.

Public Member Functions inherited from storm::models::ModelBase
	ModelBase (ModelType const &modelType)
	Constructs a model of the given type.

virtual	~ModelBase ()

template<typename ModelType >
std::shared_ptr< ModelType >	as ()
	Casts the model into the model type given by the template parameter.

template<typename ModelType >
std::shared_ptr< ModelType const >	as () const
	Casts the model into the model type given by the template parameter.

virtual ModelType	getType () const
	Return the actual type of the model.

virtual bool	isSymbolicModel () const
	Checks whether the model is a symbolic model.

bool	isOfType (storm::models::ModelType const &modelType) const
	Checks whether the model is of the given type.

bool	isNondeterministicModel () const
	Returns true if the model is a nondeterministic model.

bool	isDiscreteTimeModel () const
	Returns true if the model is a descrete-time model.

Protected Member Functions
virtual std::string	additionalDotStateInfo (uint64_t state) const override
	Return a string that is additonally added to the state information in the dot stream.

void	computeNrObservations ()

Protected Member Functions inherited from storm::models::sparse::Model< CValueType, CRewardModelType >
RewardModelType &	rewardModel (std::string const &rewardModelName)

void	setTransitionMatrix (storm::storage::SparseMatrix< ValueType > const &transitionMatrix)
	Sets the transition matrix of the model.

void	setTransitionMatrix (storm::storage::SparseMatrix< ValueType > &&transitionMatrix)
	Sets the transition matrix of the model.

void	printModelInformationHeaderToStream (std::ostream &out) const
	Prints the information header (number of states and transitions) of the model to the specified stream.

void	printModelInformationFooterToStream (std::ostream &out) const
	Prints the information footer (reward models, labels and size in memory) of the model to the specified stream.

void	printRewardModelsInformationToStream (std::ostream &out) const
	Prints information about the reward models to the specified stream.

Protected Attributes
std::vector< uint32_t >	observations

uint64_t	nrObservations

bool	canonicFlag = false

std::optional< storm::storage::sparse::StateValuations >	observationValuations

Additional Inherited Members
Public Types inherited from storm::models::sparse::Model< CValueType, CRewardModelType >
typedef CValueType	ValueType

typedef CRewardModelType	RewardModelType

Static Public Attributes inherited from storm::models::sparse::Model< CValueType, CRewardModelType >
static const storm::models::ModelRepresentation	Representation = ModelRepresentation::Sparse

Detailed Description

template<class ValueType, typename RewardModelType = StandardRewardModel<ValueType>>
class storm::models::sparse::Pomdp< ValueType, RewardModelType >

This class represents a partially observable Markov decision process.

Definition at line 15 of file Pomdp.h.

Constructor & Destructor Documentation

◆ Pomdp() [1/6]

template<typename ValueType , typename RewardModelType >

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp	(	storm::storage::SparseMatrix< ValueType > const &	transitionMatrix,
		storm::models::sparse::StateLabeling const &	stateLabeling,
		std::unordered_map< std::string, RewardModelType > const &	rewardModels = `std::unordered_map<std::string, RewardModelType>()`
	)

Constructs a model from the given data.

Parameters

transitionMatrix	The matrix representing the transitions in the model.
stateLabeling	The labeling of the states.
rewardModels	A mapping of reward model names to reward models.

Definition at line 10 of file Pomdp.cpp.

◆ Pomdp() [2/6]

template<typename ValueType , typename RewardModelType >

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp	(	storm::storage::SparseMatrix< ValueType > &&	transitionMatrix,
		storm::models::sparse::StateLabeling &&	stateLabeling,
		std::unordered_map< std::string, RewardModelType > &&	rewardModels = `std::unordered_map<std::string, RewardModelType>()`
	)

Constructs a model by moving the given data.

Parameters

transitionMatrix	The matrix representing the transitions in the model.
stateLabeling	The labeling of the states.
rewardModels	A mapping of reward model names to reward models.

Definition at line 18 of file Pomdp.cpp.

◆ Pomdp() [3/6]

template<typename ValueType , typename RewardModelType >

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp	(	storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &	components,
		bool	canonicFlag = `false`
	)

Constructs a model from the given data.

Parameters

components The components for this model.

Definition at line 25 of file Pomdp.cpp.

◆ Pomdp() [4/6]

template<typename ValueType , typename RewardModelType >

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp	(	storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&	components,
		bool	canonicFlag = `false`
	)

Definition at line 34 of file Pomdp.cpp.

◆ Pomdp() [5/6]

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp ( Pomdp< ValueType, RewardModelType > const & other )

default

◆ Pomdp() [6/6]

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

storm::models::sparse::Pomdp< ValueType, RewardModelType >::Pomdp ( Pomdp< ValueType, RewardModelType > && other )

default

Member Function Documentation

◆ additionalDotStateInfo()

template<typename ValueType , typename RewardModelType >

std::string storm::models::sparse::Pomdp< ValueType, RewardModelType >::additionalDotStateInfo ( uint64_t state ) const

overrideprotectedvirtual

Return a string that is additonally added to the state information in the dot stream.

Parameters

state

Returns

Reimplemented from storm::models::sparse::Model< CValueType, CRewardModelType >.

Definition at line 101 of file Pomdp.cpp.

◆ computeNrObservations()

template<typename ValueType , typename RewardModelType >

void storm::models::sparse::Pomdp< ValueType, RewardModelType >::computeNrObservations ( )

protected

Definition at line 51 of file Pomdp.cpp.

◆ getMaxNrStatesWithSameObservation()

template<typename ValueType , typename RewardModelType >

uint64_t storm::models::sparse::Pomdp< ValueType, RewardModelType >::getMaxNrStatesWithSameObservation ( ) const

Returns the number of hidden values, i.e.

the maximum number of states with the same observation

Definition at line 73 of file Pomdp.cpp.

◆ getNrObservations()

template<typename ValueType , typename RewardModelType >

uint64_t storm::models::sparse::Pomdp< ValueType, RewardModelType >::getNrObservations ( ) const

Definition at line 68 of file Pomdp.cpp.

◆ getObservation()

template<typename ValueType , typename RewardModelType >

uint32_t storm::models::sparse::Pomdp< ValueType, RewardModelType >::getObservation ( uint64_t state ) const

Definition at line 63 of file Pomdp.cpp.

◆ getObservations()

template<typename ValueType , typename RewardModelType >

std::vector< uint32_t > const & storm::models::sparse::Pomdp< ValueType, RewardModelType >::getObservations ( ) const

Definition at line 89 of file Pomdp.cpp.

◆ getObservationValuations()

template<typename ValueType , typename RewardModelType >

storm::storage::sparse::StateValuations const & storm::models::sparse::Pomdp< ValueType, RewardModelType >::getObservationValuations ( ) const

Definition at line 122 of file Pomdp.cpp.

◆ getOptionalObservationValuations()

template<typename ValueType , typename RewardModelType >

std::optional< storm::storage::sparse::StateValuations > const & storm::models::sparse::Pomdp< ValueType, RewardModelType >::getOptionalObservationValuations ( ) const

Definition at line 127 of file Pomdp.cpp.

◆ getStatesWithObservation()

template<typename ValueType , typename RewardModelType >

std::vector< uint64_t > storm::models::sparse::Pomdp< ValueType, RewardModelType >::getStatesWithObservation ( uint32_t observation ) const

Definition at line 106 of file Pomdp.cpp.

◆ hash()

template<typename ValueType , typename RewardModelType >

std::size_t storm::models::sparse::Pomdp< ValueType, RewardModelType >::hash ( ) const

overridevirtual

Reimplemented from storm::models::sparse::Model< CValueType, CRewardModelType >.

Definition at line 147 of file Pomdp.cpp.

◆ hasObservationValuations()

template<typename ValueType , typename RewardModelType >

bool storm::models::sparse::Pomdp< ValueType, RewardModelType >::hasObservationValuations ( ) const

Definition at line 117 of file Pomdp.cpp.

◆ isCanonic()

template<typename ValueType , typename RewardModelType >

bool storm::models::sparse::Pomdp< ValueType, RewardModelType >::isCanonic ( ) const

Definition at line 132 of file Pomdp.cpp.

◆ isPartiallyObservable()

template<typename ValueType , typename RewardModelType >

bool storm::models::sparse::Pomdp< ValueType, RewardModelType >::isPartiallyObservable ( ) const

overridevirtual

Reimplemented from storm::models::ModelBase.

Definition at line 142 of file Pomdp.cpp.

◆ operator=() [1/2]

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

Pomdp & storm::models::sparse::Pomdp< ValueType, RewardModelType >::operator= ( Pomdp< ValueType, RewardModelType > && other )

default

◆ operator=() [2/2]

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

Pomdp & storm::models::sparse::Pomdp< ValueType, RewardModelType >::operator= ( Pomdp< ValueType, RewardModelType > const & other )

default

◆ printModelInformationToStream()

template<typename ValueType , typename RewardModelType >

void storm::models::sparse::Pomdp< ValueType, RewardModelType >::printModelInformationToStream ( std::ostream & out ) const

overridevirtual

Prints information about the model to the specified stream.

Parameters

out	The stream the information is to be printed to.

Reimplemented from storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >.

Definition at line 43 of file Pomdp.cpp.

◆ setIsCanonic()

template<typename ValueType , typename RewardModelType >

void storm::models::sparse::Pomdp< ValueType, RewardModelType >::setIsCanonic ( bool newValue = true )

Definition at line 137 of file Pomdp.cpp.

◆ updateObservations()

template<typename ValueType , typename RewardModelType >

void storm::models::sparse::Pomdp< ValueType, RewardModelType >::updateObservations	(	std::vector< uint32_t > &&	newObservations,
		bool	preservesCanonicity
	)

Changes the observations to the given ones and updates redundant informations (like the number of observations) After calling this method, isCanonic() returns true iff (i) isCanonic() returned true before calling this method and (ii) preservesCanonicity was set to true.

Parameters

newObservations	The new observations
preservesCanonicity	specifies whether the pomdp is still canonic (assuming that it was canonic before)

Definition at line 94 of file Pomdp.cpp.

Member Data Documentation

◆ canonicFlag

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

bool storm::models::sparse::Pomdp< ValueType, RewardModelType >::canonicFlag = false

protected

Definition at line 105 of file Pomdp.h.

◆ nrObservations

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

uint64_t storm::models::sparse::Pomdp< ValueType, RewardModelType >::nrObservations

protected

Definition at line 104 of file Pomdp.h.

◆ observations

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

std::vector<uint32_t> storm::models::sparse::Pomdp< ValueType, RewardModelType >::observations

protected

Definition at line 103 of file Pomdp.h.

◆ observationValuations

template<class ValueType , typename RewardModelType = StandardRewardModel<ValueType>>

std::optional<storm::storage::sparse::StateValuations> storm::models::sparse::Pomdp< ValueType, RewardModelType >::observationValuations

protected

Definition at line 107 of file Pomdp.h.

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

src/storm-pomdp/modelchecker/BeliefExplorationPomdpModelChecker.h
src/storm/models/sparse/Pomdp.h
src/storm/models/sparse/Pomdp.cpp

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Pomdp() [1/6]

◆ Pomdp() [2/6]

◆ Pomdp() [3/6]

◆ Pomdp() [4/6]

◆ Pomdp() [5/6]

◆ Pomdp() [6/6]

Member Function Documentation

◆ additionalDotStateInfo()

◆ computeNrObservations()

◆ getMaxNrStatesWithSameObservation()

◆ getNrObservations()

◆ getObservation()

◆ getObservations()

◆ getObservationValuations()

◆ getOptionalObservationValuations()

◆ getStatesWithObservation()

◆ hash()

◆ hasObservationValuations()

◆ isCanonic()

◆ isPartiallyObservable()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ printModelInformationToStream()

◆ setIsCanonic()

◆ updateObservations()

Member Data Documentation

◆ canonicFlag

◆ nrObservations

◆ observations

◆ observationValuations