irafhy::ConstraintsVisitor Class Reference

#include <constriantsVisitor.h>

Inheritance diagram for irafhy::ConstraintsVisitor:

Collaboration diagram for irafhy::ConstraintsVisitor:

Public Member Functions
	ConstraintsVisitor (const std::vector< std::string > &vars)
	constructor More...
antlrcpp::Any	visitConstraints (hybridautomatonParser::ConstraintsContext *ctx) override
	constraints visitor More...
antlrcpp::Any	visitConstraint (hybridautomatonParser::ConstraintContext *ctx) override
	constraint visitor More...

Private Member Functions
double	strToNum (const std::string &numStr) const
	convert given string to number More...

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

Constructor & Destructor Documentation

ConstraintsVisitor()

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

explicit

constructor

Parameters

vars	variables of the hybrid automaton

References vars_.

Member Function Documentation

strToNum()

double irafhy::ConstraintsVisitor::strToNum ( const std::string &  numStr ) const

private

convert given string to number

Parameters

numStr

given string

Returns

resulting number

visitConstraint()

antlrcpp::Any irafhy::ConstraintsVisitor::visitConstraint ( hybridautomatonParser::ConstraintContext *  ctx )

override

constraint visitor

Parameters

ctx	context of constraint

Returns

resulting constraint instance

References irafhy::EQUAL_TO, irafhy::GREATER_THAN, irafhy::GREATER_THAN_OR_EQUAL_TO, irafhy::LESS_THAN, irafhy::LESS_THAN_OR_EQUAL_TO, irafhy::UNEQUAL_TO, and vars_.

visitConstraints()

antlrcpp::Any irafhy::ConstraintsVisitor::visitConstraints ( hybridautomatonParser::ConstraintsContext *  ctx )

override

constraints visitor

Parameters

ctx	context of constraints

Returns

resulting constraints instance

References vars_.

Member Data Documentation

vars_

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

private

variables of the hybrid automaton

Referenced by ConstraintsVisitor(), visitConstraint(), and visitConstraints().

---

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

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