mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb Struct Reference

a pointer to a state, i.e. a reference to a state More...

#include <liblts_bisim_gj_lazy_BLC.h>

Public Member Functions
	state_in_block_pointer_lb (fixed_vector< state_type_gj_lb >::iterator new_ref_state)
	state_in_block_pointer_lb ()=default
bool	operator== (const state_in_block_pointer_lb other) const
bool	operator!= (const state_in_block_pointer_lb other) const

Public Attributes
fixed_vector< state_type_gj_lb >::iterator	ref_state

Detailed Description

a pointer to a state, i.e. a reference to a state

Definition at line 195 of file liblts_bisim_gj_lazy_BLC.h.

Constructor & Destructor Documentation

state_in_block_pointer_lb() [1/2]

mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb::state_in_block_pointer_lb ( fixed_vector< state_type_gj_lb >::iterator  new_ref_state )

inline

Definition at line 197 of file liblts_bisim_gj_lazy_BLC.h.

state_in_block_pointer_lb() [2/2]

mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb::state_in_block_pointer_lb ( )

default

Member Function Documentation

operator!=()

bool mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb::operator!= ( const state_in_block_pointer_lb  other ) const

inline

Definition at line 210 of file liblts_bisim_gj_lazy_BLC.h.

operator==()

bool mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb::operator== ( const state_in_block_pointer_lb  other ) const

inline

Definition at line 205 of file liblts_bisim_gj_lazy_BLC.h.

Member Data Documentation

ref_state

fixed_vector<state_type_gj_lb>::iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::state_in_block_pointer_lb::ref_state

Definition at line 203 of file liblts_bisim_gj_lazy_BLC.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_bisim_gj_lazy_BLC.h