/**
* @brief Computes the backtrack set for this state
- * according to its definition in Simgrid.
+ * according to its definition in SimGrid.
*
* The backtrack set as it appears in DPOR, SDPOR, and ODPOR
* in SimGrid consists of those actors marked as `todo`
*/
void remove_subtree_using_current_out_transition();
bool has_empty_tree() const { return this->wakeup_tree_.empty(); }
+ std::string string_of_wut() const { return this->wakeup_tree_.string_of_whole_tree(); }
+
/**
* @brief
*/