From: Brian Norris <banorris@uci.edu>
Date: Wed, 9 Jan 2013 22:07:07 +0000 (-0800)
Subject: cyclegraph: add documentation
X-Git-Tag: oopsla2013~364
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=b69a6cb48fdd66361adae1d3bbe0c0a743830966

cyclegraph: add documentation
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 2dc2eae..8326f28 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -317,6 +317,7 @@ unsigned int CycleNode::getNumBackEdges() const
 /**
  * Adds an edge from this CycleNode to another CycleNode.
  * @param node The node to which we add a directed edge
+ * @return True if this edge is a new edge; false otherwise
  */
 bool CycleNode::addEdge(CycleNode *node)
 {