Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::expressions::ToCppTranslationOptions Class Reference

#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
 

Detailed Description

Definition at line 15 of file ToCppVisitor.h.

Constructor & Destructor Documentation

◆ ToCppTranslationOptions()

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.

Member Function Documentation

◆ getMode()

ToCppTranslationMode const & storm::expressions::ToCppTranslationOptions::getMode ( ) const

Definition at line 27 of file ToCppVisitor.cpp.

◆ getNames()

std::unordered_map< storm::expressions::Variable, std::string > const & storm::expressions::ToCppTranslationOptions::getNames ( ) const

Definition at line 23 of file ToCppVisitor.cpp.

◆ getPrefixes()

std::unordered_map< storm::expressions::Variable, std::string > const & storm::expressions::ToCppTranslationOptions::getPrefixes ( ) const

Definition at line 19 of file ToCppVisitor.cpp.

The documentation for this class was generated from the following files: