Algorithm class for the abstract algorithm. More...

#include <abstract.h>

Public Member Functions
void	run (pbes &p, const detail::pbes_parameter_map &parameter_map, bool value_true)
	Runs the algorithm.

Detailed Description

Algorithm class for the abstract algorithm.

Definition at line 117 of file abstract.h.

Member Function Documentation

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

inline

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.

Definition at line 124 of file abstract.h.

The documentation for this class was generated from the following file: