From aca042bf6ac5cd8410b108e4397ae4c10ff67427 Mon Sep 17 00:00:00 2001 From: Birte Kristina Friesel Date: Thu, 22 May 2025 11:29:15 +0200 Subject: Featured Automata learner: now with actual guards. whoop whoop! --- lib/utils.py | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'lib/utils.py') diff --git a/lib/utils.py b/lib/utils.py index c148426..48a29d8 100644 --- a/lib/utils.py +++ b/lib/utils.py @@ -325,6 +325,14 @@ def param_dict_to_str(param_dict): return " ".join(ret) +def param_str_to_dict(param_str): + ret = dict() + for param_pair in param_str.split(): + key, value = param_pair.split("=") + ret[key] = soft_cast_int_or_float(value) + return ret + + def observations_enum_to_bool(observations: list, kconfig=False): """ Convert enum / categorical observations to boolean-only ones. -- cgit v1.2.3