irafhy::TransitionsVisitor< Analyser > Class Template Reference

#include <transitionsVisitor.h>

Inheritance diagram for irafhy::TransitionsVisitor< Analyser >:

Collaboration diagram for irafhy::TransitionsVisitor< Analyser >:

Public Member Functions
	TransitionsVisitor ()=default
	constructor More...
	TransitionsVisitor (const std::vector< std::string > &vars)
	constructor with given variables More...
	~TransitionsVisitor () override=default
	destructor More...
antlrcpp::Any	visitDirection (hybridautomatonParser::DirectionContext *ctx) override
	visitor of direction More...
antlrcpp::Any	visitGuardcondition (hybridautomatonParser::GuardconditionContext *ctx) override
	visitor of guard condition More...
antlrcpp::Any	visitUpdatefunction (hybridautomatonParser::UpdatefunctionContext *ctx) override
	visitor of update function More...
antlrcpp::Any	visitResetmap (hybridautomatonParser::ResetmapContext *ctx) override
	visitor of reset map More...
antlrcpp::Any	visitJump (hybridautomatonParser::JumpContext *ctx) override
	visitor of jump More...
antlrcpp::Any	visitTransitions (hybridautomatonParser::TransitionsContext *ctx) override
	visitor of transitions More...

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

Constructor & Destructor Documentation

TransitionsVisitor() [1/2]

template<typename Analyser >

irafhy::TransitionsVisitor< Analyser >::TransitionsVisitor ( )

default

constructor

TransitionsVisitor() [2/2]

template<typename Analyser >

irafhy::TransitionsVisitor< Analyser >::TransitionsVisitor

(

const std::vector< std::string > &

vars

)

constructor with given variables

Parameters

vars	variables of hybrid automaton

~TransitionsVisitor()

template<typename Analyser >

irafhy::TransitionsVisitor< Analyser >::~TransitionsVisitor ( )

overridedefault

destructor

Member Function Documentation

visitDirection()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitDirection ( hybridautomatonParser::DirectionContext *  ctx )

override

visitor of direction

Parameters

ctx	context of direction

Returns

direction instance

visitGuardcondition()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitGuardcondition ( hybridautomatonParser::GuardconditionContext *  ctx )

override

visitor of guard condition

Parameters

ctx	context of guard condition

Returns

guard condition instance

visitJump()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitJump ( hybridautomatonParser::JumpContext *  ctx )

override

visitor of jump

Parameters

ctx	context of jump

Returns

jump instance

visitResetmap()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitResetmap ( hybridautomatonParser::ResetmapContext *  ctx )

override

visitor of reset map

Parameters

ctx	context of reset map

Returns

reset map instance

visitTransitions()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitTransitions ( hybridautomatonParser::TransitionsContext *  ctx )

override

visitor of transitions

Parameters

ctx	context of transitions

Returns

transitions instance

visitUpdatefunction()

template<typename Analyser >

antlrcpp::Any irafhy::TransitionsVisitor< Analyser >::visitUpdatefunction ( hybridautomatonParser::UpdatefunctionContext *  ctx )

override

visitor of update function

Parameters

ctx	context of update function

Returns

update function instance

Member Data Documentation

vars_

template<typename Analyser >

std::vector<std::string> irafhy::TransitionsVisitor< Analyser >::vars_

private

variables of hybrid automaton

---

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

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