VariablesToConstantsTransformer.h

Go to the documentation of this file.

#pragma once
 
namespace storm {
namespace expressions {
class Expression;
}
 
namespace jani {
class Model;
 
class VariablesToConstantsTransformer {
   public:
    VariablesToConstantsTransformer() = default;

    void transform(Model& model);
};
}  // namespace jani
}  // namespace storm