parser_utility.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::core::detail::is_binary_operator_node
	Checks if a node is the binary operation op. More...
struct	mcrl2::core::detail::is_and_node
	Checks if a node is the binary operation '&&'. More...
struct	mcrl2::core::detail::is_or_node
	Checks if a node is the binary operation '||'. More...
struct	mcrl2::core::detail::is_merge_node
	Checks if a node is the merge operation '||'. More...
struct	mcrl2::core::detail::is_left_merge_node
	Checks if a node is the left merge operation '||_'. More...
struct	mcrl2::core::detail::is_and_or_node
	Checks if a node is of type 'x && (y || z)'. More...
struct	mcrl2::core::detail::is_left_merge_merge
	Checks if a node is of type 'x ||_ (y || z)'. More...
struct	mcrl2::core::detail::find_and_or
struct	mcrl2::core::detail::find_left_merge_merge

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::core
namespace	mcrl2::core::detail

Functions
template<typename Function >
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.
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.

Detailed Description

add your file description here.

Definition in file parser_utility.h.