LearnTA  0.0.1
learnta::EquivalenceOracle Member List

This is the complete list of members for learnta::EquivalenceOracle, including all inherited members.

eqQueryCount (defined in learnta::EquivalenceOracle)learnta::EquivalenceOracleprotected
findCounterExample(const TimedAutomaton &hypothesis)=0learnta::EquivalenceOraclepure virtual
numEqQueries() constlearnta::EquivalenceOracleinline
printStatistics(std::ostream &stream) constlearnta::EquivalenceOracleinlinevirtual
~EquivalenceOracle()=default (defined in learnta::EquivalenceOracle)learnta::EquivalenceOraclevirtual
Generated by doxygen 1.9.1