Equivalence oracle with a timed automaton recognizing the complement of the target language. More...

Inheritance diagram for learnta::ComplementTimedAutomataEquivalenceOracle:

Collaboration diagram for learnta::ComplementTimedAutomataEquivalenceOracle:

Public Member Functions
	ComplementTimedAutomataEquivalenceOracle (TimedAutomaton target, TimedAutomaton complement, std::vector< Alphabet > alphabet)

std::optional< TimedWord >	findCounterExample (const TimedAutomaton &hypothesis) override
	Make an equivalence query.

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

Equivalence oracle with a timed automaton recognizing the complement of the target language.

Note: This is not perfectly reliable because this does not work when the transition of the constructed DTA is not total

Constructor & Destructor Documentation

learnta::ComplementTimedAutomataEquivalenceOracle::ComplementTimedAutomataEquivalenceOracle	(	TimedAutomaton	target,
		TimedAutomaton	complement,
		std::vector< Alphabet >	alphabet
	)

inline

Parameters

[in] complement A timed automaton recognizing the complement of the target language

The documentation for this class was generated from the following file: