From 76eeadc1a5b256b87c350b84807729507c12245b Mon Sep 17 00:00:00 2001
From: Edi Muskardin <edi.muskardin@silicon-austria.com>
Date: Mon, 16 Sep 2024 13:44:42 +0200
Subject: [PATCH] fix Sevpa type annotation for older versions of Python
---
aalpy/automata/Sevpa.py | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/aalpy/automata/Sevpa.py b/aalpy/automata/Sevpa.py
index b2a782a69ab..113ef9b6fb6 100644
--- a/aalpy/automata/Sevpa.py
+++ b/aalpy/automata/Sevpa.py
@@ -1,11 +1,9 @@
import random
from collections import defaultdict, deque
-from typing import Union
+from typing import Union, List, Dict
from aalpy.base import Automaton, AutomatonState
-from typing import List, Dict
-
class SevpaAlphabet:
"""
@@ -54,7 +52,7 @@ class SevpaState(AutomatonState):
def __init__(self, state_id, is_accepting=False):
super().__init__(state_id)
- self.transitions = defaultdict(list[SevpaTransition])
+ self.transitions = defaultdict(List[SevpaTransition])
self.is_accepting = is_accepting
@@ -90,7 +88,7 @@ class Sevpa(Automaton):
"""
empty = "_"
- def __init__(self, initial_state: SevpaState, states: list[SevpaState]):
+ def __init__(self, initial_state: SevpaState, states: List[SevpaState]):
super().__init__(initial_state, states)
self.initial_state = initial_state
self.states = states