12template<
typename ValueType>
55 template<
typename ValueType>
78 bool fullyStatic,
bool singleBE);
86 return staticElements;
124 template<
typename ValueType>
133 template<
typename ValueType>
144 std::set<DftIndependentModule> submodules;
Represents a Dynamic Fault Tree.
Represents an independent module/subtree.
std::string toString(storm::dft::storage::DFT< ValueType > const &dft, std::string const &indentation="") const
Get string representation of module.
std::set< size_t > getAllElements() const
Returns all elements contained in the module (including sub-modules).
bool isStatic() const
Returns whether the module contains only static elements (except in sub-modules).
bool isSingleBE() const
Returns whether the module is a single BE, i.e., a trivial module.
bool operator<(DftIndependentModule const &other) const
storm::dft::storage::DFT< ValueType > getSubtree(storm::dft::storage::DFT< ValueType > const &dft) const
Create subtree corresponding to module.
bool isFullyStatic() const
Returns whether the module contains only static elements (also in sub-modules).
std::set< DftIndependentModule > const & getSubModules() const
Returns sub-modules.
Represents a module/subtree in a DFT.
std::set< size_t > const & getElements() const
Return elements of module.
void clear()
Clear list of elements.
std::set< size_t > elements
size_t getRepresentative() const
Get representative (top element of subtree).
std::string toString(storm::dft::storage::DFT< ValueType > const &dft) const
Get string representation of module.