mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::core::detail::is_left_merge_merge Struct Reference

Checks if a node is of type 'x ||_ (y || z)'. More...

#include <parser_utility.h>

Public Member Functions

 is_left_merge_merge (const parser_table &table_)
 
bool operator() (const parse_node &x)
 

Public Attributes

const parser_table & table
 

Detailed Description

Checks if a node is of type 'x ||_ (y || z)'.

Definition at line 140 of file parser_utility.h.

Constructor & Destructor Documentation

◆ is_left_merge_merge()

mcrl2::core::detail::is_left_merge_merge::is_left_merge_merge ( const parser_table &  table_)
inline

Definition at line 144 of file parser_utility.h.

Member Function Documentation

◆ operator()()

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

Definition at line 148 of file parser_utility.h.

Member Data Documentation

◆ table

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

Definition at line 142 of file parser_utility.h.

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