mcrl2::lts::detail::lts_aut_base

Include file:

#include "mcrl2/lts/lts_aut.h
class mcrl2::lts::detail::lts_aut_base

Public member functions

void swap(lts_aut_base&)

Standard swap function.

lts_type type()

Provides the type of this lts, in casu lts_aut.