|
mCRL2
|
#include <parser_utility.h>
Public Member Functions | |
| find_and_or (const parser_table &table_) | |
| void | operator() (const parse_node &x) |
Public Attributes | |
| const parser_table & | table |
Definition at line 177 of file parser_utility.h.
|
inline |
Definition at line 181 of file parser_utility.h.
|
inline |
Definition at line 185 of file parser_utility.h.
| const parser_table& mcrl2::core::detail::find_and_or::table |
Definition at line 179 of file parser_utility.h.