mcrl2::lts::detail::deadlock_detector< Explorer > Class Template Reference

#include <state_space_generator.h>

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)

Protected Attributes
trace_constructor< Explorer > &	m_trace_constructor
const std::string &	filename_prefix
std::size_t	m_trace_count = 0
std::size_t	m_max_trace_count

Detailed Description

template<typename Explorer>
class mcrl2::lts::detail::deadlock_detector< Explorer >

Definition at line 275 of file state_space_generator.h.

Constructor & Destructor Documentation

deadlock_detector()

template<typename Explorer >

mcrl2::lts::detail::deadlock_detector< Explorer >::deadlock_detector ( trace_constructor< Explorer > &  trace_constructor_, const std::string &  filename_prefix_, std::size_t  max_trace_count  )

inline

Definition at line 284 of file state_space_generator.h.

Member Function Documentation

detect_deadlock()

template<typename Explorer >

void mcrl2::lts::detail::deadlock_detector< Explorer >::detect_deadlock ( const lps::state &  s, std::size_t  s_index  )

inline

Definition at line 294 of file state_space_generator.h.

Member Data Documentation

filename_prefix

template<typename Explorer >

const std::string& mcrl2::lts::detail::deadlock_detector< Explorer >::filename_prefix

protected

Definition at line 279 of file state_space_generator.h.

m_max_trace_count

template<typename Explorer >

std::size_t mcrl2::lts::detail::deadlock_detector< Explorer >::m_max_trace_count

protected

Definition at line 281 of file state_space_generator.h.

m_trace_constructor

template<typename Explorer >

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

protected

Definition at line 278 of file state_space_generator.h.

m_trace_count

template<typename Explorer >

std::size_t mcrl2::lts::detail::deadlock_detector< Explorer >::m_trace_count = 0

protected

Definition at line 280 of file state_space_generator.h.

---

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

• lts/include/mcrl2/lts/state_space_generator.h