deque structure for paths added

[mc1516pa.git] / modelchecker / coord.h

diff --git a/modelchecker/coord.h b/modelchecker/coord.h
index e289045..092bdb4 100644 (file)
--- 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;