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

updates to fsm

parent 156dc60e
No related branches found
No related tags found
No related merge requests found
......@@ -45,7 +45,7 @@ digraph finite_state_machine {
stash
"];
OffererMakingOffer -> Committed [label = "newPartner : Accept(someOffer) =>
OffererMakingOffer -> Committed [label = "potentialPartner : Accept(someOffer) =>
unstashall
self.fullyCommit(self.var, newPartner, )
self.partner = newPartner
......@@ -63,6 +63,10 @@ digraph finite_state_machine {
broadcast ! InformDelta(self.myDelta)
"];
OffererMakingOffer -> OffererMakingOffer [label = "someNeighbour : RejectOffer(offer) =>
Nothing
"];
/*THE END?*/
......
......@@ -70,6 +70,16 @@ digraph finite_state_machine {
self.neighbourDeltas.put(neighbour, delta)
"];
/*reject*/
Uncommitted -> Uncommitted [label = "neighbour : Reject(someOffer) =>
Nothing
"];
/*reject*/
Uncommitted -> Uncommitted [label = "neighbour : MakeOffer(someOffer) =>
Nothing
"];
/*uncommitted*/
Uncommitted -> ActSolo [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas == #self.neighbours-1) =>
self.neighbourDeltas.put(neighbour, delta)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment