Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DftValidator.h
Go to the documentation of this file.
1#pragma once
2
3#include <ostream>
4
5#include "storm-dft/storage/DFT.h"
6
7namespace storm::dft {
8namespace utility {
9
10template<typename ValueType>
11class DftValidator {
12 public:
24 static bool isDftWellFormed(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& stream);
25
37 static bool isDftValidForMarkovianAnalysis(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& stream);
38};
39
40} // namespace utility
41} // namespace storm::dft
storm::dft::storage::DFT
Represents a Dynamic Fault Tree.
Definition DFT.h:52
storm::dft::utility::DftValidator::isDftValidForMarkovianAnalysis
static bool isDftValidForMarkovianAnalysis(storm::dft::storage::DFT< ValueType > const &dft, std::ostream &stream)
Check whether the DFT can be analysed by translation to a Markov model.
Definition DftValidator.cpp:40
storm::dft::utility::DftValidator::isDftWellFormed
static bool isDftWellFormed(storm::dft::storage::DFT< ValueType > const &dft, std::ostream &stream)
Check whether the DFT is well-formed.
Definition DftValidator.cpp:9