mcrl2::lts::lts_default_base Class Reference

#include <lts.h>

Inheritance diagram for mcrl2::lts::lts_default_base:

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

Detailed Description

Definition at line 40 of file lts.h.

Member Function Documentation

operator==()

bool mcrl2::lts::lts_default_base::operator== ( const lts_default_base &  ) const

inline

Standard equality function.

Parameters

[in]

other

Value to compare with.

Definition at line 57 of file lts.h.

swap()

void mcrl2::lts::lts_default_base::swap ( lts_default_base &  )

inlinenoexcept

Standard swap function.

Definition at line 50 of file lts.h.

type()

lts_type mcrl2::lts::lts_default_base::type ( )

inline

Provides the type of this lts, in casu lts_none.

Definition at line 44 of file lts.h.

---

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

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