update to supervisor

doc/fsm/cmd.txt

@@ -8,6 +8,8 @@ dot -Tpng agentBeginning.gv -o agentBeginning.png
 
 dot -Tpng offerer.gv -o offerer.png
 
+dot -Tpng receiver.gv -o receiver.png
+
 dot -Tpng uncommited.gv -o uncommited.png
 
 dot -Tpng committed.gv -o committed.png

doc/fsm/supervisor_mgm2.gv

@@ -10,7 +10,7 @@ digraph finite_state_machine {
     start -> WaitingForAgentValues [label = " broadcast(agents) ! Trigger
     "];
 
-    start -> start [label = " agent : KickStartMe =>
+    WaitingForAgentValues -> WaitingForAgentValues [label = " agent : KickStartMe =>
     agent ! ContinueAlgo
     "];
 
@@ -20,9 +20,12 @@ digraph finite_state_machine {
 
     WaitingForAgentValues -> DecidingToContinueOrStop [label = " sender : InformValue(val) && (#currentContext == #agents - 1) =>
     currentContext.put(sender, val)
-    stopOrContinue = shouldAlgoKeepOn()
-    broadcast(agents) ! WhatToDo(stopOrContinue)
-    self ! WhatToDo(stopOrContinue)
+    self.shouldAlgoKeepOn() match {
+        case true =>    broadcast ! ContinueAlgo
+                        self ! ContinueAlgo
+        case false =>   broadcast ! StopAlgo
+                        self ! StopAlgo
+    }
     "];
 
     WaitingForAgentValues -> WaitingForAgentValues [label = " agent : Trigger =>
@@ -30,7 +33,7 @@ digraph finite_state_machine {
     "];
 
     DecidingToContinueOrStop -> WaitingForAgentValues [label = " self ! ContinueAlgo =>
-    currentContext = ∅
+    currentContext.reset();
     unstashall
     "];