Interface of the equivalence oracle. More...
#include <equivalence_oracle_by_test.hh>
Inheritance diagram for learnta::EquivalenceOracleByTest:
Collaboration diagram for learnta::EquivalenceOracleByTest:
Public Member Functions | |
| EquivalenceOracleByTest (TimedAutomaton automaton) | |
| std::optional< TimedWord > | findCounterExample (const TimedAutomaton &hypothesis) override |
| Make an equivalence query. | |
| void | push_back (TimedWord word) |
 Public Member Functions inherited from learnta::EquivalenceOracle | |
| std::size_t | numEqQueries () const |
| Return the number of the executed equivalence queries. | |
| virtual std::ostream & | printStatistics (std::ostream &stream) const |
| Print the statistics. | |
Additional Inherited Members | |
| Protected Attributes inherited from learnta::EquivalenceOracle | |
| 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_by_test.hh
