Include file:

#include "mcrl2/pbes/abstract.h
class mcrl2::pbes_system::pbes_abstract_algorithm

Algorithm class for the abstract algorithm.

Public member functions

void run(pbes &p, const detail::pbes_parameter_map &parameter_map, bool value_true)

Runs the algorithm.


  • p A PBES.
  • parameter_map A map containing the parameters that should be expanded by the algorithm.
  • value_true An indication whether the abstraction is towards true or towards false.