pbesinst_alternative_lazy_algorithm.h File Reference

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

Go to the source code of this file.

Classes
class	mcrl2::pbes_system::detail::rename_pbesinst_consecutively
class	mcrl2::pbes_system::pbesinst_alternative_lazy_algorithm
	An alternative lazy algorithm for instantiating a PBES, ported from bes_deprecated.h. More...

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

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)
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)

Detailed Description

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

Definition in file pbesinst_alternative_lazy_algorithm.h.