mCRL2
|
Checks if a node is the binary operation '&&'. More...
#include <parser_utility.h>
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 |
Checks if a node is the binary operation '&&'.
Definition at line 71 of file parser_utility.h.
|
inline |
Definition at line 73 of file parser_utility.h.