diff options
Diffstat (limited to 'lib')
| -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. |