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

Classes
struct	mcrl2::pbes_system::detail::rewrite_star_substitution

class	mcrl2::pbes_system::pbesinst_counter_example_structure_graph_algorithm

class	mcrl2::pbes_system::pbesinst_counter_example_structure_graph_algorithm2

Namespaces
namespace	mcrl2

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

namespace	mcrl2::pbes_system::detail

Functions
propositional_variable_instantiation	mcrl2::pbes_system::rewrite_PVI (const propositional_variable_instantiation PVI, const std::unordered_map< std::string, std::set< int > > R)
	For a given X(e) and set of redundant params R, returns a copy of X(e) without redundancy.

Detailed Description

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

Classes