From a50b3864452e72d01f5fe9a7c4a8d0f825b661b4 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 31 Mar 2022 18:39:42 +0200 Subject: --export-pgf-unparam: add parameter values (e.g. for `restrict expr to domain`) --- lib/cli.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'lib') diff --git a/lib/cli.py b/lib/cli.py index 49cb1b7..978f6e7 100644 --- a/lib/cli.py +++ b/lib/cli.py @@ -168,9 +168,16 @@ def export_pgf_unparam(model, pgf_prefix): for name in model.names: for attribute in model.attributes(name): with open(f"{pgf_prefix}{name}-{attribute}.txt", "w") as f: - print("measurement value", file=f) + print("measurement value " + " ".join(model.parameters), file=f) for i, value in enumerate(model.attr_by_name[name][attribute].data): - print(f"{i} {value}", file=f) + parameters = list() + for param in model.attr_by_name[name][attribute].param_values[i]: + if param is None: + parameters.append("{}") + else: + parameters.append(str(param)) + parameters = " ".join(parameters) + print(f"{i} {value} {parameters}", file=f) def add_standard_arguments(parser): -- cgit v1.2.3