mcrl2::pbes_system::pbesinst_lazy_todo¶

Include file:

#include "mcrl2/pbes/pbesinst_lazy.h

class mcrl2::pbes_system::pbesinst_lazy_todo¶

Protected attributes¶

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

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

Protected member functions¶

bool check_invariants() const¶

Public member functions¶

const propositional_variable_instantiation &back() const

const atermpp::deque<propositional_variable_instantiation> &elements() const¶

bool empty() const

const propositional_variable_instantiation &front() const

void insert(const propositional_variable_instantiation &x)¶

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

std::unordered_set<propositional_variable_instantiation> &irrelevant_elements()¶

const std::unordered_set<propositional_variable_instantiation> &irrelevant_elements() const¶

void pop_back()

void pop_front()

void set_todo(atermpp::deque<propositional_variable_instantiation> &new_todo)¶

std::size_t size() const