mcrl2::pbes_system::pbes_abstract_algorithm

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.

Parameters:

• 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.