Browse Source

Added to_string for ModelType

Former-commit-id: e1cf746727 [formerly 912ca0f4f3]
Former-commit-id: 9ebb580890
main
sjunges 9 years ago
parent
commit
a7ff22bd49
  1. 44
      src/storage/jani/ModelType.cpp
  2. 1
      src/storage/jani/ModelType.h

44
src/storage/jani/ModelType.cpp

@ -4,48 +4,38 @@ namespace storm {
namespace jani { namespace jani {
std::ostream& operator<<(std::ostream& stream, ModelType const& type) { std::ostream& operator<<(std::ostream& stream, ModelType const& type) {
return stream << to_string(type);
}
std::string to_string(ModelType const& type) {
switch (type) { switch (type) {
case ModelType::UNDEFINED: case ModelType::UNDEFINED:
stream << "undefined"; return "undefined";
break;
case ModelType::LTS: case ModelType::LTS:
stream << "lts"; return "lts";
break;
case ModelType::DTMC: case ModelType::DTMC:
stream << "dtmc"; return "dtmc";
break;
case ModelType::CTMC: case ModelType::CTMC:
stream << "ctmc"; return "ctmc";
break;
case ModelType::MDP: case ModelType::MDP:
stream << "mdp"; return "mdp";
break;
case ModelType::CTMDP: case ModelType::CTMDP:
stream << "ctmdp"; return "ctmdp";
break;
case ModelType::MA: case ModelType::MA:
stream << "ma"; return "ma";
break;
case ModelType::TA: case ModelType::TA:
stream << "ta"; return "ta";
break;
case ModelType::PTA: case ModelType::PTA:
stream << "pta"; return "pta";
break;
case ModelType::STA: case ModelType::STA:
stream << "sta"; return "sta";
break;
case ModelType::HA: case ModelType::HA:
stream << "ha"; return "ha";
break;
case ModelType::PHA: case ModelType::PHA:
stream << "pha"; return "pha";
break;
case ModelType::SHA: case ModelType::SHA:
stream << "sha"; return "sha";
break;
} }
return stream;
} }
ModelType getModelType(std::string const& input) { ModelType getModelType(std::string const& input) {

1
src/storage/jani/ModelType.h

@ -10,6 +10,7 @@ namespace storm {
HA = 10, PHA = 11, SHA = 12}; HA = 10, PHA = 11, SHA = 12};
ModelType getModelType(std::string const& input); ModelType getModelType(std::string const& input);
std::string to_string(ModelType const& type);
std::ostream& operator<<(std::ostream& stream, ModelType const& type); std::ostream& operator<<(std::ostream& stream, ModelType const& type);
} }
|||||||
100:0
Loading…
Cancel
Save