mcrl2::pbes_system::pbesinst_lazy_todo Class Reference

#include <pbesinst_lazy.h>

Public Member Functions
const propositional_variable_instantiation &	front () const
const propositional_variable_instantiation &	back () const
bool	empty () const
std::size_t	size () const
const atermpp::deque< propositional_variable_instantiation > &	elements () const
const std::unordered_set< propositional_variable_instantiation > &	irrelevant_elements () const
std::unordered_set< propositional_variable_instantiation > &	irrelevant_elements ()
void	pop_front ()
void	pop_back ()
void	insert (const propositional_variable_instantiation &x)
template<typename FwdIter , bool ThreadSafe>
void	insert (FwdIter first, FwdIter last, const atermpp::indexed_set< propositional_variable_instantiation, ThreadSafe > &discovered, const std::size_t thread_index)
void	set_todo (atermpp::deque< propositional_variable_instantiation > &new_todo)

Protected Member Functions
bool	check_invariants () const

Protected Attributes
std::unordered_set< propositional_variable_instantiation >	irrelevant
atermpp::deque< propositional_variable_instantiation >	todo

Detailed Description

Definition at line 40 of file pbesinst_lazy.h.

Member Function Documentation

back()

const propositional_variable_instantiation & mcrl2::pbes_system::pbesinst_lazy_todo::back ( ) const

inline

Definition at line 67 of file pbesinst_lazy.h.

check_invariants()

bool mcrl2::pbes_system::pbesinst_lazy_todo::check_invariants ( ) const

inlineprotected

Definition at line 47 of file pbesinst_lazy.h.

elements()

const atermpp::deque< propositional_variable_instantiation > & mcrl2::pbes_system::pbesinst_lazy_todo::elements ( ) const

inline

Definition at line 82 of file pbesinst_lazy.h.

empty()

bool mcrl2::pbes_system::pbesinst_lazy_todo::empty ( ) const

inline

Definition at line 72 of file pbesinst_lazy.h.

front()

const propositional_variable_instantiation & mcrl2::pbes_system::pbesinst_lazy_todo::front ( ) const

inline

Definition at line 62 of file pbesinst_lazy.h.

insert() [1/2]

void mcrl2::pbes_system::pbesinst_lazy_todo::insert ( const propositional_variable_instantiation &  x )

inline

Definition at line 107 of file pbesinst_lazy.h.

insert() [2/2]

template<typename FwdIter , bool ThreadSafe>

void mcrl2::pbes_system::pbesinst_lazy_todo::insert ( FwdIter  first, FwdIter  last, const atermpp::indexed_set< propositional_variable_instantiation, ThreadSafe > &  discovered, const std::size_t  thread_index  )

inline

Definition at line 114 of file pbesinst_lazy.h.

irrelevant_elements() [1/2]

std::unordered_set< propositional_variable_instantiation > & mcrl2::pbes_system::pbesinst_lazy_todo::irrelevant_elements ( )

inline

Definition at line 92 of file pbesinst_lazy.h.

irrelevant_elements() [2/2]

const std::unordered_set< propositional_variable_instantiation > & mcrl2::pbes_system::pbesinst_lazy_todo::irrelevant_elements ( ) const

inline

Definition at line 87 of file pbesinst_lazy.h.

pop_back()

void mcrl2::pbes_system::pbesinst_lazy_todo::pop_back ( )

inline

Definition at line 102 of file pbesinst_lazy.h.

pop_front()

void mcrl2::pbes_system::pbesinst_lazy_todo::pop_front ( )

inline

Definition at line 97 of file pbesinst_lazy.h.

set_todo()

void mcrl2::pbes_system::pbesinst_lazy_todo::set_todo ( atermpp::deque< propositional_variable_instantiation > &  new_todo )

inline

Definition at line 136 of file pbesinst_lazy.h.

size()

std::size_t mcrl2::pbes_system::pbesinst_lazy_todo::size ( ) const

inline

Definition at line 77 of file pbesinst_lazy.h.

Member Data Documentation

irrelevant

std::unordered_set<propositional_variable_instantiation> mcrl2::pbes_system::pbesinst_lazy_todo::irrelevant

protected

Definition at line 43 of file pbesinst_lazy.h.

todo

atermpp::deque<propositional_variable_instantiation> mcrl2::pbes_system::pbesinst_lazy_todo::todo

protected

Definition at line 44 of file pbesinst_lazy.h.

---

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

• pbes/include/mcrl2/pbes/pbesinst_lazy.h