add your file description here. More...

Classes
class	mcrl2::pbes_system::detail::standard_form_traverser
	Traverser that implements the standard form normalization. More...

Namespaces
namespace	mcrl2

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

namespace	mcrl2::pbes_system::detail

Typedefs
using	mcrl2::pbes_system::detail::standard_form_pair = std::pair< pbes_expression, standard_form_type >

Enumerations
enum	mcrl2::pbes_system::detail::standard_form_type { mcrl2::pbes_system::detail::standard_form_both , mcrl2::pbes_system::detail::standard_form_and , mcrl2::pbes_system::detail::standard_form_or }

Functions
void	mcrl2::pbes_system::make_standard_form (pbes &eqn, bool recursive_form=false)
	Transforms a PBES into standard form.

Detailed Description

add your file description here.

Definition in file normal_forms.h.

Classes