Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
InternalSignatureRefiner.h
Go to the documentation of this file.
1#pragma once
2
4
5namespace storm {
6namespace dd {
7namespace bisimulation {
8
9template<storm::dd::DdType DdType, typename ValueType>
10class InternalSignatureRefiner;
11
20
22 public:
24 ReuseWrapper(bool value);
25
26 bool isReused() const;
27 void setReused();
28
29 private:
30 bool value;
31};
32
33} // namespace bisimulation
34} // namespace dd
35} // namespace storm
LabParser.cpp.
Definition cli.cpp:18