From 37c91f0eb1ae3d0c83ead5935e379b1064c0ca78 Mon Sep 17 00:00:00 2001 From: Alex <alexandravigneron1@gmail.com> Date: Thu, 2 Jul 2020 15:03:11 +0200 Subject: [PATCH] fixed informDelta in waitingFR --- doc/report/figures/fsm/full_mgm2_agent.gv | 4 ++++ .../scadcop/solver/decentralized/mgm2/AgentBehaviour.scala | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/doc/report/figures/fsm/full_mgm2_agent.gv b/doc/report/figures/fsm/full_mgm2_agent.gv index ab51fc7..85eb010 100644 --- a/doc/report/figures/fsm/full_mgm2_agent.gv +++ b/doc/report/figures/fsm/full_mgm2_agent.gv @@ -39,6 +39,10 @@ digraph finite_state_machine { stash "]; + WaitingRoleAssignment -> WaitingRoleAssignment [label = "neighbour : InformDelta(d) => + stash + "]; + WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) => unstashall "]; diff --git a/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala b/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala index e1904d3..3ec17e6 100644 --- a/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala +++ b/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala @@ -104,6 +104,11 @@ class AgentBehaviour(variable: Variable, */ when(WaitingForRole){ + case Event(InformDelta(_), mind) => { + stash + stay using mind + } + case Event(MakeOffer(_), mind) => { stash stay using mind -- GitLab