nodestack: rename 'iter' to 'head_idx'

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 90d84bd6dea21da0ab677971acdb3893e9609780..44d739c9e9d752565fe76b67b4b49dce4cf778d9 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -166,7 +166,14 @@ public:
        MEMALLOC
 private:
        node_list_t node_list;
-       unsigned int iter;
+
+       /**
+        * @brief the index position of the current head Node
+        *
+        * This index is relative to node_list. The index should point to the
+        * current head Node.
+        */
+       int head_idx;
 
        int total_nodes;
 };