projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: don't create empty base node
[model-checker.git]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index f6d3e4e36be07a0ffa0feec975181faacd283f4f..d7c13688e54898dc4fa09d0a532d8866622659a2 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-56,7
+56,7
@@
struct fairness_info {
*/
class Node {
public:
*/
class Node {
public:
- Node(ModelAction *act
= NULL, Node *par = NULL, int nthreads = 2, Node *prevfairness = NULL
);
+ Node(ModelAction *act
, Node *par, int nthreads, Node *prevfairness
);
~Node();
/* return true = thread choice has already been explored */
bool has_been_explored(thread_id_t tid) const;
~Node();
/* return true = thread choice has already been explored */
bool has_been_explored(thread_id_t tid) const;
@@
-171,7
+171,7
@@
private:
* @brief the index position of the current head Node
*
* This index is relative to node_list. The index should point to the
* @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.
+ * current head Node.
It is negative when the list is empty.
*/
int head_idx;
*/
int head_idx;