projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
merging stuff...made need to clean up some stuff...but need to push it somewhere...
[model-checker.git]
/
tree.cc
diff --git
a/tree.cc
b/tree.cc
index c161ca838de4947fbfc1ca486aaaf0400ca1475e..263655c75330387b7fd006750de149f77c7df113 100644
(file)
--- a/
tree.cc
+++ b/
tree.cc
@@
-17,7
+17,7
@@
TreeNode::TreeNode(TreeNode *par, ModelAction *act)
}
TreeNode::~TreeNode() {
}
TreeNode::~TreeNode() {
- std::map<int, class TreeNode *>::iterator it;
+ std::map<int, class TreeNode *
, std::less< int >, MyAlloc< std::pair< const int, class TreeNode * > >
>::iterator it;
for (it = children.begin(); it != children.end(); it++)
delete it->second;
for (it = children.begin(); it != children.end(); it++)
delete it->second;
@@
-26,7
+26,7
@@
TreeNode::~TreeNode() {
TreeNode * TreeNode::explore_child(ModelAction *act)
{
TreeNode *n;
TreeNode * TreeNode::explore_child(ModelAction *act)
{
TreeNode *n;
- std::set<int>::iterator it;
+ std::set<int
, std::less< int >, MyAlloc< int >
>::iterator it;
thread_id_t id = act->get_tid();
int i = id_to_int(id);
thread_id_t id = act->get_tid();
int i = id_to_int(id);