mCRL2
|
#include <parse.h>
Public Member Functions | |
visitor (const parser_table &table_, const std::string &type_, const Function &f_) | |
bool | operator() (const parse_node &node) const |
Public Attributes | |
const parser_table & | table |
const std::string & | type |
const Function & | f |
|
inline |
|
inline |
const Function& mcrl2::core::parser_actions::visitor< Function >::f |
const parser_table& mcrl2::core::parser_actions::visitor< Function >::table |
const std::string& mcrl2::core::parser_actions::visitor< Function >::type |