AutomaticSettings.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
#include "storm/utility/Engine.h"
 
namespace storm {
 
namespace jani {
class Model;
class Property;
}  // namespace jani
 
namespace utility {
class AutomaticSettings {
   public:
    AutomaticSettings();

    void predict(storm::jani::Model const& model, storm::jani::Property const& property);

    void predict(storm::jani::Model const& model, storm::jani::Property const& property, uint64_t stateEstimate);

    storm::utility::Engine getEngine() const;
    bool enableBisimulation() const;
    bool enableExact() const;
 
   private:
    // some popular configs
    void sparse();
    void hybrid();
    void dd();
    void exact();
    void ddbisim();
 
    storm::utility::Engine engine;
    bool useBisimulation;
    bool useExact;
};
 
}  // namespace utility
}  // namespace storm