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

entry in the permutation array More...

#include <liblts_bisim_dnj.h>

Public Member Functions

 permutation_entry ()=default
 default constructor (should not be deleted)
 
 permutation_entry (const permutation_entry &&other) noexcept
 move constructor
 
void operator= (const permutation_entry &&other) noexcept
 move assignment operator
 

Public Attributes

state_info_entryst
 pointer to the state information data structure
 

Detailed Description

entry in the permutation array

Definition at line 987 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ permutation_entry() [1/2]

mcrl2::lts::detail::bisim_dnj::permutation_entry::permutation_entry ( )
default

default constructor (should not be deleted)

◆ permutation_entry() [2/2]

mcrl2::lts::detail::bisim_dnj::permutation_entry::permutation_entry ( const permutation_entry &&  other)
inlinenoexcept

move constructor

The move constructor is called when a temporary object is created; in that case, it is not necessary to set the pos pointer.

Definition at line 1000 of file liblts_bisim_dnj.h.

Member Function Documentation

◆ operator=()

void mcrl2::lts::detail::bisim_dnj::permutation_entry::operator= ( const permutation_entry &&  other)
inlinenoexcept

move assignment operator

The move assignment operator is called when an object is moved to its final place. Therefore, we have to adapt the pos pointer. Note that std::swap also uses move assignment, so we automatically get the correct behaviour there.

Definition at line 1011 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ st

state_info_entry* mcrl2::lts::detail::bisim_dnj::permutation_entry::st

pointer to the state information data structure

Definition at line 990 of file liblts_bisim_dnj.h.


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