#include "model.h"
#include "threads-model.h"
#include "modeltypes.h"
+#include "execution.h"
/**
* @brief Node constructor
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");