storm::parser::DirectEncodingParser< ValueType, RewardModelType > Class Template Reference

Parser for models in the DRN format with explicit encoding. More...

#include <DirectEncodingParser.h>

Static Public Member Functions
static std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	parseModel (std::string const &fil, DirectEncodingParserOptions const &options=DirectEncodingParserOptions())
	Load a model in DRN format from a file and create the model.

Detailed Description

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

Parser for models in the DRN format with explicit encoding.

Definition at line 21 of file DirectEncodingParser.h.

Member Function Documentation

parseModel()

template<typename ValueType , typename RewardModelType >

std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > > storm::parser::DirectEncodingParser< ValueType, RewardModelType >::parseModel ( std::string const &  fil, DirectEncodingParserOptions const &  options = DirectEncodingParserOptions()  )

static

Load a model in DRN format from a file and create the model.

Parameters

file	The DRN file to be parsed.

Returns

A sparse model

Definition at line 34 of file DirectEncodingParser.cpp.

---

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

• src/storm-parsers/parser/DirectEncodingParser.h
• src/storm-parsers/parser/DirectEncodingParser.cpp