Uses of Package
de.learnlib.filter.reuse

Packages that use de.learnlib.filter.reuse

Package	Description
de.learnlib.filter.reuse
de.learnlib.filter.reuse.tree

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

Class	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. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available.
ReuseOracle.ReuseOracleBuilder

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

Class	Description
ReuseCapableOracle.QueryResult