storm::settings::JaniConversionOptionsBuilder Class Reference

Builds storm::converter::JaniConversionOptions based on the currently registered JaniExportSettings. More...

#include <JaniConversionOptionsBuilder.h>

Public Member Functions
	JaniConversionOptionsBuilder ()=delete

Static Public Member Functions
static storm::converter::JaniConversionOptions	buildJaniConversionOptions ()

Detailed Description

Builds storm::converter::JaniConversionOptions based on the currently registered JaniExportSettings.

The options themselves do not know about settings; this class is the only place where the settings are translated into options.

Definition at line 13 of file JaniConversionOptionsBuilder.h.

Constructor & Destructor Documentation

JaniConversionOptionsBuilder()

storm::settings::JaniConversionOptionsBuilder::JaniConversionOptionsBuilder ( )

delete

Member Function Documentation

buildJaniConversionOptions()

storm::converter::JaniConversionOptions storm::settings::JaniConversionOptionsBuilder::buildJaniConversionOptions ( )

static

Definition at line 8 of file JaniConversionOptionsBuilder.cpp.

---

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

• src/storm-conv/settings/JaniConversionOptionsBuilder.h
• src/storm-conv/settings/JaniConversionOptionsBuilder.cpp