mcrl2::lts::detail::lts_aut_base

Include file:

#include "mcrl2/lts/lts_aut.h

class mcrl2::lts::detail::lts_aut_base

Public member functions

bool operator==(const lts_aut_base&) const

Standard equality function.

Parameters:

• other Value to compare with.

void swap(lts_aut_base&)

Standard swap function.

lts_type type()

Provides the type of this lts, in casu lts_aut.