X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=7e7d180e0c1bd7a73de4653b657896f5a1df3a29;hb=c7a6544c3f19d8c4d71b82871c832a866f8dbb79;hp=1a3e0eb63f722b95c11b416373e4ca39a9069ddb;hpb=b3b2aa79d695bcef7f7f862aca7d1dffa334b3b8;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 1a3e0eb..7e7d180 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -82,6 +82,7 @@ class CycleGraph {
 
 	/** @brief A flag: true if this graph contains cycles */
 	bool hasCycles;
+	/** @brief The previous value of CycleGraph::hasCycles, for rollback */
 	bool oldCycles;
 
 	SnapVector<CycleNode *> rollbackvector;