irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
hybridAutomatonParser.h
Go to the documentation of this file.
1 #ifndef UTILITY_PARSER_HYBRID_AUTOMATON_PARSER_H
2 #define UTILITY_PARSER_HYBRID_AUTOMATON_PARSER_H
3 
4 #include <irafhy/utility/parser/visitor/hybridautomatonVisitor.h>
5 
6 namespace irafhy
7 {
8  template <typename Analyser, typename Verifier>
9  class HybridAutomatonParser
10  {
11  public:
17  static HybridAutomaton<Analyser, Verifier> parse(const std::string& filePath);
18  };
19 } // namespace irafhy
20 #ifndef USE_AS_STATIC
21 #include "../../../../src/utility/parser/hybridAutomatonParser.tpp"
22 #endif
23 #endif //UTILITY_PARSER_HYBRID_AUTOMATON_PARSER_H
irafhy::HybridAutomatonParser
Definition: hybridAutomatonParser.h:9
irafhy::HybridAutomaton
Definition: hybridautomaton.h:16
irafhy
Definition: condition.cpp:3
irafhy::HybridAutomatonParser::parse
static HybridAutomaton< Analyser, Verifier > parse(const std::string &filePath)
parse the hybrid automaton defined in the given file