dparser.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::core::detail::dparser_error_message_count< T >
struct	mcrl2::core::parse_node
	Wrapper for D_ParseNode. More...
struct	mcrl2::core::parser_table
	Wrapper for D_ParserTables. More...
struct	mcrl2::core::parser
	Wrapper for D_Parser and its corresponding D_ParserTables. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::core
namespace	mcrl2::core::detail

Typedefs
typedef void(*	D_SyntaxErrorFn) (struct D_Parser *)
typedef struct D_ParseNode *(*	D_AmbiguityFn) (struct D_Parser *, int n, struct D_ParseNode **v)

Functions
std::string	mcrl2::core::detail::add_context (const d_loc_t *loc, const std::string &message)
void	mcrl2::core::detail::reset_dparser_error_message_count ()
void	mcrl2::core::detail::increment_dparser_error_message_count ()
std::size_t	mcrl2::core::detail::get_dparser_error_message_count ()
std::size_t	mcrl2::core::detail::get_dparser_max_error_message_count ()
void	mcrl2::core::detail::set_dparser_max_error_message_count (std::size_t n)

Detailed Description

add your file description here.

Definition in file dparser.h.

Typedef Documentation

D_AmbiguityFn

typedef struct D_ParseNode *(* D_AmbiguityFn) (struct D_Parser *, int n, struct D_ParseNode **v)

Definition at line 24 of file dparser.h.

D_SyntaxErrorFn

typedef void(* D_SyntaxErrorFn) (struct D_Parser *)

Definition at line 24 of file dparser.h.