mcrl2/bes/traverser.h

Include file:

#include "mcrl2/bes/traverser.h"

add your file description here.

Classes

• mcrl2::bes::add_traverser_boolean_expressions
• mcrl2::bes::add_traverser_boolean_variables
• mcrl2::bes::boolean_expression_traverser
• mcrl2::bes::boolean_variable_traverser