X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fcoord.h;h=092bdb41c29d4bd71884887b2e6e16e44ac12143;hb=556ee691ae8364a29c299b37e5709e8fd3ecc3b1;hp=e28904585350ef05d9b6d28bc40d3d94c0b85afd;hpb=c652648c47a5f1206951314a15e540f75cdbcf73;p=mc1516pa.git

diff --git a/modelchecker/coord.h b/modelchecker/coord.h
index e289045..092bdb4 100644
--- a/modelchecker/coord.h
+++ b/modelchecker/coord.h
@@ -13,6 +13,14 @@ typedef struct {
     variables vars;
 } state;
 
+typedef enum { ROOT, L, U, R, D } path_elt;
+
+typedef struct {
+    BDD bdd;
+    variables vars;
+    path_elt origin;
+} state_t;
+
 typedef struct trans {
     BDD bdd;
     variables varset;