mcrl2::lts::detail::progress_monitor

Include file:

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

Protected attributes

std::size_t mcrl2::lts::detail::progress_monitor::count
time_t mcrl2::lts::detail::progress_monitor::last_log_time
std::size_t mcrl2::lts::detail::progress_monitor::last_state_count
std::size_t mcrl2::lts::detail::progress_monitor::last_transition_count
std::size_t mcrl2::lts::detail::progress_monitor::level
std::size_t mcrl2::lts::detail::progress_monitor::level_up
time_t mcrl2::lts::detail::progress_monitor::new_log_time
lps::exploration_strategy mcrl2::lts::detail::progress_monitor::search_strategy
std::size_t mcrl2::lts::detail::progress_monitor::transition_count

Public member functions

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