mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::lts::detail::progress_monitor Class Reference

#include <state_space_generator.h>

Public Member Functions

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

Protected Attributes

std::size_t level = 1
 
std::size_t level_up = 1
 
std::atomic< std::size_t > count = 0
 
std::atomic< std::size_t > transition_count = 0
 
std::size_t last_state_count = 0
 
std::size_t last_transition_count = 0
 
std::atomic< time_t > last_log_time = time(nullptr) - 1
 
lps::exploration_strategy search_strategy
 

Detailed Description

Definition at line 542 of file state_space_generator.h.

Constructor & Destructor Documentation

◆ progress_monitor()

mcrl2::lts::detail::progress_monitor::progress_monitor ( lps::exploration_strategy  search_strategy_)
inlineexplicit

Definition at line 557 of file state_space_generator.h.

Member Function Documentation

◆ examine_transition()

void mcrl2::lts::detail::progress_monitor::examine_transition ( )
inline

Definition at line 561 of file state_space_generator.h.

◆ finish_exploration()

void mcrl2::lts::detail::progress_monitor::finish_exploration ( std::size_t  state_count,
std::size_t  number_of_threads 
)
inline

Definition at line 626 of file state_space_generator.h.

◆ finish_state()

void mcrl2::lts::detail::progress_monitor::finish_state ( std::size_t  state_count,
std::size_t  todo_list_size,
std::size_t  number_of_threads 
)
inline

Definition at line 566 of file state_space_generator.h.

Member Data Documentation

◆ count

std::atomic<std::size_t> mcrl2::lts::detail::progress_monitor::count = 0
protected

Definition at line 547 of file state_space_generator.h.

◆ last_log_time

std::atomic<time_t> mcrl2::lts::detail::progress_monitor::last_log_time = time(nullptr) - 1
protected

Definition at line 552 of file state_space_generator.h.

◆ last_state_count

std::size_t mcrl2::lts::detail::progress_monitor::last_state_count = 0
protected

Definition at line 550 of file state_space_generator.h.

◆ last_transition_count

std::size_t mcrl2::lts::detail::progress_monitor::last_transition_count = 0
protected

Definition at line 551 of file state_space_generator.h.

◆ level

std::size_t mcrl2::lts::detail::progress_monitor::level = 1
protected

Definition at line 545 of file state_space_generator.h.

◆ level_up

std::size_t mcrl2::lts::detail::progress_monitor::level_up = 1
protected

Definition at line 546 of file state_space_generator.h.

◆ search_strategy

lps::exploration_strategy mcrl2::lts::detail::progress_monitor::search_strategy
protected

Definition at line 554 of file state_space_generator.h.

◆ transition_count

std::atomic<std::size_t> mcrl2::lts::detail::progress_monitor::transition_count = 0
protected

Definition at line 548 of file state_space_generator.h.

The documentation for this class was generated from the following file: