irafhy::SystemVisitor Class Reference

#include <systemVisitor.h>

Inheritance diagram for irafhy::SystemVisitor:

Collaboration diagram for irafhy::SystemVisitor:

Public Member Functions
	SystemVisitor (const std::vector< std::string > &vars)
	constructor with given variables More...
antlrcpp::Any	visitSystem (hybridautomatonParser::SystemContext *ctx) override
	visitor of system More...
antlrcpp::Any	visitFormula (hybridautomatonParser::FormulaContext *ctx) override
	visitor of formula More...

Private Attributes
std::vector< std::string >	vars_
	variables of hybrid automaton More...

Constructor & Destructor Documentation

SystemVisitor()

irafhy::SystemVisitor::SystemVisitor ( const std::vector< std::string > &  vars )

explicit

constructor with given variables

Parameters

vars	given variables of hybrid automaton

References vars_.

Member Function Documentation

visitFormula()

antlrcpp::Any irafhy::SystemVisitor::visitFormula ( hybridautomatonParser::FormulaContext *  ctx )

override

visitor of formula

Parameters

ctx	context of formula

Returns

formula instance

References vars_.

visitSystem()

antlrcpp::Any irafhy::SystemVisitor::visitSystem ( hybridautomatonParser::SystemContext *  ctx )

override

visitor of system

Parameters

ctx	context of system

Returns

system instance

References vars_.

Member Data Documentation

vars_

std::vector<std::string> irafhy::SystemVisitor::vars_

private

variables of hybrid automaton

Referenced by SystemVisitor(), visitFormula(), and visitSystem().

---

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

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/utility/parser/visitor/systemVisitor.h
• /home/jianqiang/CLionProjects/irafhy/src/utility/parser/visitor/systemVisitor.cpp