ImportOptions.h

Go to the documentation of this file.

#pragma once
 
namespace storm::umb {
struct ImportOptions {
    enum class ValueType { Default, Rational, Double } valueType{ValueType::Default};

    bool buildChoiceLabeling{true};

    bool buildStateValuations{true};

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