Mercurial > hg > Applications > Lite

annotate tk/gi4.lite @ 22:29cf617f49db default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
newer CVS version
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 22 Apr 2016 16:47:13 +0900
parents 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1 %
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2 % specification for simple graphics interaction
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 %
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 specification((
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 +(((stop->
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 keep(not(move))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 ((start ->
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9 keep((green,move;not(green),not(move))))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 next(halt((stop;start;quit)))
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 )),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 proj(
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 ( length(10),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 ((stable(red),stable(green))&skip)
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15 ),(
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 st(s0),halt(quit)
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 )
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 )
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19 )).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
20
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
21 st_variables([stop,start,quit],[red,green,move]).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
22
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
23
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
24 st(s0,(green,not(red)),s1).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
25 st(s1,(not(green),red),s0).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
26 st(s0,empty,empty).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
27 st(s1,empty,empty).