parelm.h File Reference

The parelm algorithm. More...

Go to the source code of this file.

Classes
class	mcrl2::pbes_system::pbes_parelm_algorithm
	Algorithm class for the parelm algorithm. More...
struct	mcrl2::pbes_system::pbes_parelm_algorithm::parelm_dependency_traverser

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
int	mcrl2::pbes_system::detail::variable_index (const data::variable_list &variables, const data::variable &d)
	Finds the index of a variable in a sequence.
void	mcrl2::pbes_system::parelm (pbes &p, bool ignore_cex)
	Apply the parelm algorithm.

Detailed Description

The parelm algorithm.

Definition in file parelm.h.