#include "config.h"
#include <spot/misc/common.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 <vector>
#include <iostream>
#include <stdexcept>
#include "stack.hh"
Go to the source code of this file.
|
#define | PARSE_ERROR_LIST res.h->errors |
|
#define | YY_ATTRIBUTE(Spec) /* empty */ |
|
#define | YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
|
#define | YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
|
#define | _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
|
#define | YYUSE(E) ((void) (E)) |
|
#define | YY_INITIAL_VALUE(Value) Value |
|
#define | YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
|
#define | YY_IGNORE_MAYBE_UNINITIALIZED_END |
|
#define | YYDEBUG 1 |
|
|
typedef std::map< int, bdd > | hoayy_support::map_t |
|
typedef std::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 |
|
|
enum | label_style_t { Mixed_Labels,
State_Labels,
Trans_Labels,
Implicit_Labels
} |
|
enum | acc_style_t { Mixed_Acc,
State_Acc,
Trans_Acc
} |
|
|
int | strverscmp (const char *s1, const char *s2) |
|
Define the hoayy::parser class.