mcrl2::core::detail::is_binary_operator_node Struct Reference

Checks if a node is the binary operation op. More...

#include <parser_utility.h>

Inheritance diagram for mcrl2::core::detail::is_binary_operator_node:

Public Member Functions
	is_binary_operator_node (const parser_table &table_, const std::string &op_)
bool	operator() (const parse_node &x)

Public Attributes
const parser_table &	table
std::string	op

Detailed Description

Checks if a node is the binary operation op.

Definition at line 37 of file parser_utility.h.

Constructor & Destructor Documentation

is_binary_operator_node()

mcrl2::core::detail::is_binary_operator_node::is_binary_operator_node ( const parser_table &  table_, const std::string &  op_  )

inline

Definition at line 42 of file parser_utility.h.

Member Function Documentation

operator()()

bool mcrl2::core::detail::is_binary_operator_node::operator() ( const parse_node &  x )

inline

Definition at line 47 of file parser_utility.h.

Member Data Documentation

op

std::string mcrl2::core::detail::is_binary_operator_node::op

Definition at line 40 of file parser_utility.h.

table

const parser_table& mcrl2::core::detail::is_binary_operator_node::table

Definition at line 39 of file parser_utility.h.

---

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

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