projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: print extra backtracking info
[model-checker.git]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index 90d84bd6dea21da0ab677971acdb3893e9609780..f6d3e4e36be07a0ffa0feec975181faacd283f4f 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-63,7
+63,7
@@
public:
/* return true = backtrack set is empty */
bool backtrack_empty() const;
/* return true = backtrack set is empty */
bool backtrack_empty() const;
- void explore_child(ModelAction *act, enabled_type_t *
is_enabled);
+ void explore_child(ModelAction *act, enabled_type_t *is_enabled);
/* return false = thread was already in backtrack */
bool set_backtrack(thread_id_t id);
thread_id_t get_next_backtrack();
/* return false = thread was already in backtrack */
bool set_backtrack(thread_id_t id);
thread_id_t get_next_backtrack();
@@
-166,7
+166,14
@@
public:
MEMALLOC
private:
node_list_t node_list;
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;
};
int total_nodes;
};