DftModule.h

Go to the documentation of this file.

#pragma once
 
#include <set>
#include <string>
 
#include "storm/utility/macros.h"
 
namespace storm::dft {
namespace storage {
 
// Forward declaration
template<typename ValueType>
class DFT;
 
class DftModule {
   public:
    DftModule(size_t representative, std::set<size_t> const& elements);
 
    size_t getRepresentative() const {
        return representative;
    }
 
    std::set<size_t> const& getElements() const {
        return elements;
    }
 
    void clear() {
        elements.clear();
    }
 
    template<typename ValueType>
    std::string toString(storm::dft::storage::DFT<ValueType> const& dft) const;
 
   protected:
    size_t representative;
    std::set<size_t> elements;
};
 
class DftIndependentModule : public DftModule {
   public:
    DftIndependentModule(size_t representative, std::set<size_t> const& elements, std::set<DftIndependentModule> const& submodules, bool staticElements,
                         bool fullyStatic, bool singleBE);
 
    bool isStatic() const {
        return staticElements;
    }
 
    bool isFullyStatic() const {
        return fullyStatic;
    }
 
    std::set<DftIndependentModule> const& getSubModules() const {
        return submodules;
    }
 
    bool isSingleBE() const {
        return singleBE;
    }
 
    std::set<size_t> getAllElements() const;
 
    template<typename ValueType>
    storm::dft::storage::DFT<ValueType> getSubtree(storm::dft::storage::DFT<ValueType> const& dft) const;
 
    template<typename ValueType>
    std::string toString(storm::dft::storage::DFT<ValueType> const& dft, std::string const& indentation = "") const;
 
    bool operator<(DftIndependentModule const& other) const {
        return this->getRepresentative() < other.getRepresentative();
    }
 
   private:
    bool staticElements;
    bool fullyStatic;
    bool singleBE;
    std::set<DftIndependentModule> submodules;
};
 
}  // namespace storage
}  // namespace storm::dft