Intermediate commit

z3gi/model/__init__.py

@@ -32,6 +32,21 @@ class MultipleTransitionsFired(Exception):
     pass
 
 
+
+def defined_formalisms():
+    import inspect
+    sc = dict()
+    crt = Automaton
+    to_visit = set(crt.__subclasses__())
+    while len(to_visit) > 0:
+        subclass = to_visit.pop()
+        if not inspect.isabstract(subclass):
+            sc[subclass.__name__] = subclass
+        else:
+            to_visit.add(subclass)
+    return sc
+
+
 """A basic abstract automaton model"""
 
 

z3gi/sut/__init__.py

@@ -116,7 +116,6 @@ class SUT(metaclass=ABCMeta):
         """Runs the list of inputs or input signatures comprising the input interface"""
         pass
 
-
 class SUTType(Enum):
     IORA = 1
     RA = 2
@@ -133,6 +132,10 @@ class SUTType(Enum):
     def is_transducer(self):
         return  not self.is_acceptor()
 
+def scalable_sut_classes():
+    sc = dict()
+    for subclass in ScalableSUTClass.__subclasses__():
+        sc[subclass.__name__[:-5]] = subclass
 
 class SUTClass(metaclass=ABCMeta):
     """for a class of systems (say stacks, or logins) provides means of instantiating SUTs of different types"""