From: pimjager Date: Tue, 14 Jun 2016 10:05:05 +0000 (+0200) Subject: Gaat de goede kant op X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=10df1a675da1776f737a1f374c32ecca3ed3b2c2;p=mc1516the.git Gaat de goede kant op --- diff --git a/uppaal/2.xml b/uppaal/2.xml index 7091457..153e6b9 100644 --- a/uppaal/2.xml +++ b/uppaal/2.xml @@ -9,27 +9,54 @@ const int N = 13; typedef int[0,N-1] id_c; -chan up[N], down[N], left[N], right[N]; +broadcast chan up[N], down[N], left[N], right[N], start; + +chan reg; + +bool grid[6][6];