mcrl2::lts::detail::progress_monitor

Include file:

#include "mcrl2/lts/state_space_generator.h

class mcrl2::lts::detail::progress_monitor

Protected attributes

std::atomic<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::atomic<std::size_t> mcrl2::lts::detail::progress_monitor::transition_count

Public member functions

void examine_transition()

void finish_exploration(std::size_t state_count, std::size_t number_of_threads)

void finish_state(std::size_t state_count, std::size_t todo_list_size, std::size_t number_of_threads)

progress_monitor(lps::exploration_strategy search_strategy_)