minor style changes in automata

Author: bygu4

pyformlang/finite_automaton/deterministic_transition_function.py

@@ -13,6 +13,7 @@
     NondeterministicTransitionFunction
 from .nondeterministic_finite_automaton import InvalidEpsilonTransition
 
+
 class DeterministicTransitionFunction(NondeterministicTransitionFunction):
     """A deterministic transition function in a finite automaton
 

pyformlang/finite_automaton/transition_function.py

@@ -11,6 +11,7 @@
 from .state import State
 from .symbol import Symbol
 
+
 class TransitionFunction(Iterable[Tuple[State, Symbol, State]]):
     """ General transition function representation """
 

pyformlang/rsa/recursive_automaton.py

@@ -36,6 +36,26 @@ def __init__(self,
         for box in boxes:
             self._nonterminal_to_box[box.nonterminal] = box
 
+    @property
+    def nonterminals(self) -> Set[Symbol]:
+        """ The set of nonterminals """
+        return set(self._nonterminal_to_box.keys())
+
+    @property
+    def boxes(self) -> Set[Box]:
+        """ The set of boxes """
+        return set(self._nonterminal_to_box.values())
+
+    @property
+    def start_nonterminal(self) -> Symbol:
+        """ The start nonterminal """
+        return self._start_nonterminal
+
+    @property
+    def start_box(self) -> Box:
+        """ The start box """
+        return self._nonterminal_to_box[self.start_nonterminal]
+
     def get_box_by_nonterminal(self, nonterminal: Hashable) -> Optional[Box]:
         """
         Box by nonterminal
@@ -58,26 +78,6 @@ def get_number_boxes(self) -> int:
         """ Size of set of boxes """
         return len(self._nonterminal_to_box)
 
-    @property
-    def nonterminals(self) -> Set[Symbol]:
-        """ The set of nonterminals """
-        return set(self._nonterminal_to_box.keys())
-
-    @property
-    def boxes(self) -> Set[Box]:
-        """ The set of boxes """
-        return set(self._nonterminal_to_box.values())
-
-    @property
-    def start_nonterminal(self) -> Symbol:
-        """ The start nonterminal """
-        return self._start_nonterminal
-
-    @property
-    def start_box(self) -> Box:
-        """ The start box """
-        return self._nonterminal_to_box[self.start_nonterminal]
-
     @classmethod
     def from_regex(cls, regex: Regex, start_nonterminal: Hashable) \
             -> "RecursiveAutomaton":