谁能帮我想想这个程序要怎么写呢，谢谢。
Prince of Persia里面的一个puzzle,需要先用c语言实现，然后再用model checker 验证。
 
迷宫里面的cell有三种不同的type构成，每种type有不同的沟让水流过。H代表摇杆可以控制其周围的cell。摇杆转动时，周围的cell同时转动。要求给出摇杆转动的顺序，使得能让水从入口流向出口。具体操作见下图。图中右下角的表格代表每个Handle可以控制的cell.
Areas rotated中黑色代表顺时针转动，红色代表逆时针转动。




我C语言和算法的基础比较差，明白的同学帮帮忙吧，先谢谢了~~~~~