storm::dft::utility::DftModularizer< ValueType > Class Template Reference

Find modules (independent subtrees) in DFT. More...

#include <DftModularizer.h>

Public Types
using	DFTElementCPointer = std::shared_ptr< storm::dft::storage::elements::DFTElement< ValueType > const >
using	ElementId = size_t

Public Member Functions
	DftModularizer ()=default
	Constructor.
storm::dft::storage::DftIndependentModule	computeModules (storm::dft::storage::DFT< ValueType > const &dft)
	Compute modules of DFT by applying the LTA/DR algorithm.

Detailed Description

template<typename ValueType>
class storm::dft::utility::DftModularizer< ValueType >

Find modules (independent subtrees) in DFT.

The computation follows the LTA/DR algorithm from: Dutuit, Rauzy: "A linear-time algorithm to find modules of fault trees"

See also

http://doi.org/10.1109/24.537011 Trivial modules containing single BEs are also contained.

Definition at line 17 of file DftModularizer.h.

Member Typedef Documentation

DFTElementCPointer

template<typename ValueType >

using storm::dft::utility::DftModularizer< ValueType >::DFTElementCPointer = std::shared_ptr<storm::dft::storage::elements::DFTElement<ValueType> const>

Definition at line 19 of file DftModularizer.h.

ElementId

template<typename ValueType >

using storm::dft::utility::DftModularizer< ValueType >::ElementId = size_t

Definition at line 20 of file DftModularizer.h.

Constructor & Destructor Documentation

DftModularizer()

template<typename ValueType >

storm::dft::utility::DftModularizer< ValueType >::DftModularizer ( )

default

Constructor.

Member Function Documentation

computeModules()

template<typename ValueType >

storm::dft::storage::DftIndependentModule storm::dft::utility::DftModularizer< ValueType >::computeModules

(

storm::dft::storage::DFT< ValueType > const &

dft

)

Compute modules of DFT by applying the LTA/DR algorithm.

Parameters

dft

DFT.

Returns

Independent module of top-level element. All sub-modules are contained in this module.

Definition at line 7 of file DftModularizer.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-dft/utility/DftModularizer.h
• src/storm-dft/utility/DftModularizer.cpp