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

fixed informDelta in waitingFR

parent b5589b35
No related branches found
No related tags found
No related merge requests found
......@@ -39,6 +39,10 @@ digraph finite_state_machine {
stash
"];
WaitingRoleAssignment -> WaitingRoleAssignment [label = "neighbour : InformDelta(d) =>
stash
"];
WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) =>
unstashall
"];
......
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment