The oracle to answer symbolic membership queries. More...
#include <symbolic_membership_oracle.hh>
Inheritance diagram for learnta::SymbolicMembershipOracle:
Collaboration diagram for learnta::SymbolicMembershipOracle:
Public Member Functions | |
| SymbolicMembershipOracle (std::unique_ptr< SUL > &&sul) | |
| TimedConditionSet | query (const ElementaryLanguage &elementary) |
| Make a symbolic membership query. More... | |
| std::size_t | count () const override |
| bool | answerQuery (const TimedWord &timedWord) override |
| std::ostream & | printStatistics (std::ostream &stream) const override |
Detailed Description
The oracle to answer symbolic membership queries.
Member Function Documentation
◆ query()
|
inline |
Make a symbolic membership query.
- Returns
- A list representing the resulting timed conditions
The documentation for this class was generated from the following file:
- include/symbolic_membership_oracle.hh
