repositories / mc1516pa.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
bimap helper added
[mc1516pa.git] / modelchecker / coord.h
1 #ifndef COORD_H
2 #define COORD_H
3
4 #include "sokoban.h"
5
6 BDD encode_screen(sokoban_screen *screen);
7
8 BDD encode_rel(sokoban_screen *screen);
9
10 #endif
Unnamed repository; edit this file 'description' to name the repository.