Interface of the equivalence oracle. More...
#include <equivalence_oracle.hh>
Inheritance diagram for learnta::EquivalenceOracle:
Public Member Functions | |
| virtual std::optional< TimedWord > | findCounterExample (const TimedAutomaton &hypothesis)=0 |
| Make an equivalence query. | |
| std::size_t | numEqQueries () const |
| Return the number of the executed equivalence queries. | |
| virtual std::ostream & | printStatistics (std::ostream &stream) const |
| Print the statistics. | |
Protected Attributes | |
| std::size_t | eqQueryCount = 0 |
Detailed Description
Interface of the equivalence oracle.
The documentation for this class was generated from the following file:
- include/equivalence_oracle.hh
