storm::umb::ModelIndex Struct Reference

#include <ModelIndex.h>

Collaboration diagram for storm::umb::ModelIndex:

Classes
struct	ModelData
struct	FileData
struct	TransitionSystem
struct	Annotation
struct	Valuations

Public Types
using	AnnotationMap = std::map<std::string, Annotation>
using	JsonSerialization = storm::JsonSerialization

Public Member Functions
storm::OptionalRef< AnnotationMap >	aps (bool createIfMissing=false)
storm::OptionalRef< AnnotationMap const >	aps () const
storm::OptionalRef< AnnotationMap >	rewards (bool createIfMissing=false)
storm::OptionalRef< AnnotationMap const >	rewards () const
storm::OptionalRef< AnnotationMap >	annotation (std::string const &annotationsType, bool createIfMissing=false)
storm::OptionalRef< AnnotationMap const >	annotation (std::string const &annotationsType) const
std::optional< std::string >	findAPName (std::string const &id) const
	Finds a name of the annotation (i.e.
std::optional< std::string >	findRewardName (std::string const &id) const
std::optional< std::string >	findAnnotationName (std::string const &annotationsType, std::string const &id) const

Public Attributes
uint64_t	formatVersion {1}
uint64_t	formatRevision {0}
std::optional< ModelData >	modelData
std::optional< FileData >	fileData
struct storm::umb::ModelIndex::TransitionSystem	transitionSystem
std::optional< std::map< std::string, AnnotationMap > >	annotations
std::optional< Valuations >	valuations

Static Public Attributes
static auto constexpr	JsonKeys = {"format-version", "format-revision", "model-data", "file-data", "transition-system", "annotations", "valuations"}

Detailed Description

Definition at line 15 of file ModelIndex.h.

Member Typedef Documentation

AnnotationMap

using storm::umb::ModelIndex::AnnotationMap = std::map<std::string, Annotation>

Definition at line 108 of file ModelIndex.h.

JsonSerialization

using storm::umb::ModelIndex::JsonSerialization = storm::JsonSerialization

Definition at line 119 of file ModelIndex.h.

Member Function Documentation

annotation() [1/2]

storm::OptionalRef< ModelIndex::AnnotationMap const > storm::umb::ModelIndex::annotation

(

std::string const &

annotationsType

)

const

Definition at line 100 of file ModelIndex.cpp.

annotation() [2/2]

storm::OptionalRef< ModelIndex::AnnotationMap > storm::umb::ModelIndex::annotation	(	std::string const &	annotationsType,
		bool	createIfMissing = false )

Definition at line 85 of file ModelIndex.cpp.

aps() [1/2]

storm::OptionalRef< ModelIndex::AnnotationMap const > storm::umb::ModelIndex::aps

(

)

const

Definition at line 73 of file ModelIndex.cpp.

aps() [2/2]

storm::OptionalRef< ModelIndex::AnnotationMap > storm::umb::ModelIndex::aps

(

bool

createIfMissing = false

)

Definition at line 69 of file ModelIndex.cpp.

findAnnotationName()

std::optional< std::string > storm::umb::ModelIndex::findAnnotationName	(	std::string const &	annotationsType,
		std::string const &	id ) const

Definition at line 117 of file ModelIndex.cpp.

findAPName()

std::optional< std::string > storm::umb::ModelIndex::findAPName

(

std::string const &

id

)

const

Finds a name of the annotation (i.e.

key in the AnnotationMap) by

• first searching if there is an alias matching the given id
• and if no alias exist checks if the id is a key in the AnnotationMap

Definition at line 109 of file ModelIndex.cpp.

findRewardName()

std::optional< std::string > storm::umb::ModelIndex::findRewardName

(

std::string const &

id

)

const

Definition at line 113 of file ModelIndex.cpp.

rewards() [1/2]

storm::OptionalRef< ModelIndex::AnnotationMap const > storm::umb::ModelIndex::rewards

(

)

const

Definition at line 81 of file ModelIndex.cpp.

rewards() [2/2]

storm::OptionalRef< ModelIndex::AnnotationMap > storm::umb::ModelIndex::rewards

(

bool

createIfMissing = false

)

Definition at line 77 of file ModelIndex.cpp.

Member Data Documentation

annotations

std::optional<std::map<std::string, AnnotationMap> > storm::umb::ModelIndex::annotations

Definition at line 109 of file ModelIndex.h.

fileData

std::optional<FileData> storm::umb::ModelIndex::fileData

Definition at line 37 of file ModelIndex.h.

formatRevision

uint64_t storm::umb::ModelIndex::formatRevision {0}

Definition at line 16 of file ModelIndex.h.

formatVersion

uint64_t storm::umb::ModelIndex::formatVersion {1}

Definition at line 16 of file ModelIndex.h.

JsonKeys

auto constexpr storm::umb::ModelIndex::JsonKeys = {"format-version", "format-revision", "model-data", "file-data", "transition-system", "annotations", "valuations"}

staticconstexpr

Definition at line 118 of file ModelIndex.h.

modelData

std::optional<ModelData> storm::umb::ModelIndex::modelData

Definition at line 25 of file ModelIndex.h.

transitionSystem

struct storm::umb::ModelIndex::TransitionSystem storm::umb::ModelIndex::transitionSystem

valuations

std::optional<Valuations> storm::umb::ModelIndex::valuations

Definition at line 116 of file ModelIndex.h.

---

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

• src/storm/storage/umb/model/ModelIndex.h
• src/storm/storage/umb/model/ModelIndex.cpp