FDEPConflictFinder.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
#include "storm-dft/storage/DFT.h"
 
namespace storm::dft {
namespace utility {
 
template<typename ValueType>
class FDEPConflictFinder {
   public:
    static std::vector<std::pair<uint64_t, uint64_t>> getDependencyConflicts(storm::dft::storage::DFT<ValueType> const& dft, bool useSMT = false,
                                                                             uint_fast64_t timeout = 10);
 
    static std::vector<bool> getDynamicBehavior(storm::dft::storage::DFT<ValueType> const& dft);
};
 
}  // namespace utility
}  // namespace storm::dft