X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=45e49fb7bec3950656054e02f92b06aa5cf3ae65;hb=ecf4c35df39672c99e638045087266d2cd098cfa;hp=f2f30329203c226c5a7a1c6140fa3043bb260613;hpb=b410cb21b726638c0618e1a0b420374a707fb64b;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index f2f3032..45e49fb 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -42,7 +42,7 @@ class CycleGraph {
  private:
 	void putNode(const ModelAction *act, CycleNode *node);
 	CycleNode * getNode(const ModelAction *);
-	HashTable<CycleNode *, CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> *discovered;
+	HashTable<const CycleNode *, const CycleNode *, uintptr_t, 4, model_malloc, model_calloc, model_free> *discovered;
 
 	/** @brief A table for mapping ModelActions to CycleNodes */
 	HashTable<const ModelAction *, CycleNode *, uintptr_t, 4> actionToNode;
@@ -50,7 +50,7 @@ class CycleGraph {
 	std::vector<CycleNode *> nodeList;
 #endif
 
-	bool checkReachable(CycleNode *from, CycleNode *to) const;
+	bool checkReachable(const CycleNode *from, const CycleNode *to) const;
 
 	/** @brief A flag: true if this graph contains cycles */
 	bool hasCycles;