From 0374fcd3104476b4e252c4f85727076c2aaf16f0 Mon Sep 17 00:00:00 2001
From: Alex <alexandravigneron1@gmail.com>
Date: Fri, 3 Jul 2020 10:06:38 +0200
Subject: [PATCH] corrected matching names automaton-text-code
---
doc/report/figures/fsm/agent_beginning.gv | 6 +++---
doc/report/figures/fsm/full_mgm2_agent.gv | 6 +++---
doc/report/main.tex | 2 +-
3 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/doc/report/figures/fsm/agent_beginning.gv b/doc/report/figures/fsm/agent_beginning.gv
index b079a4f..65c80e8 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 85eb010..4ded0aa 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 0df1e52..4860d00 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}}
--
GitLab