mCRL2
Loading...
Searching...
No Matches
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:
mcrl2::core::detail::is_and_node mcrl2::core::detail::is_left_merge_node mcrl2::core::detail::is_merge_node mcrl2::core::detail::is_or_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_tabletable
 
std::string op
 

Detailed Description

Checks if a node is the binary operation op.

Definition at line 38 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 43 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 48 of file parser_utility.h.

Member Data Documentation

◆ op

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

Definition at line 41 of file parser_utility.h.

◆ table

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

Definition at line 40 of file parser_utility.h.


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