mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer Struct Reference

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

#include <liblts_bisim_gj.h>

Public Member Functions
	state_in_block_pointer (fixed_vector< state_type_gj >::iterator new_ref_state)
	state_in_block_pointer ()
bool	operator== (const state_in_block_pointer &other) const
bool	operator!= (const state_in_block_pointer &other) const

Public Attributes
fixed_vector< state_type_gj >::iterator	ref_state

Detailed Description

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

Definition at line 763 of file liblts_bisim_gj.h.

Constructor & Destructor Documentation

state_in_block_pointer() [1/2]

mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer::state_in_block_pointer ( fixed_vector< state_type_gj >::iterator  new_ref_state )

inline

Definition at line 765 of file liblts_bisim_gj.h.

state_in_block_pointer() [2/2]

mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer::state_in_block_pointer ( )

inline

Definition at line 769 of file liblts_bisim_gj.h.

Member Function Documentation

operator!=()

bool mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer::operator!= ( const state_in_block_pointer &  other ) const

inline

Definition at line 779 of file liblts_bisim_gj.h.

operator==()

bool mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer::operator== ( const state_in_block_pointer &  other ) const

inline

Definition at line 774 of file liblts_bisim_gj.h.

Member Data Documentation

ref_state

fixed_vector<state_type_gj>::iterator mcrl2::lts::detail::bisimulation_gj::state_in_block_pointer::ref_state

Definition at line 772 of file liblts_bisim_gj.h.

---

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

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