mcrl2::lts::detail::progress_monitor

Include file:

#include "mcrl2/lts/state_space_generator-cpp17.h
class mcrl2::lts::detail::progress_monitor

Protected attributes

std::size_t count
time_t last_log_time
std::size_t last_state_count
std::size_t last_transition_count
std::size_t level
std::size_t level_up
time_t new_log_time
lps::exploration_strategy search_strategy
std::size_t transition_count

Public member functions

void examine_transition()
void examine_transition()
void finish_exploration(std::size_t state_count)
void finish_exploration(std::size_t state_count)
void finish_state(std::size_t state_count, std::size_t todo_list_size)
void finish_state(std::size_t state_count, std::size_t todo_list_size)
progress_monitor(lps::exploration_strategy search_strategy_)
progress_monitor(lps::exploration_strategy search_strategy_)