Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
BEOrderParser.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4#include <vector>
5
6namespace storm::dft {
7
8// Forward declaration
9namespace storage {
10template<typename ValueType>
11class DFT;
12}
13
14namespace parser {
15
19template<typename ValueType>
20class BEOrderParser {
21 public:
31 static std::vector<size_t> parseBEOrder(std::string const& filename, storm::dft::storage::DFT<ValueType> const& dft);
32};
33
34} // namespace parser
35} // namespace storm::dft
storm::dft::parser::BEOrderParser
Parser for BE order from text file.
Definition BEOrderParser.h:20
storm::dft::parser::BEOrderParser::parseBEOrder
static std::vector< size_t > parseBEOrder(std::string const &filename, storm::dft::storage::DFT< ValueType > const &dft)
Parse BE order from given file.
Definition BEOrderParser.cpp:16
storm::dft::storage::DFT
Represents a Dynamic Fault Tree.
Definition DFT.h:49