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

#include <hybridAutomatonParser.h>

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

Static Public Member Functions
static HybridAutomaton< Analyser, Verifier >	parse (const std::string &filePath)
	parse the hybrid automaton defined in the given file More...

Member Function Documentation

parse()

template<typename Analyser , typename Verifier >

static HybridAutomaton<Analyser, Verifier> irafhy::HybridAutomatonParser< Analyser, Verifier >::parse ( const std::string &  filePath )

static

parse the hybrid automaton defined in the given file

Parameters

filePath

path of the file

Returns

resulting hybrid automaton instance

---

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

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/utility/parser/hybridAutomatonParser.h