projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8e7d068
)
cyclegraph: add documentation
author
Brian Norris
<banorris@uci.edu>
Tue, 5 Feb 2013 06:50:45 +0000
(22:50 -0800)
committer
Brian Norris
<banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000
(13:44 -0800)
cyclegraph.cc
patch
|
blob
|
history
diff --git
a/cyclegraph.cc
b/cyclegraph.cc
index 23e5eca4ec82d28d07393ba7cab344d0837920fd..3bb5ab84a88c240d11ee5b7ae1ed01d2ab7c7207 100644
(file)
--- a/
cyclegraph.cc
+++ b/
cyclegraph.cc
@@
-295,6
+295,7
@@
bool CycleGraph::checkReachable(const CycleNode *from, const CycleNode *to) cons
return false;
}
+/** @return True, if the promise has failed; false otherwise */
bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) const
{
std::vector< CycleNode *, ModelAlloc<CycleNode *> > queue;