nodestack: move "behaviors" increment all into Node wrapper function

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 99374a351bc6525b9c8f5131bcaad00761e1b0bf..8573e9f3ded52b3ed4d1c789633d6c3b0c32311d 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -112,6 +112,8 @@ public:
        bool increment_relseq_break();
        bool relseq_break_empty() const;
 
+       bool increment_behaviors();
+
        void print() const;
 
        MEMALLOC