add some comments

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 4c67b5a8056bbcbb54c908f9d8797562c70dd107..02a4a6a29206b34b8b3b22308439807b1b7c1188 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -361,12 +361,12 @@ void ModelChecker::check_current_action(void)
        set_backtracking(curr);
 }
 
-/** @returns whether the current trace is feasible. */
+/** @returns whether the current partial trace is feasible. */
 bool ModelChecker::isfeasible() {
        return !cyclegraph->checkForCycles() && !failed_promise;
 }
 
-/** Returns whether the current trace is feasible. */
+/** Returns whether the current completed trace is feasible. */
 bool ModelChecker::isfinalfeasible() {
        return isfeasible() && promises->size()==0;
 }
@@ -532,7 +532,7 @@ ClockVector * ModelChecker::get_cv(thread_id_t tid) {
 }
 
 
-/** Resolve promises. */
+/** Resolve the given promises. */
 
 void ModelChecker::resolve_promises(ModelAction *write) {
        for(unsigned int i=0, promise_index=0;promise_index<promises->size(); i++) {
@@ -547,6 +547,9 @@ void ModelChecker::resolve_promises(ModelAction *write) {
        }
 }
 
+/** Compute the set of promises that could potentially be satisfied by
+ *  this action. */
+
 void ModelChecker::compute_promises(ModelAction *curr) {
        for(unsigned int i=0;i<promises->size();i++) {
                Promise * promise=(*promises)[i];