modelchecker/main.c

   1 #include <stdio.h>
   2
   3 #include <sylvan.h>
   4
   5 //#include <sokoban.h>
   6 //#include <object.h>
   7 //#include <coord.h>
   8 //#include <mc.h>
   9
  10 int main(void){
  11         // Mart:
  12         // Argument parsing
  13         // ./main [opts] [FILEPATH [FILEPATH ...]]
  14         // -o         Objectbased
  15         // -c         Coordinatebased
  16         // -y         hYbrid
  17         // -h         Help
  18         //
  19         // FUTURE:
  20         // -r         Also compute the set of all reachable solution states
  21         // -l LURD    Check if LURD is a valid path
  22         //
  23         // FILEPATH   Optional input file(s)
  24
  25         // Alex:
  26         // Screen reading
  27         // - Removing outside walls
  28         // - Bucket fill
  29         // - [tile]
  30         // - tile = structure {int, int, enumtile}
  31
  32         // Both: Encoding in both schemes
  33
  34         // Future: SMC
  35         return 0;
  36 }