Browse Source

added virtual destructor for NextStateGenerator

tempestpy_adaptions
TimQu 7 years ago
parent
commit
2646097d8e
  1. 2
      src/storm/generator/NextStateGenerator.h

2
src/storm/generator/NextStateGenerator.h

@ -44,6 +44,8 @@ namespace storm {
*/
NextStateGenerator(storm::expressions::ExpressionManager const& expressionManager, NextStateGeneratorOptions const& options);
virtual ~NextStateGenerator() = default;
uint64_t getStateSize() const;
virtual ModelType getModelType() const = 0;
virtual bool isDeterministicModel() const = 0;

Loading…
Cancel
Save