Storm
A Modern Probabilistic Model Checker
|
#include <ToCppVisitor.h>
Public Member Functions | |
ToCppTranslationOptions (std::unordered_map< storm::expressions::Variable, std::string > const &prefixes, std::unordered_map< storm::expressions::Variable, std::string > const &names, ToCppTranslationMode mode=ToCppTranslationMode::KeepType) | |
std::unordered_map< storm::expressions::Variable, std::string > const & | getPrefixes () const |
std::unordered_map< storm::expressions::Variable, std::string > const & | getNames () const |
ToCppTranslationMode const & | getMode () const |
Definition at line 15 of file ToCppVisitor.h.
storm::expressions::ToCppTranslationOptions::ToCppTranslationOptions | ( | std::unordered_map< storm::expressions::Variable, std::string > const & | prefixes, |
std::unordered_map< storm::expressions::Variable, std::string > const & | names, | ||
ToCppTranslationMode | mode = ToCppTranslationMode::KeepType |
||
) |
Definition at line 13 of file ToCppVisitor.cpp.
ToCppTranslationMode const & storm::expressions::ToCppTranslationOptions::getMode | ( | ) | const |
Definition at line 27 of file ToCppVisitor.cpp.
std::unordered_map< storm::expressions::Variable, std::string > const & storm::expressions::ToCppTranslationOptions::getNames | ( | ) | const |
Definition at line 23 of file ToCppVisitor.cpp.
std::unordered_map< storm::expressions::Variable, std::string > const & storm::expressions::ToCppTranslationOptions::getPrefixes | ( | ) | const |
Definition at line 19 of file ToCppVisitor.cpp.