From 93c7025733b1c7901fa0365e547577d1155c36bd Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Mon, 25 Nov 2019 11:53:24 +0100
Subject: PTA: also supports non-accepting states

---
 lib/automata.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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.
 
-- 
cgit v1.2.3