mcrl2/bes/normal_forms.h¶

Include file:

#include "mcrl2/bes/normal_forms.h"

add your file description here.

Classes¶

mcrl2::bes::detail::standard_form_traverser

Functions¶

void mcrl2::bes::make_standard_form(boolean_equation_system &eqn, bool recursive_form = false)¶

Transforms a BES into standard form.

Parameters:

eqn A boolean equation system
recursive_form Determines whether or not the result will be in standard recursive normal form

Enumerated types¶

type mcrl2::bes::detail::standard_form_type¶

Values:

standard_form_both

standard_form_and
standard_form_or

Typedefs¶

type mcrl2::bes::detail::standard_form_pair¶: typedef for std::pair< boolean_expression, standard_form_type >