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
std::deque<propositional_variable_instantiation> mcrl2::pbes_system::pbesinst_lazy_todo::todo

Protected member functions

bool check_invariants() const

Public member functions

std::vector<propositional_variable_instantiation> all_elements() const
const propositional_variable_instantiation &back() const
const std::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 std::unordered_set<propositional_variable_instantiation> &discovered)
const std::unordered_set<propositional_variable_instantiation> &irrelevant_elements() const
std::unordered_set<propositional_variable_instantiation> &irrelevant_elements()
void pop_back()
void pop_front()
void set_todo(std::deque<propositional_variable_instantiation> &new_todo)
std::size_t size() const