Skip to content

Commit f7afb85

Browse files
committed
added get_root util for gsm
1 parent 1ee2eab commit f7afb85

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

aalpy/learning_algs/general_passive/GsmNode.py

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -128,6 +128,12 @@ def get_prefix(self, include_output=True):
128128
prefix.reverse()
129129
return prefix
130130

131+
def get_root(self):
132+
current = self
133+
while current.predecessor:
134+
current = current.predecessor
135+
return current
136+
131137
def get_or_create_transitions(self, in_sym) -> Dict[Any, TransitionInfo]:
132138
t = self.transitions.get(in_sym)
133139
if t is None:

0 commit comments

Comments
 (0)