A variant of the lazy algorithm for instantiating a PBES, that produces a structure_graph. More...

Classes
class	mcrl2::pbes_system::pbesinst_structure_graph_algorithm
	Variant of pbesinst that will compute a structure graph for a PBES. The result will be put in the structure graph that is passed in the constructor. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

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

Detailed Description

A variant of the lazy algorithm for instantiating a PBES, that produces a structure_graph.

Classes