6 lines
125 B
Text
6 lines
125 B
Text
set instance rasms robot
|
|
set instance one zone
|
|
set predicate (robot_at rasms one)
|
|
set goal (and(robot_moved rasms one))
|
|
run
|
|
|