parsetl.hh File Reference

#include "config.h"
#include <string>
#include <sstream>
#include <variant>
#include <spot/tl/parse.hh>
#include <spot/tl/formula.hh>
#include <spot/tl/print.hh>
#include <cstdlib>
#include <iostream>
#include <stdexcept>
#include <vector>

Include dependency graph for parsetl.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	minmax_t
struct	nary
struct	pnode
class	tlyy::parser
	A Bison parser. More...
class	tlyy::parser::semantic_type
struct	tlyy::parser::syntax_error
	Syntax errors thrown from user actions. More...
struct	tlyy::parser::token
	Token kinds. More...
struct	tlyy::parser::symbol_kind
	Symbol kinds. More...
struct	tlyy::parser::basic_symbol< Base >
struct	tlyy::parser::by_kind
	Type access provider for token (enum) based symbols. More...
struct	tlyy::parser::symbol_type
	"External" symbols: returned by the scanner. More...
class	tlyy::parser::context
class	tlyy::parser::stack< T, S >::slice
	Present a slice of the top of a stack. More...

Macros
#define	YY_CPLUSPLUS   199711L
#define	YY_MOVE
#define	YY_MOVE_OR_COPY   copy
#define	YY_MOVE_REF(Type)   Type&
#define	YY_RVREF(Type)   const Type&
#define	YY_COPY(Type)   const Type&
#define	YY_NOEXCEPT
#define	YY_NOTHROW   throw ()
#define	YY_CONSTEXPR
#define	YY_ATTRIBUTE_PURE
#define	YY_ATTRIBUTE_UNUSED
#define	YY_USE(E)   ((void) (E))
#define	YY_INITIAL_VALUE(Value)   Value
#define	YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
#define	YY_IGNORE_MAYBE_UNINITIALIZED_END
#define	YY_IGNORE_USELESS_CAST_BEGIN
#define	YY_IGNORE_USELESS_CAST_END
#define	YY_CAST(Type, Val)   ((Type) (Val))
#define	YY_REINTERPRET_CAST(Type, Val)   ((Type) (Val))
#define	YY_NULLPTR   ((void*)0)
#define	TLYYDEBUG   1

Detailed Description

Define the tlyy::parser class.