storm::dd::bisimulation::Signature< DdType, ValueType > Class Template Reference

#include <Signature.h>

Public Member Functions
	Signature ()=default
	Signature (storm::dd::Add< DdType, ValueType > const &signatureAdd)
storm::dd::Add< DdType, ValueType > const &	getSignatureAdd () const

Detailed Description

template<storm::dd::DdType DdType, typename ValueType>
class storm::dd::bisimulation::Signature< DdType, ValueType >

Definition at line 12 of file Signature.h.

Constructor & Destructor Documentation

Signature() [1/2]

template<storm::dd::DdType DdType, typename ValueType >

storm::dd::bisimulation::Signature< DdType, ValueType >::Signature ( )

default

Signature() [2/2]

template<storm::dd::DdType DdType, typename ValueType >

storm::dd::bisimulation::Signature< DdType, ValueType >::Signature

(

storm::dd::Add< DdType, ValueType > const &

signatureAdd

)

Definition at line 8 of file Signature.cpp.

Member Function Documentation

getSignatureAdd()

template<storm::dd::DdType DdType, typename ValueType >

storm::dd::Add< DdType, ValueType > const & storm::dd::bisimulation::Signature< DdType, ValueType >::getSignatureAdd

(

)

const

Definition at line 13 of file Signature.cpp.

---

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

• src/storm/storage/dd/bisimulation/InternalCuddSignatureRefiner.h
• src/storm/storage/dd/bisimulation/Signature.h
• src/storm/storage/dd/bisimulation/Signature.cpp