ExportOptions.h

Go to the documentation of this file.

#pragma once
 
#include <optional>
#include <set>
#include <string>
 
#include "storm/io/CompressionMode.h"
 
namespace storm::umb {
struct ExportOptions {
    enum class ValueType { Default, Rational, Double, DoubleInterval, RationalInterval } valueType{ValueType::Default};

    bool allowChoiceOriginsAsActions{false};

    bool allowChoiceLabelingAsActions{true};

    storm::io::CompressionMode compression{storm::io::CompressionMode::Default};

    bool canonicizePomdp{true};
};
}  // namespace storm::umb