mCRL2
|
#include <parser_utility.h>
Public Member Functions | |
find_left_merge_merge (const parser_table &table_) | |
void | operator() (const parse_node &x) |
Public Attributes | |
const parser_table & | table |
Definition at line 195 of file parser_utility.h.
|
inline |
Definition at line 199 of file parser_utility.h.
|
inline |
Definition at line 203 of file parser_utility.h.
const parser_table& mcrl2::core::detail::find_left_merge_merge::table |
Definition at line 197 of file parser_utility.h.