fixed error in transition receiverAllOfferReceived->Uncommitted

doc/report/figures/fsm/agent_beginning.gv

@@ -39,6 +39,10 @@ digraph finite_state_machine {
     stash
     "];
 
+    WaitingRoleAssignment -> WaitingRoleAssignment [label = "neighbour : MakeOffer(o) =>
+    stash
+    "];
+
     WaitingRoleAssignment -> OffererWaitingValues  [ label = "self : DetermineSubset(true) =>
     unstashall
     "];

doc/report/figures/fsm/committed.gv

@@ -84,7 +84,9 @@ digraph finite_state_machine {
     self ! Act(shouldAct, self.currBestOffer.move)
     "];
 
-
+Committed -> Committed [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
 
     
     GivingPartnerGoNoGo -> GivingPartnerGoNoGo [label = "self.partner : GiveGo =>

doc/report/figures/fsm/full_mgm2_agent.gv

@@ -41,6 +41,10 @@ digraph finite_state_machine {
 
     WaitingRoleAssignment -> OffererWaitingValues  [ label = "self : DetermineSubset(true) =>
     unstashall
+    "];
+
+      WaitingRoleAssignment -> WaitingRoleAssignment [label = "neighbour : MakeOffer(o) =>
+    stash
     "];
 
     WaitingRoleAssignment -> ReceiverWaitingValues  [ label = "self : DetermineSubset(false) =>
@@ -109,6 +113,10 @@ digraph finite_state_machine {
 
     ReceiverWaitingValues -> ReceiverWaitingValues [label = "neighbour : MakeOffer(someOffer/None) =>
     stash
+    "];
+
+    ReceiverWaitingValues -> ReceiverWaitingValues [label = "neighbour : Reject(someOffer) =>
+    Nothing
     "];
 
       /*Receives a neighbour's delta*/
@@ -152,6 +160,10 @@ digraph finite_state_machine {
     stash
     "];
 
+ReceiverAllOffersReceived -> ReceiverAllOffersReceived [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
     /*Receive a void offer from itself: there are no viable offers*/
     ReceiverAllOffersReceived -> Uncommitted [label = "self : BestOffer(None, _) =>
     unstashall
@@ -175,6 +187,10 @@ digraph finite_state_machine {
 
 
 /*THE END?*/
+    Committed -> Committed [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
     /*committed*/
     Committed -> Committed [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas < #self.neighbours-1) =>
     self.neighbourDeltas.put(neighbour, delta)
@@ -187,6 +203,10 @@ digraph finite_state_machine {
     self ! Act(shouldAct, self.currBestOffer.move)
     "];
 
+Uncommitted -> Uncommitted [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
     /*uncommitted*/
     Uncommitted -> Uncommitted [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas < #self.neighbours-1) =>
     self.neighbourDeltas.put(neighbour, delta)

doc/report/figures/fsm/receiver.gv

@@ -71,6 +71,10 @@ digraph finite_state_machine {
     stash
     "];
 
+    ReceiverWaitingValues -> ReceiverWaitingValues [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
 
     /*RECEIVER ALL OFFERS RECEIVED*/
 
@@ -79,6 +83,10 @@ digraph finite_state_machine {
     stash
     "];
 
+    ReceiverAllOffersReceived -> ReceiverAllOffersReceived [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
     /*Receive a void offer from itself: there are no viable offers*/
     ReceiverAllOffersReceived -> Uncommitted [label = "self : BestOffer(None, _) =>
     unstashall

doc/report/figures/fsm/uncommitted.gv

@@ -80,6 +80,10 @@ digraph finite_state_machine {
     Nothing
     "];
 
+Uncommitted -> Uncommitted [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
     /*uncommitted*/
     Uncommitted -> ActSolo [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas == #self.neighbours-1) =>
     self.neighbourDeltas.put(neighbour, delta)

src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala

@@ -318,7 +318,7 @@ class AgentBehaviour(variable: Variable,
       rejectOffers(updatedMind.receivedOffers) //decline all offers
       broadcast(InformDelta(updatedMind.deltas(variable))) //inform all neighbours
       unstashAll
-      goto(Committed) using updatedMind
+      goto(Uncommitted) using updatedMind
   }
 
   /**