irafhy::HybridAutomatonVisitor< Analyser, Verifier > Class Template Reference

#include <hybridautomatonVisitor.h>

Inheritance diagram for irafhy::HybridAutomatonVisitor< Analyser, Verifier >:

Collaboration diagram for irafhy::HybridAutomatonVisitor< Analyser, Verifier >:

Public Member Functions
	HybridAutomatonVisitor ()=default
	constructor More...
antlrcpp::Any	visitHybridautomatonid (hybridautomatonParser::HybridautomatonidContext *ctx) override
	hybrid automaton id visitor More...
antlrcpp::Any	visitVariables (hybridautomatonParser::VariablesContext *ctx) override
	variables visitor More...
antlrcpp::Any	visitHybridautomaton (hybridautomatonParser::HybridautomatonContext *ctx) override
	hybrid automaton visitor More...

Constructor & Destructor Documentation

HybridAutomatonVisitor()

template<typename Analyser , typename Verifier >

irafhy::HybridAutomatonVisitor< Analyser, Verifier >::HybridAutomatonVisitor ( )

default

constructor

Member Function Documentation

visitHybridautomaton()

template<typename Analyser , typename Verifier >

antlrcpp::Any irafhy::HybridAutomatonVisitor< Analyser, Verifier >::visitHybridautomaton ( hybridautomatonParser::HybridautomatonContext *  ctx )

override

hybrid automaton visitor

Parameters

ctx	context of hybrid automaton

Returns

hybrid automaton instance

visitHybridautomatonid()

template<typename Analyser , typename Verifier >

antlrcpp::Any irafhy::HybridAutomatonVisitor< Analyser, Verifier >::visitHybridautomatonid ( hybridautomatonParser::HybridautomatonidContext *  ctx )

override

hybrid automaton id visitor

Parameters

ctx	context of hybrid automaton

Returns

hybrid automaton id instance in C++ standard string form

visitVariables()

template<typename Analyser , typename Verifier >

antlrcpp::Any irafhy::HybridAutomatonVisitor< Analyser, Verifier >::visitVariables ( hybridautomatonParser::VariablesContext *  ctx )

override

variables visitor

Parameters

ctx	context of variables visitor

Returns

variables storing in a vector

---

The documentation for this class was generated from the following file:

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/utility/parser/visitor/hybridautomatonVisitor.h