storm::parser::ImcaMarkovAutomatonParser< ValueType > Class Template Reference

#include <ImcaMarkovAutomatonParser.h>

Static Public Member Functions
static std::shared_ptr< storm::models::sparse::MarkovAutomaton< ValueType > >	parseImcaFile (std::string const &filename)
	Parses the given file under the assumption that it contains a Markov automaton specified in the imca format.

Detailed Description

template<typename ValueType = double>
class storm::parser::ImcaMarkovAutomatonParser< ValueType >

Definition at line 9 of file ImcaMarkovAutomatonParser.h.

Member Function Documentation

parseImcaFile()

template<typename ValueType >

std::shared_ptr< storm::models::sparse::MarkovAutomaton< ValueType > > storm::parser::ImcaMarkovAutomatonParser< ValueType >::parseImcaFile ( std::string const &  filename )

static

Parses the given file under the assumption that it contains a Markov automaton specified in the imca format.

Parameters

filename

The name of the file to parse.

Returns

The obtained Markov automaton

Definition at line 16 of file ImcaMarkovAutomatonParser.cpp.

---

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

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