learnta::Learner Class Reference

The deterministic timed automata learner. More...

#include <learner.hh>

Public Member Functions
	Learner (const std::vector< Alphabet > &alphabet, std::unique_ptr< SymbolicMembershipOracle > memOracle, std::unique_ptr< EquivalenceOracle > eqOracle)
TimedAutomaton	run ()
std::ostream &	printStatistics (std::ostream &stream) const
std::size_t	numEqQueries () const

Detailed Description

The deterministic timed automata learner.

---

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

• include/learner.hh