From 5aa3a8d691c7a0a4b7eda3546b61281bb8638932 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Fri, 22 Feb 2019 14:32:07 +0100 Subject: add ptalog to dfa benchmark generation --- lib/automata.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib') diff --git a/lib/automata.py b/lib/automata.py index 37b52e1..7db1ebf 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -411,6 +411,9 @@ class PTA: self.transitions.append(new_transition) orig_state.add_outgoing_transition(new_transition) + def get_transition_id(self, transition: Transition) -> int: + return self.transitions.index(transition) + def dfs(self, depth: int = 10, orig_state: str = 'UNINITIALIZED', **kwargs): """ Return a generator object for depth-first search starting at orig_state. -- cgit v1.2.3