mcrl2::lts::detail::lts_dot_base Class Reference

#include <lts_dot.h>

Inheritance diagram for mcrl2::lts::detail::lts_dot_base:

Public Member Functions
lts_type	type () const
	The lts_type of state_label_dot. In this case lts_dot.
void	swap (lts_dot_base &)
	The standard swap function.

Detailed Description

Definition at line 112 of file lts_dot.h.

Member Function Documentation

swap()

void mcrl2::lts::detail::lts_dot_base::swap ( lts_dot_base &  )

inline

The standard swap function.

Definition at line 124 of file lts_dot.h.

type()

lts_type mcrl2::lts::detail::lts_dot_base::type ( ) const

inline

The lts_type of state_label_dot. In this case lts_dot.

Definition at line 117 of file lts_dot.h.

---

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

• lts/include/mcrl2/lts/lts_dot.h