Storm
A Modern Probabilistic Model Checker
|
#include <Signature.h>
Public Member Functions | |
Signature ()=default | |
Signature (storm::dd::Add< DdType, ValueType > const &signatureAdd) | |
storm::dd::Add< DdType, ValueType > const & | getSignatureAdd () const |
Definition at line 12 of file Signature.h.
|
default |
storm::dd::bisimulation::Signature< DdType, ValueType >::Signature | ( | storm::dd::Add< DdType, ValueType > const & | signatureAdd | ) |
Definition at line 8 of file Signature.cpp.
storm::dd::Add< DdType, ValueType > const & storm::dd::bisimulation::Signature< DdType, ValueType >::getSignatureAdd | ( | ) | const |
Definition at line 13 of file Signature.cpp.