repositories
/
mc1516the.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
81791da
)
!
author
Mart Lubbers
<mart@martlubbers.net>
Tue, 14 Jun 2016 09:36:11 +0000
(11:36 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Tue, 14 Jun 2016 09:36:11 +0000
(11:36 +0200)
uppaal/2.xml
patch
|
blob
|
history
diff --git
a/uppaal/2.xml
b/uppaal/2.xml
index
2361046
..
7091457
100644
(file)
--- a/
uppaal/2.xml
+++ b/
uppaal/2.xml
@@
-2,8
+2,11
@@
<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_2.dtd'>
\r
<nta>
\r
<declaration>// Place global declarations here.
<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_2.dtd'>
\r
<nta>
\r
<declaration>// Place global declarations here.
-
+// Intermediate
const int N = 13;
const int N = 13;
+// Advanced
+//const int N = 7
+
typedef int[0,N-1] id_c;
chan up[N], down[N], left[N], right[N];</declaration>
\r
typedef int[0,N-1] id_c;
chan up[N], down[N], left[N], right[N];</declaration>
\r
@@
-66,6
+69,8
@@
chan up[N], down[N], left[N], right[N];</declaration>
<init ref="id2"/>
\r
</template>
\r
<system>// Place template instantiations here.
<init ref="id2"/>
\r
</template>
\r
<system>// Place template instantiations here.
+
+// Intermediate puzzle
H1 = HorzCar(2, 0, 0, 5);
H2 = HorzCar(2, 1, 2, 5);
V3 = VertCar(2, 2, 4, 4);
H1 = HorzCar(2, 0, 0, 5);
H2 = HorzCar(2, 1, 2, 5);
V3 = VertCar(2, 2, 4, 4);
@@
-79,8
+84,22
@@
HA = HorzCar(2, 9, 1, 0);
VB = VertCar(2, 10, 3, 0);
HC = HorzCar(2, 11, 4, 1);
HD = HorzCar(2, 12, 4, 0);
VB = VertCar(2, 10, 3, 0);
HC = HorzCar(2, 11, 4, 1);
HD = HorzCar(2, 12, 4, 0);
-// List one or more processes to be composed into a system.
system H1, H2, V3, V4, V5, V6, H7, H8, V9, HA, VB, HC, HD;
system H1, H2, V3, V4, V5, V6, H7, H8, V9, HA, VB, HC, HD;
+
+// Advanced puzzle
+/*
+H1 = HorzCar(2, 0, 0, 5);
+V2 = VertCar(2, 1, 2, 4);
+V3 = VertCar(3, 2, 3, 3);
+V4 = VertCar(3, 3, 0, 2);
+H5 = HorzCar(2, 4, 1, 3);
+H6 = HorzCar(3, 5, 1, 2);
+H7 = HorzCar(3, 6, 3, 0);
+system H1, V2, V3, V4, H5, H6, H7
+*/
+
+// List one or more processes to be composed into a system.
+
</system>
\r
<queries>
\r
</queries>
\r
</system>
\r
<queries>
\r
</queries>
\r