Uses of Package
de.learnlib.filters.reuse

Packages that use de.learnlib.filters.reuse

Package	Description
de.learnlib.filters.reuse
de.learnlib.filters.reuse.tree

Classes in de.learnlib.filters.reuse used by de.learnlib.filters.reuse

Class and Description
ReuseCapableOracle Required interface for the ReuseOracle.
ReuseCapableOracle.QueryResult
ReuseOracle The reuse oracle is a MembershipOracle.MealyMembershipOracle that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from the ReuseTree) Pump queries: If the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen.
ReuseOracle.ReuseOracleBuilder

Classes in de.learnlib.filters.reuse used by de.learnlib.filters.reuse.tree

Class and Description
ReuseCapableOracle.QueryResult