mCRL2
Loading...
Searching...
No Matches
mcrl2::core::parser_actions::visitor< Function > Struct Template Reference

#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_tabletable
 
const std::string & type
 
const Function & f
 

Detailed Description

template<typename Function>
struct mcrl2::core::parser_actions::visitor< Function >

Definition at line 110 of file parse.h.

Constructor & Destructor Documentation

◆ visitor()

template<typename Function >
mcrl2::core::parser_actions::visitor< Function >::visitor ( const parser_table table_,
const std::string &  type_,
const Function &  f_ 
)
inline

Definition at line 116 of file parse.h.

Member Function Documentation

◆ operator()()

template<typename Function >
bool mcrl2::core::parser_actions::visitor< Function >::operator() ( const parse_node node) const
inline

Definition at line 122 of file parse.h.

Member Data Documentation

◆ f

template<typename Function >
const Function& mcrl2::core::parser_actions::visitor< Function >::f

Definition at line 114 of file parse.h.

◆ table

template<typename Function >
const parser_table& mcrl2::core::parser_actions::visitor< Function >::table

Definition at line 112 of file parse.h.

◆ type

template<typename Function >
const std::string& mcrl2::core::parser_actions::visitor< Function >::type

Definition at line 113 of file parse.h.


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