mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::lts_aut_base Class Reference

#include <lts_aut.h>

Inheritance diagram for mcrl2::lts::detail::lts_aut_base:
mcrl2::lts::lts< state_label_empty, action_label_string, detail::lts_aut_base > mcrl2::lts::lts_aut_t

Public Member Functions

lts_type type ()
 Provides the type of this lts, in casu lts_aut.

 
void swap (lts_aut_base &)
 Standard swap function.
 
bool operator== (const lts_aut_base &) const
 Standard equality function.
 

Detailed Description

Definition at line 38 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]otherValue to compare with.

Definition at line 55 of file lts_aut.h.

◆ swap()

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

Standard swap function.

Definition at line 48 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 42 of file lts_aut.h.


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