From acd512dd3502ad4949b960ea88c2bbb03cf64398 Mon Sep 17 00:00:00 2001
From: Alex <alexandravigneron1@gmail.com>
Date: Wed, 8 Jul 2020 09:43:55 +0200
Subject: [PATCH] informdelta in recwaitingval

---
 .../scadcop/solver/decentralized/mgm2/AgentBehaviour.scala  | 6 ++++++
 1 file changed, 6 insertions(+)

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 6ddd9f4..475ebb9 100755
--- a/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala
+++ b/src/main/scala/org/scadcop/solver/decentralized/mgm2/AgentBehaviour.scala
@@ -150,6 +150,12 @@ class AgentBehaviour(variable: Variable,
   * Either the agent is in the OffererWaitingValues state
   */
   when(OffererWaitingValues){
+
+    case Event(InformDelta(_), mind) => {
+      stash
+      stay using mind
+    }
+
     // When the context is partial, the agent is waiting for some InformValue message
     case Event(InformValue(peerValue), mind) if mind.context.size < neighbours.size  =>
     if (debug) println(s"$variable in $stateName has received InformValue and context is partial.")
-- 
GitLab