learnta::SymbolicMembershipOracle Member List

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

answerQuery(const TimedWord &timedWord) override (defined in learnta::SymbolicMembershipOracle)	learnta::SymbolicMembershipOracle	inlinevirtual
count() const override (defined in learnta::SymbolicMembershipOracle)	learnta::SymbolicMembershipOracle	inlinevirtual
printStatistics(std::ostream &stream) const override (defined in learnta::SymbolicMembershipOracle)	learnta::SymbolicMembershipOracle	inlinevirtual
query(const ElementaryLanguage &elementary)	learnta::SymbolicMembershipOracle	inline
SymbolicMembershipOracle(std::unique_ptr< SUL > &&sul) (defined in learnta::SymbolicMembershipOracle)	learnta::SymbolicMembershipOracle	inlineexplicit
~MembershipOracle()=default (defined in learnta::MembershipOracle)	learnta::MembershipOracle	virtual