learnta::OtaJsonParser Class Reference

Parser of one clock TAs in the json format of https://github.com/Leslieaj/OTALearning. More...

#include <ota_json_parser.hh>

Public Member Functions
	OtaJsonParser (const std::string &jsonPath)
const std::vector< Alphabet > &	getAlphabet () const
const TimedAutomaton &	getTarget () const

Detailed Description

Parser of one clock TAs in the json format of https://github.com/Leslieaj/OTALearning.

---

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

• examples/ota_json_parser.hh