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

#include <SymmetryFinder.h>

Static Public Member Functions
static storm::dft::storage::DftSymmetries	findSymmetries (storm::dft::storage::DFT< ValueType > const &dft)
	Find symmetries in the given DFT.

Detailed Description

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

Definition at line 19 of file SymmetryFinder.h.

Member Function Documentation

findSymmetries()

template<typename ValueType >

storm::dft::storage::DftSymmetries storm::dft::utility::SymmetryFinder< ValueType >::findSymmetries ( storm::dft::storage::DFT< ValueType > const &  dft )

static

Find symmetries in the given DFT.

Parameters

dft

The DFT.

Returns

The symmetries found for the DFT.

Definition at line 10 of file SymmetryFinder.cpp.

---

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

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