Browse Source

hide set_up() (now _set_up()), since it's implicitly called

refactoring
Tom Janson 8 years ago
parent
commit
fa58cf93c0
  1. 2
      lib/stormpy/__init__.py
  2. 2
      src/core/core.cpp

2
lib/stormpy/__init__.py

@ -4,7 +4,7 @@ from . import storage
from .storage import * from .storage import *
from .version import __version__ from .version import __version__
core.set_up("")
core._set_up("")
def build_model(program, formulae): def build_model(program, formulae):
intermediate = core._build_model(program, formulae) intermediate = core._build_model(program, formulae)

2
src/core/core.cpp

@ -2,7 +2,7 @@
void define_core(py::module& m) { void define_core(py::module& m) {
// Init // Init
m.def("set_up", [](std::string const& args) {
m.def("_set_up", [](std::string const& args) {
storm::utility::setUp(); storm::utility::setUp();
storm::settings::initializeAll("StoRM-Py", "stormpy"); storm::settings::initializeAll("StoRM-Py", "stormpy");
storm::settings::SettingsManager::manager().setFromString(args); storm::settings::SettingsManager::manager().setFromString(args);

Loading…
Cancel
Save