From d83bc70c16225e18e9d0d13eec7c552b14e802ab Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 4 Nov 2021 11:54:31 +0100
Subject: [PATCH] Removed methods for JaniBoundedIntegerVariables to account
 for changes in Storm

---
 src/storage/jani.cpp | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/storage/jani.cpp b/src/storage/jani.cpp
index 1e081d698..894d3e76d 100644
--- a/src/storage/jani.cpp
+++ b/src/storage/jani.cpp
@@ -135,7 +135,6 @@ void define_jani(py::module& m) {
             return py::make_iterator(v.begin(), v.end());
         }, py::keep_alive<0, 1>())
         .def("add_variable", [](VariableSet& vs, Variable& v) -> void { vs.addVariable(v); })
-        .def("add_bounded_integer_variable", [](VariableSet& vs, BoundedIntegerVariable& v) -> auto& { return vs.addVariable(v); /*return vs.getVariable(v.getExpressionVariable());*/ }, py::return_value_policy::reference_internal, "variable"_a)
         .def("empty", &VariableSet::empty, "is there a variable in the set?")
         .def("get_variable_by_name", [](VariableSet& v, std::string const& name) -> auto& { return v.getVariable(name);})
         .def("get_variable_by_expr_variable", [](VariableSet& v, storm::expressions::Variable const& var) -> auto& { return v.getVariable(var);})
@@ -147,15 +146,6 @@ void define_jani(py::module& m) {
             .def_property_readonly("expression_variable", &Variable::getExpressionVariable, "expression variable for this variable")
             .def_property_readonly("init_expression", &Variable::getInitExpression);
 
-    py::class_<BoundedIntegerVariable, std::shared_ptr<BoundedIntegerVariable>> bivariable(m, "JaniBoundedIntegerVariable", "A Bounded Integer", variable);
-    bivariable.def(py::init<std::string, storm::expressions::Variable, storm::expressions::Expression, storm::expressions::Expression, storm::expressions::Expression>(),
-                "name"_a, "expression_variable"_a, "init_value"_a, "lower_bound"_a, "upper_bound"_a)
-            .def(py::init<std::string, storm::expressions::Variable, storm::expressions::Expression, storm::expressions::Expression>(),
-                 "name"_a, "expression_variable"_a, "lower_bound"_a, "upper_bound"_a)
-            .def_property_readonly("lower_bound", &BoundedIntegerVariable::getLowerBound)
-            .def_property_readonly("upper_bound", &BoundedIntegerVariable::getUpperBound)
-    ;
-
     py::class_<Constant, std::shared_ptr<Constant>> constant(m, "JaniConstant", "A Constant in JANI");
     constant.def(py::init<std::string, storm::expressions::Variable>())
         .def_property_readonly("defined", &Constant::isDefined, "is constant defined by some expression")