mcrl2::lts::detail::lts_aut_base Class Reference

#include <lts_aut.h>

Inheritance diagram for mcrl2::lts::detail::lts_aut_base:

Public Member Functions
lts_type	type ()
	Provides the type of this lts, in casu lts_aut.
void	swap (lts_aut_base &) noexcept
	Standard swap function.
bool	operator== (const lts_aut_base &) const
	Standard equality function.

Detailed Description

Definition at line 35 of file lts_aut.h.

Member Function Documentation

operator==()

bool mcrl2::lts::detail::lts_aut_base::operator== ( const lts_aut_base &  ) const

inline

Standard equality function.

Parameters

[in]

other

Value to compare with.

Definition at line 52 of file lts_aut.h.

swap()

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

inlinenoexcept

Standard swap function.

Definition at line 45 of file lts_aut.h.

type()

lts_type mcrl2::lts::detail::lts_aut_base::type ( )

inline

Provides the type of this lts, in casu lts_aut.

Definition at line 39 of file lts_aut.h.

---

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

• lts/include/mcrl2/lts/lts_aut.h