X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=00f8b3269005c63f93c50fe5e56adc9280c35f57;hb=6b53be4450e3ed383740284bb2ebcacfbd861707;hp=5e892113d2f8d5815b016859baac0ef67e96bb4e;hpb=7934fafd670d93ee7760ddd2fd66b5f1119896c4;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 5e89211..00f8b32 100644
--- 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;
 }