mcrl2::lts::detail::convertor< lts_lts_base, lts_dot_base > Class Reference

#include <lts_convert.h>

Public Member Functions
	convertor (const lts_lts_base &, lts_dot_base &)

Public Attributes
std::size_t	m_state_count = 0

Detailed Description

Definition at line 320 of file lts_convert.h.

Constructor & Destructor Documentation

convertor()

mcrl2::lts::detail::convertor< lts_lts_base, lts_dot_base >::convertor ( const lts_lts_base &  , lts_dot_base &    )

inline

Definition at line 325 of file lts_convert.h.

Member Data Documentation

m_state_count

std::size_t mcrl2::lts::detail::convertor< lts_lts_base, lts_dot_base >::m_state_count = 0

Definition at line 323 of file lts_convert.h.

---

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

• lts/include/mcrl2/lts/detail/lts_convert.h