Experiment with statically generating sets of concurrent transitions.

examples/digitalwatch/run.py

@@ -29,6 +29,12 @@ def main():
             method()
 
     cd = load_cd("model_digitalwatch.xml")
+
+    # from sccd.statechart.static import tree
+    # # tree.concurrency_arena_orthogonal( cd.statechart.tree )
+    # tree.concurrency_src_dst_orthogonal( cd.statechart.tree )
+    # exit()
+
     controller = Controller(cd, output_callback=on_output)
     eventloop = EventLoop(controller, TkInterImplementation(tk))