}
/** This method sets a promise to explore meeting with the given
- * node.
+ * node.
* @param i is the promise index.
*/
return false;
}
-/** This method returns whether the promise set is empty.
+/** This method returns whether the promise set is empty.
*
* @return true if we have explored all promise combinations.
*/
return true;
}
-/**
+/**
* Checks whether the future_values set for this node is empty.
* @return true if the future_values set is empty.
*/