view tk/elevator.pl @ 10:f2aa38ce0787

add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 1c57a78f1d98
children
line wrap: on
line source



elevator((

[]((upButton1 -> <>location1)),
[]((upButton2 -> <>location2)),
[]((downButton2 -> <>location2)),
[]((downButton3 -> <>location3)),
[]((destButton1 -> <>location1)),
[]((destButton2 -> <>location2)),
[]((destButton3 -> <>location3)),
[](((location1,<>location3) -> ( [](location2) & @ location3))),
[](((location3,<>location1) -> ( [](location2) & @ location1))),
[](( 
	(location1,~ location2,~ location3);
	(~ location1,location2,~ location3);
	(~ location1,~ location2,location3))),
[](((upButton1,location1) -> (~ move , open))),
[](((upButton2,location2) -> (~ move , open))),
[](((downButton1,location1) -> (~ move , open))),
[](((downButton2,location2) -> (~ move , open))),
[](((destButton1,location1) -> (~ move , open))),
[](((destButton2,location2) -> (~ move , open))),
[](((destButton3,location3) -> (~ move , open))),
[]((move -> ~ open)),
[](((openButton, ~ move) ->  open)),
[](((closeButton, ~ openButton) ->  ~ open))

)).