mcrl2/core/parser_utility.h

Include file:

#include "mcrl2/core/parser_utility.h"

add your file description here.

Classes

• mcrl2::core::detail::find_and_or
• mcrl2::core::detail::find_left_merge_merge
• mcrl2::core::detail::is_and_node
• mcrl2::core::detail::is_and_or_node
• mcrl2::core::detail::is_binary_operator_node
• mcrl2::core::detail::is_left_merge_merge
• mcrl2::core::detail::is_left_merge_node
• mcrl2::core::detail::is_merge_node
• mcrl2::core::detail::is_or_node

Functions

void mcrl2::core::warn_and_or(const parse_node&)

Prints a warning for each occurrence of ‘x && y || z’ in the parse tree.

void mcrl2::core::warn_left_merge_merge(const parse_node&)

Prints a warning for each occurrence of ‘x ||_ y || z’ in the parse tree.

Functions

void mcrl2::core::detail::foreach_parse_node(const parse_node &x, Function f)

Calls the function f on each node in the parse tree with x as root.