projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: register ModelExecution class w/in NodeStack
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index f46e4b75571fd03b414760413bc68beff897f16f..bfcf11ff6dafb0f525b92b202e5401b5f3ce046f 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-9,6
+9,7
@@
#include "model.h"
#include "threads-model.h"
#include "modeltypes.h"
#include "model.h"
#include "threads-model.h"
#include "modeltypes.h"
+#include "execution.h"
/**
* @brief Node constructor
/**
* @brief Node constructor
@@
-761,6
+762,15
@@
NodeStack::~NodeStack()
delete node_list[i];
}
delete node_list[i];
}
+/**
+ * @brief Register the model-checker object with this NodeStack
+ * @param exec The execution structure for the ModelChecker
+ */
+void NodeStack::register_engine(const ModelExecution *exec)
+{
+ this->execution = exec;
+}
+
void NodeStack::print() const
{
model_print("............................................\n");
void NodeStack::print() const
{
model_print("............................................\n");