Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
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: