mcrl2/pbes/parity_game_generator.h

Include file:

#include "mcrl2/pbes/parity_game_generator.h"

A class for generating a parity game from a pbes.

Classes

• mcrl2::pbes_system::parity_game_generator