mcrl2::lts::detail::bisimulation_gj::todo_state_vector Class Reference

#include <liblts_bisim_gj.h>

Public Types
typedef std::vector< state_in_block_pointer >::const_iterator	const_iterator

Public Member Functions
bool	find (const state_in_block_pointer s) const
void	add_todo (const state_in_block_pointer s)
std::size_t	todo_is_empty () const
state_in_block_pointer	move_from_todo ()
void	swap_vec (std::vector< state_in_block_pointer > &other_vec)
std::size_t	size () const
std::size_t	empty () const
const_iterator	begin () const
const_iterator	end () const
const state_in_block_pointer *	data () const
const state_in_block_pointer &	front () const
const state_in_block_pointer &	back () const
void	clear ()
void	clear_todo ()

Private Attributes
std::size_t	m_todo_indicator =0
std::vector< state_in_block_pointer >	m_vec

Detailed Description

a vector with an additional (internal) field to indicate how much work has been done already on it.

Definition at line 787 of file liblts_bisim_gj.h.

Member Typedef Documentation

const_iterator

typedef std::vector<state_in_block_pointer>::const_iterator mcrl2::lts::detail::bisimulation_gj::todo_state_vector::const_iterator

Definition at line 794 of file liblts_bisim_gj.h.

Member Function Documentation

add_todo()

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::add_todo ( const state_in_block_pointer  s )

inline

Definition at line 801 of file liblts_bisim_gj.h.

back()

const state_in_block_pointer & mcrl2::lts::detail::bisimulation_gj::todo_state_vector::back ( ) const

inline

Definition at line 855 of file liblts_bisim_gj.h.

begin()

const_iterator mcrl2::lts::detail::bisimulation_gj::todo_state_vector::begin ( ) const

inline

Definition at line 835 of file liblts_bisim_gj.h.

clear()

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::clear ( )

inline

Definition at line 860 of file liblts_bisim_gj.h.

clear_todo()

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::clear_todo ( )

inline

Definition at line 866 of file liblts_bisim_gj.h.

data()

const state_in_block_pointer * mcrl2::lts::detail::bisimulation_gj::todo_state_vector::data ( ) const

inline

Definition at line 845 of file liblts_bisim_gj.h.

empty()

std::size_t mcrl2::lts::detail::bisimulation_gj::todo_state_vector::empty ( ) const

inline

Definition at line 830 of file liblts_bisim_gj.h.

end()

const_iterator mcrl2::lts::detail::bisimulation_gj::todo_state_vector::end ( ) const

inline

Definition at line 840 of file liblts_bisim_gj.h.

find()

bool mcrl2::lts::detail::bisimulation_gj::todo_state_vector::find ( const state_in_block_pointer  s ) const

inline

Definition at line 796 of file liblts_bisim_gj.h.

front()

const state_in_block_pointer & mcrl2::lts::detail::bisimulation_gj::todo_state_vector::front ( ) const

inline

Definition at line 850 of file liblts_bisim_gj.h.

move_from_todo()

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

inline

Definition at line 812 of file liblts_bisim_gj.h.

size()

std::size_t mcrl2::lts::detail::bisimulation_gj::todo_state_vector::size ( ) const

inline

Definition at line 825 of file liblts_bisim_gj.h.

swap_vec()

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::swap_vec ( std::vector< state_in_block_pointer > &  other_vec )

inline

Definition at line 819 of file liblts_bisim_gj.h.

todo_is_empty()

std::size_t mcrl2::lts::detail::bisimulation_gj::todo_state_vector::todo_is_empty ( ) const

inline

Definition at line 806 of file liblts_bisim_gj.h.

Member Data Documentation

m_todo_indicator

std::size_t mcrl2::lts::detail::bisimulation_gj::todo_state_vector::m_todo_indicator =0

private

Definition at line 789 of file liblts_bisim_gj.h.

m_vec

std::vector<state_in_block_pointer> mcrl2::lts::detail::bisimulation_gj::todo_state_vector::m_vec

private

Definition at line 790 of file liblts_bisim_gj.h.

---

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

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