A chain of the equivalence oracles. More...
#include <equivalance_oracle_chain.hh>
Inheritance diagram for learnta::EquivalenceOracleChain:
Collaboration diagram for learnta::EquivalenceOracleChain:
Public Member Functions | |
| std::optional< TimedWord > | findCounterExample (const TimedAutomaton &hypothesis) override |
| Make an equivalence query. | |
| void | push_back (std::unique_ptr< EquivalenceOracle > &&oracle) |
 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
A chain of the equivalence oracles.
The documentation for this class was generated from the following file:
- include/equivalance_oracle_chain.hh
