mcrl2::core::detail::is_merge_node Struct Reference

Checks if a node is the merge operation '||'. More...

#include <parser_utility.h>

Inheritance diagram for mcrl2::core::detail::is_merge_node:

Public Member Functions
	is_merge_node (const parser_table &table_)
Public Member Functions inherited from mcrl2::core::detail::is_binary_operator_node
	is_binary_operator_node (const parser_table &table_, const std::string &op_)
bool	operator() (const parse_node &x)

Additional Inherited Members
Public Attributes inherited from mcrl2::core::detail::is_binary_operator_node
const parser_table &	table
std::string	op

Detailed Description

Checks if a node is the merge operation '||'.

Definition at line 87 of file parser_utility.h.

Constructor & Destructor Documentation

is_merge_node()

mcrl2::core::detail::is_merge_node::is_merge_node ( const parser_table &  table_ )

inline

Definition at line 89 of file parser_utility.h.

---

The documentation for this struct was generated from the following file:

• core/include/mcrl2/core/parser_utility.h