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

permutation_entry &	operator= (const permutation_entry &other) noexcept
	move assignment operator

Public Attributes
state_info_entry *	st
	pointer to the state information data structure

Detailed Description

entry in the permutation array

Definition at line 293 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 306 of file liblts_bisim_dnj.h.

Member Function Documentation

◆ operator=()

permutation_entry & 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 317 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 296 of file liblts_bisim_dnj.h.

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

lts/include/mcrl2/lts/detail/liblts_bisim_dnj.h

Public Member Functions

Public Attributes