spot
1.99.4
|
#include <string>
#include <cstring>
#include <sstream>
#include <unordered_map>
#include <algorithm>
#include "twa/formula2bdd.hh"
#include "public.hh"
#include "priv/accmap.hh"
#include "tl/parse.hh"
#include <vector>
#include <iostream>
#include <stdexcept>
#include "stack.hh"
Go to the source code of this file.
Classes | |
struct | hoayy_support::result_ |
struct | hoayy_support::result_::state_info |
class | hoayy::parser |
A Bison parser. More... | |
union | hoayy::parser::semantic_type |
Symbol semantic values. More... | |
struct | hoayy::parser::syntax_error |
Syntax errors thrown from user actions. More... | |
struct | hoayy::parser::token |
Tokens. More... | |
struct | hoayy::parser::basic_symbol< Base > |
struct | hoayy::parser::by_type |
Type access provider for token (enum) based symbols. More... | |
Typedefs | |
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 |
Enumerations | |
enum | label_style_t { Mixed_Labels, State_Labels, Trans_Labels, Implicit_Labels } |
enum | acc_style_t { Mixed_Acc, State_Acc, Trans_Acc } |
Define the hoayy::parser class.