fix payntbind method names

paynt/parser/drn_parser.py

@@ -27,7 +27,7 @@ def parse_drn(cls, sketch_path):
                 pomdp_path = sketch_path + '.tmp'
                 state_player_indications = DrnParser.pomdp_from_posmg(sketch_path, pomdp_path)
                 pomdp = DrnParser.read_drn(pomdp_path)
-                explicit_model = payntbind.synthesis.posmgFromPomdp(pomdp, state_player_indications)
+                explicit_model = payntbind.synthesis.posmg_from_pomdp(pomdp, state_player_indications)
                 os.remove(pomdp_path)
             else:
                 explicit_model = DrnParser.read_drn(sketch_path)

paynt/synthesizer/policy_tree.py

@@ -679,7 +679,6 @@ def split(self, family, prop, hole_selection, splitter, policy):
     def evaluate_all(self, family, prop, keep_value_only=False):
         assert not prop.reward, "expecting reachability probability propery"
         game_solver = self.quotient.build_game_abstraction_solver(prop)
-        # game_solver.enable_profiling(True)
         family.candidate_policy = None
         policy_tree = PolicyTree(family)
 
@@ -729,7 +728,6 @@ def evaluate_all(self, family, prop, keep_value_only=False):
         self.stat.num_leaves_merged = len(policy_tree.collect_leaves())
         self.stat.num_policies_merged = len(policy_tree.policies)
         self.policy_tree = policy_tree
-        # game_solver.print_profiling()
 
         # convert policy tree to family evaluation
         evaluations = []

payntbind/src/synthesis/posmg/bindings.cpp

@@ -24,8 +24,8 @@ void bindings_posmg(py::module &m) {
              py::arg("state"), py::arg("action_offset"), "gets the choice index for the offset action from the given state.");
 
 
-    m.def("posmgFromPomdp", &synthesis::posmgFromPomdp<double>, py::arg("pomdp"), py::arg("state_player_indications"));
-    m.def("posmgFromSmg", &synthesis::posmgFromSmg<double>, py::arg("smg"), py::arg("observability_classes"));
+    m.def("posmg_from_pomdp", &synthesis::posmgFromPomdp<double>, py::arg("pomdp"), py::arg("state_player_indications"));
+    m.def("posmg_from_smg", &synthesis::posmgFromSmg<double>, py::arg("smg"), py::arg("observability_classes"));
 
     py::class_<synthesis::PosmgManager<double>, std::shared_ptr<synthesis::PosmgManager<double>>>(m, "PosmgManager")
         .def(py::init<synthesis::Posmg<double> const&, uint64_t>(), py::arg("posmg"), py::arg("optimizing_player"))