Mercurial > hg > Applications > Lite
view tk/gi2.lite @ 2:1c57a78f1d98
Initial revision
author | kono |
---|---|
date | Thu, 18 Jan 2001 23:27:24 +0900 |
parents | |
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).