TransformationSettings.h

Go to the documentation of this file.

#pragma once
 
#include <optional>
 
#include "storm-config.h"
#include "storm/api/transformation.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm {
 
namespace utility::permutation {
enum class OrderKind;
}
 
namespace settings::modules {

class TransformationSettings : public ModuleSettings {
   public:
    TransformationSettings();

    bool isChainEliminationSet() const;

    storm::transformer::EliminationLabelBehavior getLabelBehavior() const;

    bool isToNondeterministicModelSet() const;

    bool isToDiscreteTimeModelSet() const;

    bool isMergeEquivalentStatesSet() const;

    std::optional<storm::utility::permutation::OrderKind> getModelPermutation() const;

    std::optional<uint64_t> getModelPermutationSeed() const;
 
    bool check() const override;
 
    void finalize() override;
 
    // The name of the module.
    static const std::string moduleName;
 
   private:
    // Define the string names of the options as constants.
    static const std::string chainEliminationOptionName;
    static const std::string labelBehaviorOptionName;
    static const std::string toNondetOptionName;
    static const std::string toDiscreteTimeOptionName;
    static const std::string mergeEquivalentStatesOptionName;
    static const std::string permuteModelOptionName;
};
 
}  // namespace settings::modules
}  // namespace storm