Former-commit-id: 38313193b6
38313193b6
@ -10,7 +10,7 @@ namespace storm {
namespace detail {
template<typename VariableType>
VariableType& Dereferencer<VariableType>::operator()(std::shared_ptr<VariableType> const& d) {
VariableType& Dereferencer<VariableType>::operator()(std::shared_ptr<VariableType> const& d) const {
return *d;
}
@ -19,7 +19,7 @@ namespace storm {
class Dereferencer {
public:
VariableType& operator()(std::shared_ptr<VariableType> const& d);
VariableType& operator()(std::shared_ptr<VariableType> const& d) const;
};
@ -3,6 +3,7 @@
#include <set>
#include <string>
#include <memory>
#include "src/storage/prism/Composition.h"
@ -1,6 +1,7 @@
#ifndef STORM_STORAGE_PRISM_RENAMINGCOMPOSITION_H_
#define STORM_STORAGE_PRISM_RENAMINGCOMPOSITION_H_
#include <map>
#include <boost/optional.hpp>