mcrl2/pbes/pbesinst_structure_graph.h

Include file:

#include "mcrl2/pbes/pbesinst_structure_graph.h"

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

Classes

• mcrl2::pbes_system::pbesinst_structure_graph_algorithm