parseaut.hh File Reference

#include "config.h"
#include <spot/misc/common.hh>
#include <spot/priv/robin_hood.hh>
#include <string>
#include <cstring>
#include <sstream>
#include <unordered_map>
#include <algorithm>
#include <spot/twa/formula2bdd.hh>
#include <spot/parseaut/public.hh>
#include "spot/priv/accmap.hh"
#include <spot/tl/parse.hh>
#include <spot/twaalgos/alternation.hh>
#include <spot/twaalgos/game.hh>
#include <cstdlib>
#include <iostream>
#include <stdexcept>
#include <vector>

Include dependency graph for parseaut.hh:

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

Go to the source code of this file.

Classes
struct	hoayy_support::result_
struct	hoayy_support::result_::state_info
struct	hoayy_support::result_::prop_info
class	hoayy::parser
	A Bison parser. More...
union	hoayy::parser::value_type
	Symbol semantic values. More...
struct	hoayy::parser::syntax_error
	Syntax errors thrown from user actions. More...
struct	hoayy::parser::token
	Token kinds. More...
struct	hoayy::parser::symbol_kind
	Symbol kinds. More...
struct	hoayy::parser::basic_symbol< Base >
struct	hoayy::parser::by_kind
	Type access provider for token (enum) based symbols. More...
struct	hoayy::parser::symbol_type
	"External" symbols: returned by the scanner. More...
class	hoayy::parser::context
class	hoayy::parser::stack< T, S >::slice
	Present a slice of the top of a stack. More...

Macros
#define	PARSE_ERROR_LIST   res.h->errors, res.fcache
#define	YY_CPLUSPLUS   199711L
#define	YY_MOVE
#define	YY_MOVE_OR_COPY   copy
#define	YY_MOVE_REF(Type)
#define	YY_RVREF(Type)
#define	YY_COPY(Type)
#define	YY_NOEXCEPT
#define	YY_NOTHROW   throw ()
#define	YY_CONSTEXPR
#define	YY_ATTRIBUTE_PURE
#define	YY_ATTRIBUTE_UNUSED
#define	YY_USE(E)
#define	YY_INITIAL_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)
#define	YY_REINTERPRET_CAST(Type, Val)
#define	YY_NULLPTR   ((void*)0)
#define	HOAYYDEBUG   1

Typedefs
typedef std::map< int, bdd >	hoayy_support::map_t
typedef robin_hood::unordered_flat_map< std::string, bdd >	hoayy_support::formula_cache
typedef std::pair< int, std::string * >	hoayy_support::pair
typedef spot::twa_graph::namer< std::string >	hoayy_support::named_tgba_t

Enumerations
enum	label_style_t { Mixed_Labels , State_Labels , Trans_Labels , Implicit_Labels }
enum	acc_style_t { Mixed_Acc , State_Acc , Trans_Acc }

Functions
int	strverscmp (const char *s1, const char *s2)

Detailed Description

Define the hoayy::parser class.

Macro Definition Documentation

YY_CAST

#define YY_CAST	(		Type,
			Val )

Value:

((Type) (Val))

YY_COPY

#define YY_COPY

(

Type

)

Value:

const Type&

YY_INITIAL_VALUE

#define YY_INITIAL_VALUE

(

Value

)

Value:

Value

YY_MOVE_REF

#define YY_MOVE_REF

(

Type

)

Value:

Type&

YY_REINTERPRET_CAST

#define YY_REINTERPRET_CAST	(		Type,
			Val )

Value:

((Type) (Val))

YY_RVREF

#define YY_RVREF

(

Type

)

Value:

const Type&

YY_USE

#define YY_USE

(

E

)

Value:

((void) (E))