EliminationSettings.h

Go to the documentation of this file.

#ifndef STORM_SETTINGS_MODULES_ELIMINATIONSETTINGS_H_
#define STORM_SETTINGS_MODULES_ELIMINATIONSETTINGS_H_
 
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm {
namespace settings {
namespace modules {
 
class EliminationSettings : public ModuleSettings {
   public:
    enum class EliminationOrder { Forward, ForwardReversed, Backward, BackwardReversed, Random, StaticPenalty, DynamicPenalty, RegularExpression };
 
    enum class EliminationMethod { State, Scc, Hybrid };
 
    EliminationSettings();
 
    EliminationMethod getEliminationMethod() const;
 
    EliminationOrder getEliminationOrder() const;
 
    bool isEliminateEntryStatesLastSet() const;
 
    uint_fast64_t getMaximalSccSize() const;
 
    bool isUseDedicatedModelCheckerSet() const;
 
    const static std::string moduleName;
 
   private:
    const static std::string eliminationMethodOptionName;
    const static std::string eliminationOrderOptionName;
    const static std::string entryStatesLastOptionName;
    const static std::string maximalSccSizeOptionName;
    const static std::string useDedicatedModelCheckerOptionName;
};
 
}  // namespace modules
}  // namespace settings
}  // namespace storm
 
#endif /* STORM_SETTINGS_MODULES_ELIMINATIONSETTINGS_H_ */