mcrl2::lts::detail::deadlock_detector

Include file:

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

Protected attributes

const std::string &filename_prefix
std::size_t m_max_trace_count
trace_constructor &m_trace_constructor
trace_constructor<Explorer> &m_trace_constructor
std::size_t m_trace_count

Public member functions

deadlock_detector(trace_constructor &trace_constructor_, const std::string &filename_prefix_, std::size_t max_trace_count)
deadlock_detector(trace_constructor<Explorer> &trace_constructor_, const std::string &filename_prefix_, std::size_t max_trace_count)
void detect_deadlock(const lps::state &s, std::size_t s_index)
void detect_deadlock(const lps::state &s, std::size_t s_index)