storm::dft::parser::DFTGalileoParser< ValueType > Class Template Reference

Parser for DFT in the Galileo format. More...

#include <DFTGalileoParser.h>

Static Public Member Functions
static storm::dft::storage::DFT< ValueType >	parseDFT (std::string const &filename)
	Parse DFT in Galileo format and build DFT.
static std::string	parseName (std::string const &name)
	Parse element name (strip quotation marks, etc.).

Detailed Description

template<typename ValueType>
class storm::dft::parser::DFTGalileoParser< ValueType >

Parser for DFT in the Galileo format.

The original definition of the Galileo format is given at https://www.cse.msu.edu/~cse870/Materials/FaultTolerant/manual-galileo.htm Extensions of the format are provided at https://dftbenchmarks.utwente.nl/galileo.html

Definition at line 19 of file DFTGalileoParser.h.

Member Function Documentation

parseDFT()

template<typename ValueType >

storm::dft::storage::DFT< ValueType > storm::dft::parser::DFTGalileoParser< ValueType >::parseDFT ( std::string const &  filename )

static

Parse DFT in Galileo format and build DFT.

Parameters

filename

File.

Returns

DFT.

Definition at line 18 of file DFTGalileoParser.cpp.

parseName()

template<typename ValueType >

std::string storm::dft::parser::DFTGalileoParser< ValueType >::parseName ( std::string const &  name )

static

Parse element name (strip quotation marks, etc.).

Parameters

name	Element name.

Returns

Name.

Definition at line 157 of file DFTGalileoParser.cpp.

---

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

• src/storm-dft/parser/DFTGalileoParser.h
• src/storm-dft/parser/DFTGalileoParser.cpp