From 11f14a4763533dbc24b0e98d115071036025d4f6 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Mon, 22 Jun 2026 00:43:45 +0200 Subject: refinement --- chapters/core/implementation/02-interaction-rules.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'chapters/core/implementation/02-interaction-rules.tex') diff --git a/chapters/core/implementation/02-interaction-rules.tex b/chapters/core/implementation/02-interaction-rules.tex index 49a8a70..8b02c3c 100644 --- a/chapters/core/implementation/02-interaction-rules.tex +++ b/chapters/core/implementation/02-interaction-rules.tex @@ -1,7 +1,7 @@ \subsection{Interaction Rules} \label{sec:interaction-rules} -The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into four groups: +The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into five groups: \begin{itemize} \item \textbf{Carriers}: Agents that contain float attributes. @@ -179,7 +179,7 @@ The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into f (m) $\mathit{TermAdd}$ & (n) $\mathit{TermMul}$ & (o) $\mathit{TermReLU}$ & (p) $\mathit{TermSymbolic}$ & (q) $\mathit{TermConcrete}$ \\[0.5cm] \end{tabular} } - \caption{Agents used in VEIN.} + \caption{Agents used in \textbf{VEIN}.} \label{fig:agents} \end{figure} @@ -495,7 +495,7 @@ If, instead, the first operand is a \textit{Linear} agents and the second is a \ are applied. In the case of addition (\textbf{\Cref{fig:rule-concrete-addchecklinear}}) the system adds the attribute of the \textit{Concrete} agent to the attribute that represents the constant of the \textit{Linear} agent. For multiplication (\textbf{\Cref{fig:rule-concrete-mulchecklinear}}) the system multiplies the attribute of -the \textit{Concrete} agent to both the attributes of the \textit{Linear} +the \textit{Concrete} agent to both the attributes of the \textit{Linear}. % Concrete >< AddCheckLinear \begin{figure}[H] -- cgit v1.2.3