FunctionEliminator.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
 
namespace storm {
 
namespace expressions {
class Expression;
}
 
namespace jani {
class Model;
class Property;
 
void eliminateFunctions(Model& model, std::vector<Property>& properties);
 
storm::expressions::Expression eliminateFunctionCallsInExpression(storm::expressions::Expression const& expression, Model const& model);
 
}  // namespace jani
}  // namespace storm