12#ifndef MCRL2_CORE_DETAIL_DPARSER_FUNCTIONS_H
13#define MCRL2_CORE_DETAIL_DPARSER_FUNCTIONS_H
30struct D_ParseNode*
ambiguity_fn(
struct D_Parser*,
int,
struct D_ParseNode**);
add your file description here.
Exception classes for use in libraries and tools.
void syntax_error_fn(struct D_Parser *ap)
Custom syntax error function that prints both the line number and the column.
struct D_ParseNode * ambiguity_fn(struct D_Parser *, int, struct D_ParseNode **)
Function for resolving ambiguities in the '_ -> _ <> _' operator for process expressions.
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...