tex update
authorMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:21:06 +0000 (20:21 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:21:06 +0000 (20:21 +0200)
report2/implementation.tex

index 9cfcbac..9f8b80e 100644 (file)
@@ -68,3 +68,4 @@ $$next(i_1, i_2, i_3)=\left\{\begin{array}{lll}
        (agent, i_2, i_3) & \text{if } & i_1=agent\\
        (targetagent, i_2, i_3) & \text{if } & i_1=targetagent\\
 \end{array}\right.$$
+