learnta::EquivalenceOracleMemo Member List

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

eqQueryCount (defined in learnta::EquivalenceOracle)	learnta::EquivalenceOracle	protected
EquivalenceOracleMemo(std::unique_ptr< EquivalenceOracle > &&oracle, const TimedAutomaton &target) (defined in learnta::EquivalenceOracleMemo)	learnta::EquivalenceOracleMemo	inline
findCounterExample(const TimedAutomaton &hypothesis) override	learnta::EquivalenceOracleMemo	inlinevirtual
numEqQueries() const	learnta::EquivalenceOracle	inline
printStatistics(std::ostream &stream) const override	learnta::EquivalenceOracleMemo	inlinevirtual
~EquivalenceOracle()=default (defined in learnta::EquivalenceOracle)	learnta::EquivalenceOracle	virtual