X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=cyclegraph.h;h=25401d9a3d349d07f6c4b11fe4a140e041f82394;hp=3f1c9330b4b14631fe70959a0827e70a8d2139bd;hb=0dc4895e7c40b9588d5ece94cba09e2fe2af420d;hpb=ed060a0d38302898816bedc7205d0283fffcc6f1

diff --git a/cyclegraph.h b/cyclegraph.h
index 3f1c933..25401d9 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -68,6 +68,8 @@ class CycleGraph {
 	bool mergeNodes(CycleNode *node1, CycleNode *node2);
 
 	HashTable<const CycleNode *, const CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> *discovered;
+	std::vector< const CycleNode *, ModelAlloc<const CycleNode *> > * queue;
+
 
 	/** @brief A table for mapping ModelActions to CycleNodes */
 	HashTable<const ModelAction *, CycleNode *, uintptr_t, 4> actionToNode;