mCRL2
|
Checks if a node is the binary operation op. More...
#include <parser_utility.h>
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 |
Checks if a node is the binary operation op.
Definition at line 38 of file parser_utility.h.
|
inline |
Definition at line 43 of file parser_utility.h.
|
inline |
Definition at line 48 of file parser_utility.h.
std::string mcrl2::core::detail::is_binary_operator_node::op |
Definition at line 41 of file parser_utility.h.
const parser_table& mcrl2::core::detail::is_binary_operator_node::table |
Definition at line 40 of file parser_utility.h.