X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=54b91238d98b2d22155a45a838da9a3b655d376c;hb=776fc7207dec4959b4fa3e4bd7cb71cc38a19353;hp=46b0d4ac4eb803df74d57e53148d0d463f343e26;hpb=b588ae090b73e131a824d5328e5e8a6ead760148;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 46b0d4a..54b9123 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -275,12 +275,13 @@ void CycleGraph::dumpGraphToFile(const char *filename) const
 #endif
 
 /**
- * Checks whether one ModelAction can reach another.
+ * Checks whether one ModelAction can reach another ModelAction/Promise
  * @param from The ModelAction from which to begin exploration
- * @param to The ModelAction to reach
+ * @param to The ModelAction or Promise to reach
  * @return True, @a from can reach @a to; otherwise, false
  */
-bool CycleGraph::checkReachable(const ModelAction *from, const ModelAction *to) const
+template <typename T>
+bool CycleGraph::checkReachable(const ModelAction *from, const T *to) const
 {
 	CycleNode *fromnode = actionToNode.get(from);
 	CycleNode *tonode = actionToNode.get(to);