projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tree: add is_enabled(Thread *)
[model-checker.git]
/
tree.h
diff --git
a/tree.h
b/tree.h
index 1752d3fe57cdd9535a32a2b18c1e9ddaedf28e30..d45fd83fad60d5fd910e74c057d4f6388c0fac83 100644
(file)
--- a/
tree.h
+++ b/
tree.h
@@
-25,11
+25,14
@@
public:
int setBacktrack(thread_id_t id);
TreeNode * getRoot();
static int getTotalNodes() { return TreeNode::totalNodes; }
int setBacktrack(thread_id_t id);
TreeNode * getRoot();
static int getTotalNodes() { return TreeNode::totalNodes; }
+
+ bool is_enabled(Thread *t);
private:
TreeNode *parent;
std::map<int, class TreeNode *> children;
std::set<int> backtrack;
static int totalNodes;
private:
TreeNode *parent;
std::map<int, class TreeNode *> children;
std::set<int> backtrack;
static int totalNodes;
+ int num_threads;
};
#endif /* __TREE_H__ */
};
#endif /* __TREE_H__ */