27 typedef struct trans
{
30 struct trans
*next_rel
;
40 typedef enum { LEFT
, UP
, RIGHT
, DOWN
} direction
;
42 state
*encode_screen(sokoban_screen
*screen
);
44 rels
*encode_rel(sokoban_screen
*screen
);
46 int test_trans(state
*s
, trans_t
*t
);
48 state
*encode_goal(sokoban_screen
*screen
);
50 int check_goal(BDD s
, BDD g
, BDDSET vars
);
52 int check_visited(BDD s
, BDD v
, BDDSET vars
);
54 lurd_t
*lappend(lurd_t
*l
, char c
);
56 state_t
*explstate(state
*init
, rels
*rls
, state
*g
);