mcrl2::lts::detail::deadlock_detector

Include file:

#include "mcrl2/lts/state_space_generator.h

class mcrl2::lts::detail::deadlock_detector

Protected attributes

const std::string &mcrl2::lts::detail::deadlock_detector::filename_prefix

std::size_t mcrl2::lts::detail::deadlock_detector::m_max_trace_count

trace_constructor<Explorer> &mcrl2::lts::detail::deadlock_detector::m_trace_constructor

std::size_t mcrl2::lts::detail::deadlock_detector::m_trace_count

Public member functions

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)