diff --git a/doc/report/figures/fsm/agent_beginning.gv b/doc/report/figures/fsm/agent_beginning.gv index b079a4fe17d39f919e5f97aec12653ac77f19a81..65c80e8732a4c31de941b56a071ac6eba6e0f584 100644 --- a/doc/report/figures/fsm/agent_beginning.gv +++ b/doc/report/figures/fsm/agent_beginning.gv @@ -19,7 +19,7 @@ digraph finite_state_machine { self.reset(self.var) broadcast ! InformValue(self.var.val) subset = self.determineSubset(threshold) - self ! determineSubset(threshold) + self ! ChooseSubset(threshold) unstashall "]; @@ -43,11 +43,11 @@ digraph finite_state_machine { stash "]; - WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) => + WaitingRoleAssignment -> OffererWaitingValues [ label = "self : ChooseSubset(true) => unstashall "]; - WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : DetermineSubset(false) => + WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : ChooseSubset(false) => unstashall "]; diff --git a/doc/report/figures/fsm/full_mgm2_agent.gv b/doc/report/figures/fsm/full_mgm2_agent.gv index 85eb010fef04970648fab9709097d6078667194d..4ded0aaea32012e042cafabb9122795e2a34c23a 100644 --- a/doc/report/figures/fsm/full_mgm2_agent.gv +++ b/doc/report/figures/fsm/full_mgm2_agent.gv @@ -19,7 +19,7 @@ digraph finite_state_machine { self.reset(self.var) broadcast ! InformValue(self.var.val) subset = self.determineSubset(threshold) - self ! determineSubset(threshold) + self ! ChooseSubset(threshold) unstashall "]; @@ -43,7 +43,7 @@ digraph finite_state_machine { stash "]; - WaitingRoleAssignment -> OffererWaitingValues [ label = "self : DetermineSubset(true) => + WaitingRoleAssignment -> OffererWaitingValues [ label = "self : ChooseSubset(true) => unstashall "]; @@ -51,7 +51,7 @@ digraph finite_state_machine { stash "]; - WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : DetermineSubset(false) => + WaitingRoleAssignment -> ReceiverWaitingValues [ label = "self : ChooseSubset(false) => unstashall "]; diff --git a/doc/report/main.tex b/doc/report/main.tex index 0df1e523f4de3af547f59503183d099a052cc743..4860d004b0d65ea71d86d7e44043a528e2fa7ac4 100644 --- a/doc/report/main.tex +++ b/doc/report/main.tex @@ -66,7 +66,7 @@ %STATES \newcommand{\init}{\texttt{Init}} -\newcommand{\waitingForRole}{\texttt{WaitingRoleAssignment}} +\newcommand{\waitingForRole}{\texttt{waitingForRole}} \newcommand{\offWaitingValues}{\texttt{OffererWaitingValues}} \newcommand{\recWaitingOffers}{\texttt{ReceiverWaitingOffers}} \newcommand{\offMakingOff}{\texttt{OffererMakingOffer}}