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
typedef std::vector< state_in_block_pointer >::iterator	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 *	data_end () const
const state_in_block_pointer &	front () const
void	reserve (std::vector< state_in_block_pointer >::size_type new_cap)
iterator	begin ()
iterator	end ()
void	add_todo (iterator begin, iterator end)
void	clear ()

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 198 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 204 of file liblts_bisim_gj.h.

iterator

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

Definition at line 280 of file liblts_bisim_gj.h.

Member Function Documentation

add_todo() [1/2]

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

inline

Definition at line 211 of file liblts_bisim_gj.h.

add_todo() [2/2]

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::add_todo ( iterator  begin, iterator  end  )

inline

Definition at line 293 of file liblts_bisim_gj.h.

begin() [1/2]

iterator mcrl2::lts::detail::bisimulation_gj::todo_state_vector::begin ( )

inline

Definition at line 282 of file liblts_bisim_gj.h.

begin() [2/2]

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

inline

Definition at line 245 of file liblts_bisim_gj.h.

clear()

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

inline

Definition at line 298 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 255 of file liblts_bisim_gj.h.

data_end()

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

inline

Definition at line 260 of file liblts_bisim_gj.h.

empty()

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

inline

Definition at line 240 of file liblts_bisim_gj.h.

end() [1/2]

iterator mcrl2::lts::detail::bisimulation_gj::todo_state_vector::end ( )

inline

Definition at line 287 of file liblts_bisim_gj.h.

end() [2/2]

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

inline

Definition at line 250 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 206 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 265 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 222 of file liblts_bisim_gj.h.

reserve()

void mcrl2::lts::detail::bisimulation_gj::todo_state_vector::reserve ( std::vector< state_in_block_pointer >::size_type  new_cap )

inline

Definition at line 275 of file liblts_bisim_gj.h.

size()

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

inline

Definition at line 235 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 229 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 216 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 200 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 201 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