.

Route.tla

@@ -23,6 +23,12 @@ ASSUME \A i,j \in Nodes : Connected(i,j)
 
 
 
+\* ReachableFrom returns set of nodes reachable from nodes in S.
+RECURSIVE ReachableFrom(_)
+ReachableFrom(S) == S \cup ReachableFrom({n \in Nodes : \E x \in S : {x,n} \in Edges})
+
+ASSUME ReachableFrom({root}) = Nodes
+
 
 
 --------

Route.toolbox/Route___Model_1.launch

@@ -5,7 +5,7 @@
     <stringAttribute key="distributedNetworkInterface" value="192.168.122.1"/>
     <intAttribute key="distributedNodesCount" value="1"/>
     <stringAttribute key="distributedTLC" value="off"/>
-    <intAttribute key="fpIndex" value="90"/>
+    <intAttribute key="fpIndex" value="52"/>
     <intAttribute key="maxHeapSize" value="25"/>
     <stringAttribute key="modelBehaviorInit" value=""/>
     <stringAttribute key="modelBehaviorNext" value=""/>