if (stack_.size() > (std::size_t) _sg_mc_max_depth
} else {
if (stack_.size() > (std::size_t) _sg_mc_max_depth
- || user_max_depth_reached
- || visited_state != nullptr) {
-
- if (user_max_depth_reached && visited_state == nullptr)
- XBT_DEBUG("User max depth reached !");
- else if (visited_state == nullptr)
+ || visitedState_ != nullptr) {
+ if (visitedState_ == nullptr)
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
else
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
else
- XBT_DEBUG("State already visited (equal to state %d), exploration stopped on this path.", visited_state->other_num == -1 ? visited_state->num : visited_state->other_num);
-
+ XBT_DEBUG("State already visited (equal to state %d),"