model: privatize, move isfinalfeasible()

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 0e650a3c5b3c530d1fc398c4a07964e59b65dd64..8453f2e51a0c7866da57db9e6b65560442bb1905 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1217,6 +1217,15 @@ bool ModelChecker::isfeasibleprefix() const
        return promises->size() == 0 && pending_rel_seqs->size() == 0 && !is_infeasible();
 }
 
+/** Returns whether the current completed trace is feasible. */
+bool ModelChecker::isfinalfeasible() const
+{
+       if (DBG_ENABLED() && promises->size() != 0)
+               DEBUG("Infeasible: unrevolved promises\n");
+
+       return !is_infeasible() && promises->size() == 0;
+}
+
 /**
  * Check if the current partial trace is infeasible. Does not check any
  * end-of-execution flags, which might rule out the execution. Thus, this is
@@ -1258,15 +1267,6 @@ bool ModelChecker::is_infeasible_ignoreRMW() const
                promises_expired();
 }
 
-/** Returns whether the current completed trace is feasible. */
-bool ModelChecker::isfinalfeasible() const
-{
-       if (DBG_ENABLED() && promises->size() != 0)
-               DEBUG("Infeasible: unrevolved promises\n");
-
-       return !is_infeasible() && promises->size() == 0;
-}
-
 /** Close out a RMWR by converting previous RMWR into a RMW or READ. */
 ModelAction * ModelChecker::process_rmw(ModelAction *act) {
        ModelAction *lastread = get_last_action(act->get_tid());