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