model: add prototypes to header

[model-checker.git] / tree.cc

diff --git a/tree.cc b/tree.cc
index f42202ec1bfd46f9935805eceafbc8930f4d7aff..3a7f5c40e694cd4c8658ff1e122cd6959eaa3f87 100644 (file)
--- a/tree.cc
+++ b/tree.cc
@@ -34,7 +34,7 @@ TreeNode *TreeNode::exploreChild(tree_t id)
 
 int TreeNode::setBacktrack(tree_t id)
 {
-       if (backtrack.find(id) == backtrack.end())
+       if (backtrack.find(id) != backtrack.end())
                return 1;
        backtrack.insert(id);
        return 0;
@@ -43,7 +43,7 @@ int TreeNode::setBacktrack(tree_t id)
 tree_t TreeNode::getNextBacktrack()
 {
        if (backtrack.empty())
-               return NULL;
+               return TREE_T_NONE;
        return *backtrack.begin();
 }