diff options
| author | Birte Kristina Friesel <birte.friesel@uos.de> | 2025-05-21 13:44:52 +0200 |
|---|---|---|
| committer | Birte Kristina Friesel <birte.friesel@uos.de> | 2025-05-21 13:44:52 +0200 |
| commit | 824fdca7224a5973f6d9bb4f429c38244378eac8 (patch) | |
| tree | 0eaacffad03925b3ef83d6be236c6f22f437d834 /bin/analyze-trace.py | |
| parent | b178b9f8c286e184dce8ec014dd475fb187ec788 (diff) | |
learn_pta: Add transition to final / accepting state
Diffstat (limited to 'bin/analyze-trace.py')
| -rwxr-xr-x | bin/analyze-trace.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/analyze-trace.py b/bin/analyze-trace.py index 76a0064..8404ccd 100755 --- a/bin/analyze-trace.py +++ b/bin/analyze-trace.py @@ -105,8 +105,10 @@ def learn_pta(observations, annotation): ), } ) - print(annotation.start.param) - print(delta) + + if not prev in delta: + delta[prev] = set() + delta[prev].add("__end__") return meta_observations |