mcrl2/pbes/pbesinst_alternative_lazy_algorithm.h

Include file:

#include "mcrl2/pbes/pbesinst_alternative_lazy_algorithm.h"

An alternative lazy algorithm for instantiating a PBES, ported from bes_deprecated.h.

Classes

• mcrl2::pbes_system::pbesinst_alternative_lazy_algorithm
• mcrl2::pbes_system::detail::rename_pbesinst_consecutively

Functions

mcrl2::pbes_system::pbes_expression mcrl2::pbes_system::pbes_expression_order_quantified_variables(const mcrl2::pbes_system::pbes_expression &p, const mcrl2::data::data_specification &data_spec)

Functions

std::unordered_map<propositional_variable_instantiation, propositional_variable_instantiation> mcrl2::pbes_system::detail::create_pv_renaming(std::vector<std::vector<propositional_variable_instantiation>> &instantiations, bool short_renaming_scheme)