EnvironmentBuilder.h

Go to the documentation of this file.

#pragma once
 
#include "storm/environment/Environment.h"
 
namespace storm {
namespace settings {

class EnvironmentBuilder {
   public:
    EnvironmentBuilder() = delete;
 
    static storm::Environment buildEnvironment();
 
   private:
    static void setDdEnvironment(storm::DdEnvironment& dd);
    static void setExplorationEnvironment(storm::ExplorationEnvironment& exploration);
    static void setModelcheckerEnvironment(storm::ModelCheckerEnvironment& modelchecker);
    static void setSolverEnvironment(storm::SolverEnvironment& solver);
};
 
}  // namespace settings
}  // namespace storm