mCRL2
Loading...
Searching...
No Matches
dparser_functions.h
Go to the documentation of this file.
1// Author(s): Sjoerd Cranen
2// Copyright: see the accompanying file COPYING or copy at
3// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4//
5// Distributed under the Boost Software License, Version 1.0.
6// (See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8//
11
12#ifndef MCRL2_CORE_DETAIL_DPARSER_FUNCTIONS_H
13#define MCRL2_CORE_DETAIL_DPARSER_FUNCTIONS_H
14
15#include "mcrl2/core/dparser.h"
17
18// prototypes
19struct D_ParseNode;
20struct D_Parser;
21
22namespace mcrl2 {
23
24namespace core {
25
26namespace detail {
27
30struct D_ParseNode* ambiguity_fn(struct D_Parser*, int, struct D_ParseNode**);
31
33void syntax_error_fn(struct D_Parser *ap);
34
35} // namespace detail
36
37} // namespace core
38
39} // namespace mcrl2
40
41#endif // MCRL2_CORE_DETAIL_DPARSER_FUNCTIONS_H
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.
Definition dparser.cpp:463
struct D_ParseNode * ambiguity_fn(struct D_Parser *, int, struct D_ParseNode **)
Function for resolving ambiguities in the '_ -> _ <> _' operator for process expressions.
Definition dparser.cpp:332
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72