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

corrected matching names automaton-text-code

parent 72f6bd94
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/report/figures/fsm/agent_beginning.gv
+ 3
− 3
View file @ 0374fcd3
...@@ -19,7 +19,7 @@ digraph finite_state_machine { ...@@ -19,7 +19,7 @@ digraph finite_state_machine {
self.reset(self.var) self.reset(self.var)
broadcast ! InformValue(self.var.val) broadcast ! InformValue(self.var.val)
subset = self.determineSubset(threshold) subset = self.determineSubset(threshold)
self ! determineSubset(threshold) self ! ChooseSubset(threshold)
unstashall unstashall
"]; "];
...@@ -43,11 +43,11 @@ digraph finite_state_machine { ...@@ -43,11 +43,11 @@ digraph finite_state_machine {
stash stash
"]; "];
WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) => WaitingRoleAssignment -> OffererWaitingValues [ label = "self : ChooseSubset(true) =>
unstashall unstashall
"]; "];
WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : DetermineSubset(false) => WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : ChooseSubset(false) =>
unstashall unstashall
"]; "];
......
doc/report/figures/fsm/full_mgm2_agent.gv
+ 3
− 3
View file @ 0374fcd3
...@@ -19,7 +19,7 @@ digraph finite_state_machine { ...@@ -19,7 +19,7 @@ digraph finite_state_machine {
self.reset(self.var) self.reset(self.var)
broadcast ! InformValue(self.var.val) broadcast ! InformValue(self.var.val)
subset = self.determineSubset(threshold) subset = self.determineSubset(threshold)
self ! determineSubset(threshold) self ! ChooseSubset(threshold)
unstashall unstashall
"]; "];
...@@ -43,7 +43,7 @@ digraph finite_state_machine { ...@@ -43,7 +43,7 @@ digraph finite_state_machine {
stash stash
"]; "];
WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) => WaitingRoleAssignment -> OffererWaitingValues [ label = "self : ChooseSubset(true) =>
unstashall unstashall
"]; "];
...@@ -51,7 +51,7 @@ digraph finite_state_machine { ...@@ -51,7 +51,7 @@ digraph finite_state_machine {
stash stash
"]; "];
WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : DetermineSubset(false) => WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : ChooseSubset(false) =>
unstashall unstashall
"]; "];
......
doc/report/main.tex
+ 1
− 1
View file @ 0374fcd3
...@@ -66,7 +66,7 @@ ...@@ -66,7 +66,7 @@
%STATES %STATES
\newcommand{\init}{\texttt{Init}} \newcommand{\init}{\texttt{Init}}
\newcommand{\waitingForRole}{\texttt{WaitingRoleAssignment}} \newcommand{\waitingForRole}{\texttt{waitingForRole}}
\newcommand{\offWaitingValues}{\texttt{OffererWaitingValues}} \newcommand{\offWaitingValues}{\texttt{OffererWaitingValues}}
\newcommand{\recWaitingOffers}{\texttt{ReceiverWaitingOffers}} \newcommand{\recWaitingOffers}{\texttt{ReceiverWaitingOffers}}
\newcommand{\offMakingOff}{\texttt{OffererMakingOffer}} \newcommand{\offMakingOff}{\texttt{OffererMakingOffer}}
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment