DftValidator.h

Go to the documentation of this file.

#pragma once
 
#include <ostream>
 
#include "storm-dft/storage/DFT.h"
 
namespace storm::dft {
namespace utility {
 
template<typename ValueType>
class DftValidator {
   public:
    static bool isDftWellFormed(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& stream);
 
    static bool isDftValidForMarkovianAnalysis(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& stream);
 
    static bool hasPotentialModelingIssues(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& stream);
};
 
}  // namespace utility
}  // namespace storm::dft