mcrl2::core::detail::is_or_node Struct Reference

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

#include <parser_utility.h>

Inheritance diagram for mcrl2::core::detail::is_or_node:

Public Member Functions
	is_or_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 binary operation '||'.

Definition at line 79 of file parser_utility.h.

Constructor & Destructor Documentation

is_or_node()

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

inline

Definition at line 81 of file parser_utility.h.

---

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

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