mCRL2
Loading...
Searching...
No Matches
dparser.cpp File Reference

Go to the source code of this file.

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
 

Functions

std::string mcrl2::core::detail::add_context (const d_loc_t *loc, const std::string &message)
 
bool mcrl2::core::detail::is_all_of_type (D_ParseNode *nodes[], int n, const char *type, const core::parser_table &table)
 
void mcrl2::core::detail::print_ambiguous_nodes (D_ParseNode *nodes[], int n, const char *type, const core::parser_table &table)
 
void mcrl2::core::detail::print_chosen_node (D_ParseNode *node, const core::parser_table &table)
 
struct D_ParseNode * mcrl2::core::detail::ambiguity_fn (struct D_Parser *, int, struct D_ParseNode **)
 Function for resolving ambiguities in the '_ -> _ <> _' operator for process expressions.
 
static void mcrl2::core::detail::log_location (struct D_Parser *ap)
 
void mcrl2::core::detail::syntax_error_fn (struct D_Parser *ap)
 Custom syntax error function that prints both the line number and the column.
 

Variables

D_ParserTables parser_tables_mcrl2
 

Variable Documentation

◆ parser_tables_mcrl2

D_ParserTables parser_tables_mcrl2
extern