irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
hybridautomatonVisitor.h
Go to the documentation of this file.
1 #ifndef UTILITY_PARSER_VISITOR_HYBRID_AUTOMATON_VISITOR_H
2 #define UTILITY_PARSER_VISITOR_HYBRID_AUTOMATON_VISITOR_H
3 
4 #include <antlr4-runtime/antlr4-common.h>
5 #include <antlr4-runtime/antlr4-runtime.h>
6 #include <irafhy/utility/parser/grammar/antlr4-runtime-cpp/hybridautomatonLexer.h>
7 #include <irafhy/utility/parser/grammar/antlr4-runtime-cpp/hybridautomatonParser.h>
8 #include <irafhy/utility/parser/grammar/antlr4-runtime-cpp/hybridautomatonBaseVisitor.h>
9 
10 namespace irafhy
11 {
12  template <typename Analyser, typename Verifier>
13  class HybridAutomatonVisitor : public hybridautomatonBaseVisitor
14  {
15  public:
19  HybridAutomatonVisitor() = default;
25  antlrcpp::Any visitHybridautomatonid(hybridautomatonParser::HybridautomatonidContext* ctx) override;
31  antlrcpp::Any visitVariables(hybridautomatonParser::VariablesContext* ctx) override;
37  antlrcpp::Any visitHybridautomaton(hybridautomatonParser::HybridautomatonContext* ctx) override;
38  };
39 } // namespace irafhy
40 #ifndef USE_AS_STATIC
41 #include "../../../../../src/utility/parser/visitor/hybridautomatonVisitor.tpp"
42 #endif
43 #endif //UTILITY_PARSER_VISITOR_HYBRID_AUTOMATON_VISITOR_H
antlrcpp::Any visitHybridautomatonid(hybridautomatonParser::HybridautomatonidContext *ctx) override
hybrid automaton id visitor
Definition: condition.cpp:3
antlrcpp::Any visitVariables(hybridautomatonParser::VariablesContext *ctx) override
variables visitor
HybridAutomatonVisitor()=default
constructor
antlrcpp::Any visitHybridautomaton(hybridautomatonParser::HybridautomatonContext *ctx) override
hybrid automaton visitor
Definition: hybridautomatonVisitor.h:13