Mungojerrie  1.1
Mungojerrie
Macros | Variables
Pwrapper.hh File Reference

Wrapper class for PRISM parser. More...

#include "Pdriver.hh"
Include dependency graph for Pwrapper.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define YY_DECL
 

Variables

 YY_DECL
 

Detailed Description

Wrapper class for PRISM parser.

Author
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Macro Definition Documentation

◆ YY_DECL

#define YY_DECL
Value:
pparser::p_parser::token_type \
yylex (pparser::p_parser::semantic_type* yylval, \
pparser::p_parser::location_type* yylloc, \
p_driver& driver)
p_driver
Scanning and parsing of (restricted) PRISM models.
Definition: Pdriver.hh:52