mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
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
 
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

atermpp::deque< propositional_variable_instantiation > todo
 

Detailed Description

Definition at line 45 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 64 of file pbesinst_lazy.h.

◆ check_invariants()

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

Definition at line 51 of file pbesinst_lazy.h.

◆ elements()

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

Definition at line 79 of file pbesinst_lazy.h.

◆ empty()

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

Definition at line 69 of file pbesinst_lazy.h.

◆ front()

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

Definition at line 59 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 94 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 100 of file pbesinst_lazy.h.

◆ pop_back()

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

Definition at line 89 of file pbesinst_lazy.h.

◆ pop_front()

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

Definition at line 84 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 116 of file pbesinst_lazy.h.

◆ size()

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

Definition at line 74 of file pbesinst_lazy.h.

Member Data Documentation

◆ todo

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

Definition at line 48 of file pbesinst_lazy.h.

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