mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Private Attributes | List of all members
mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb Class Reference

#include <liblts_bisim_gj_lazy_BLC.h>

Public Types

using const_iterator = std::vector< state_in_block_pointer_lb >::const_iterator
 
using iterator = std::vector< state_in_block_pointer_lb >::iterator
 

Public Member Functions

bool find (const state_in_block_pointer_lb s) const
 
void add_todo (const state_in_block_pointer_lb s)
 
std::size_t todo_is_empty () const
 
state_in_block_pointer_lb move_from_todo ()
 Move a state from the todo part to the definitive vector.
 
void swap_vec (std::vector< state_in_block_pointer_lb > &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_lb * data () const
 
const state_in_block_pointer_lb * data_end () const
 
const state_in_block_pointer_lb & front () const
 
void reserve (std::vector< state_in_block_pointer_lb >::size_type new_cap)
 
iterator begin ()
 
iterator end ()
 
void add_todo (iterator begin, iterator end)
 add all elements in [begin, end) to the vector
 
void clear ()
 

Private Attributes

std::size_t m_todo_indicator =0
 
std::vector< state_in_block_pointer_lb > 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 218 of file liblts_bisim_gj_lazy_BLC.h.

Member Typedef Documentation

◆ const_iterator

using mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::const_iterator = std::vector<state_in_block_pointer_lb>::const_iterator

Definition at line 224 of file liblts_bisim_gj_lazy_BLC.h.

◆ iterator

using mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::iterator = std::vector<state_in_block_pointer_lb>::iterator

Definition at line 296 of file liblts_bisim_gj_lazy_BLC.h.

Member Function Documentation

◆ add_todo() [1/2]

void mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::add_todo ( const state_in_block_pointer_lb  s)
inline

Definition at line 232 of file liblts_bisim_gj_lazy_BLC.h.

◆ add_todo() [2/2]

void mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::add_todo ( iterator  begin,
iterator  end 
)
inline

add all elements in [begin, end) to the vector

Definition at line 309 of file liblts_bisim_gj_lazy_BLC.h.

◆ begin() [1/2]

iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::begin ( )
inline

Definition at line 298 of file liblts_bisim_gj_lazy_BLC.h.

◆ begin() [2/2]

const_iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::begin ( ) const
inline

Definition at line 266 of file liblts_bisim_gj_lazy_BLC.h.

◆ clear()

void mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::clear ( )
inline

Definition at line 314 of file liblts_bisim_gj_lazy_BLC.h.

◆ data()

const state_in_block_pointer_lb * mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::data ( ) const
inline

Definition at line 276 of file liblts_bisim_gj_lazy_BLC.h.

◆ data_end()

const state_in_block_pointer_lb * mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::data_end ( ) const
inline

Definition at line 281 of file liblts_bisim_gj_lazy_BLC.h.

◆ empty()

std::size_t mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::empty ( ) const
inline

Definition at line 261 of file liblts_bisim_gj_lazy_BLC.h.

◆ end() [1/2]

iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::end ( )
inline

Definition at line 303 of file liblts_bisim_gj_lazy_BLC.h.

◆ end() [2/2]

const_iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::end ( ) const
inline

Definition at line 271 of file liblts_bisim_gj_lazy_BLC.h.

◆ find()

bool mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::find ( const state_in_block_pointer_lb  s) const
inline

Definition at line 227 of file liblts_bisim_gj_lazy_BLC.h.

◆ front()

const state_in_block_pointer_lb & mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::front ( ) const
inline

Definition at line 286 of file liblts_bisim_gj_lazy_BLC.h.

◆ move_from_todo()

state_in_block_pointer_lb mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::move_from_todo ( )
inline

Move a state from the todo part to the definitive vector.

Definition at line 243 of file liblts_bisim_gj_lazy_BLC.h.

◆ reserve()

void mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::reserve ( std::vector< state_in_block_pointer_lb >::size_type  new_cap)
inline

Definition at line 291 of file liblts_bisim_gj_lazy_BLC.h.

◆ size()

std::size_t mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::size ( ) const
inline

Definition at line 256 of file liblts_bisim_gj_lazy_BLC.h.

◆ swap_vec()

void mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::swap_vec ( std::vector< state_in_block_pointer_lb > &  other_vec)
inline

Definition at line 250 of file liblts_bisim_gj_lazy_BLC.h.

◆ todo_is_empty()

std::size_t mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::todo_is_empty ( ) const
inline

Definition at line 237 of file liblts_bisim_gj_lazy_BLC.h.

Member Data Documentation

◆ m_todo_indicator

std::size_t mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::m_todo_indicator =0
private

Definition at line 220 of file liblts_bisim_gj_lazy_BLC.h.

◆ m_vec

std::vector<state_in_block_pointer_lb> mcrl2::lts::detail::bisimulation_gj_lazy_BLC::todo_state_vector_lb::m_vec
private

Definition at line 221 of file liblts_bisim_gj_lazy_BLC.h.

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