Skip to content
Snippets Groups Projects
Commit acd512dd authored by Alex's avatar Alex
Browse files

informdelta in recwaitingval

parent b63b3d7b
No related branches found
No related tags found
No related merge requests found
...@@ -150,6 +150,12 @@ class AgentBehaviour(variable: Variable, ...@@ -150,6 +150,12 @@ class AgentBehaviour(variable: Variable,
* Either the agent is in the OffererWaitingValues state * Either the agent is in the OffererWaitingValues state
*/ */
when(OffererWaitingValues){ when(OffererWaitingValues){
case Event(InformDelta(_), mind) => {
stash
stay using mind
}
// When the context is partial, the agent is waiting for some InformValue message // When the context is partial, the agent is waiting for some InformValue message
case Event(InformValue(peerValue), mind) if mind.context.size < neighbours.size => 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.") if (debug) println(s"$variable in $stateName has received InformValue and context is partial.")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment