storm::parser::detail Namespace Reference

Classes
struct	DrnHeader

Functions
DirectEncodingValueType	valueTypeFromString (std::string const &valueTypeStr)
std::string	toString (DirectEncodingValueType const &vt)
template<typename ValueType >
std::string	valueTypeToString ()
template<typename OutputValueType >
bool	isCompatibleValueType (DirectEncodingValueType fileValueType)
DrnHeader	parseHeader (std::istream &file)
template<typename ValueType >
ValueType	parseValue (std::string const &valueStr, std::unordered_map< std::string, ValueType > const &placeholders, ValueParser< ValueType > const &valueParser)
template<typename ValueType , typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>>
std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	parseModel (std::istream &file, DrnHeader const &header, DirectEncodingParserOptions const &options)
std::shared_ptr< storm::models::ModelBase >	parseModel (DirectEncodingValueType valueType, std::istream &file, DrnHeader const &header, DirectEncodingParserOptions const &options)
auto	openFileAsInputStream (std::filesystem::path const &file, auto &&f)

Function Documentation

isCompatibleValueType()

template<typename OutputValueType >

bool storm::parser::detail::isCompatibleValueType

(

DirectEncodingValueType

fileValueType

)

Definition at line 80 of file DirectEncodingParser.cpp.

openFileAsInputStream()

auto storm::parser::detail::openFileAsInputStream	(	std::filesystem::path const &	file,
		auto &&	f
	)

Definition at line 532 of file DirectEncodingParser.cpp.

parseHeader()

DrnHeader storm::parser::detail::parseHeader

(

std::istream &

file

)

Definition at line 106 of file DirectEncodingParser.cpp.

parseModel() [1/2]

std::shared_ptr< storm::models::ModelBase > storm::parser::detail::parseModel	(	DirectEncodingValueType	valueType,
		std::istream &	file,
		DrnHeader const &	header,
		DirectEncodingParserOptions const &	options
	)

Definition at line 501 of file DirectEncodingParser.cpp.

parseModel() [2/2]

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

std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > > storm::parser::detail::parseModel	(	std::istream &	file,
		DrnHeader const &	header,
		DirectEncodingParserOptions const &	options
	)

Definition at line 197 of file DirectEncodingParser.cpp.

parseValue()

template<typename ValueType >

ValueType storm::parser::detail::parseValue	(	std::string const &	valueStr,
		std::unordered_map< std::string, ValueType > const &	placeholders,
		ValueParser< ValueType > const &	valueParser
	)

Definition at line 185 of file DirectEncodingParser.cpp.

toString()

std::string storm::parser::detail::toString

(

DirectEncodingValueType const &

vt

)

Definition at line 45 of file DirectEncodingParser.cpp.

valueTypeFromString()

DirectEncodingValueType storm::parser::detail::valueTypeFromString

(

std::string const &

valueTypeStr

)

Definition at line 29 of file DirectEncodingParser.cpp.

valueTypeToString()

template<typename ValueType >

std::string storm::parser::detail::valueTypeToString

(

)

Definition at line 65 of file DirectEncodingParser.cpp.