diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:53:24 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:53:24 +0100 |
| commit | 93c7025733b1c7901fa0365e547577d1155c36bd (patch) | |
| tree | cdfb23686f64f63e57b6484c5a877a23adc72c19 | |
| parent | 58caad188d5d4cd2ea6fb4c2da723d9cab379c0f (diff) | |
PTA: also supports non-accepting states
| -rwxr-xr-x | lib/automata.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/automata.py b/lib/automata.py index 4aa9a97..3d62735 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -343,7 +343,7 @@ def _json_get_static(base, attribute: str): class PTA: """ - A parameterized priced timed automaton. All states are accepting. + A parameterized priced timed automaton. Suitable for simulation, model storage, and (soon) benchmark generation. |