learnta::ComplementTimedAutomataEquivalenceOracle Member List

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

ComplementTimedAutomataEquivalenceOracle(TimedAutomaton target, TimedAutomaton complement, std::vector< Alphabet > alphabet)	learnta::ComplementTimedAutomataEquivalenceOracle	inline
eqQueryCount (defined in learnta::EquivalenceOracle)	learnta::EquivalenceOracle	protected
findCounterExample(const TimedAutomaton &hypothesis) override	learnta::ComplementTimedAutomataEquivalenceOracle	inlinevirtual
numEqQueries() const	learnta::EquivalenceOracle	inline
printStatistics(std::ostream &stream) const	learnta::EquivalenceOracle	inlinevirtual
~EquivalenceOracle()=default (defined in learnta::EquivalenceOracle)	learnta::EquivalenceOracle	virtual