mcrl2::lts::detail::lts_dot_base

Include file:

#include "mcrl2/lts/lts_dot.h

class mcrl2::lts::detail::lts_dot_base

Public member functions

void swap(lts_dot_base&)

The standard swap function.

lts_type type() const

The lts_type of state_label_dot. In this case lts_dot.