added skeleton

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 5e89211..00f8b32 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -2,7 +2,35 @@
 
 #include <sylvan.h>
 
+//#include <sokoban.h>
+//#include <object.h>
+//#include <coord.h>
+//#include <mc.h>
+
 int main(void){
-       printf("Hello world!\n");
+       // Mart:
+       // Argument parsing
+       // ./main [opts] [FILEPATH [FILEPATH ...]]
+       // -o         Objectbased
+       // -c         Coordinatebased
+       // -y         hYbrid
+       // -h         Help
+       //
+       // FUTURE:
+       // -r         Also compute the set of all reachable solution states
+       // -l LURD    Check if LURD is a valid path
+       //
+       // FILEPATH   Optional input file(s)
+       
+       // Alex:
+       // Screen reading
+       // - Removing outside walls
+       // - Bucket fill
+       // - [tile]
+       // - tile = structure {int, int, enumtile}
+       
+       // Both: Encoding in both schemes
+       
+       // Future: SMC
        return 0;
 }