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

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

#include <parser_utility.h>

Public Member Functions

 is_and_or_node (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 103 of file parser_utility.h.

Constructor & Destructor Documentation

◆ is_and_or_node()

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

Definition at line 107 of file parser_utility.h.

Member Function Documentation

◆ operator()()

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

Definition at line 111 of file parser_utility.h.

Member Data Documentation

◆ table

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

Definition at line 105 of file parser_utility.h.

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