Mercurial > hg > Applications > Lite
view tk/gi2.lite @ 10:f2aa38ce0787
add state display.
author | kono |
---|---|
date | Fri, 19 Jan 2001 23:14:00 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
% % specification for simple graphics interaction % specification(( +(((stop-> keep(not(move))), (start -> keep(move)), next(halt((stop;start;quit))) )), proj( ( length(5), ((stable(red),stable(green))&skip) ),( st(s0),halt(quit) ) ) )). st_variables([stop,start,quit],[red,green,move]). st(s0,(green,not(red)),s1). st(s1,(not(green),red),s0). st(s0,empty,empty). st(s1,empty,empty).