mcrl2::core::detail::is_and_node Struct Reference

Checks if a node is the binary operation '&&'. More...

#include <parser_utility.h>

Inheritance diagram for mcrl2::core::detail::is_and_node:

Public Member Functions
	is_and_node (const parser_table &table_)
Public Member Functions inherited from mcrl2::core::detail::is_binary_operator_node
	is_binary_operator_node (const parser_table &table_, const std::string &op_)
bool	operator() (const parse_node &x)

Additional Inherited Members
Public Attributes inherited from mcrl2::core::detail::is_binary_operator_node
const parser_table &	table
std::string	op

Detailed Description

Checks if a node is the binary operation '&&'.

Definition at line 70 of file parser_utility.h.

Constructor & Destructor Documentation

is_and_node()

mcrl2::core::detail::is_and_node::is_and_node ( const parser_table &  table_ )

inline

Definition at line 72 of file parser_utility.h.

---

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

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