|
@ -1,5 +1,6 @@ |
|
|
#pragma once |
|
|
#pragma once |
|
|
|
|
|
|
|
|
|
|
|
#include <storm/exceptions/IllegalArgumentException.h> |
|
|
#include "defines.h" |
|
|
#include "defines.h" |
|
|
#include "storm/storage/expressions/Expression.h" |
|
|
#include "storm/storage/expressions/Expression.h" |
|
|
#include "storm/storage/expressions/Variable.h" |
|
|
#include "storm/storage/expressions/Variable.h" |
|
@ -146,7 +147,6 @@ namespace storm { |
|
|
return addProgramEdgeToAllGroups(getLocation(sourceId), action, condition, targetId); |
|
|
return addProgramEdgeToAllGroups(getLocation(sourceId), action, condition, targetId); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ProgramVariableIdentifier getVariableId(std::string const& varName) const { |
|
|
ProgramVariableIdentifier getVariableId(std::string const& varName) const { |
|
|
// TODO consider holding a map for this. |
|
|
// TODO consider holding a map for this. |
|
|
for(auto const& v : variables) { |
|
|
for(auto const& v : variables) { |
|
@ -154,7 +154,8 @@ namespace storm { |
|
|
return v.first; |
|
|
return v.first; |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
assert(false); |
|
|
|
|
|
|
|
|
STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentException, "Variable " << varName << " was not found."); |
|
|
|
|
|
return 0; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
std::string const& getVariableName(ProgramVariableIdentifier id) const { |
|
|
std::string const& getVariableName(ProgramVariableIdentifier id) const { |
|
|