Module de.learnlib.filter.reuse

Package de.learnlib.filter.reuse

Interface Summary

Interface	Description
ReuseCapableOracle<S,I,O>	Required interface for the ReuseOracle.

Class Summary

Class	Description
BuilderDefaults	Default values for ReuseTreeBuilder and ReuseOracleBuilder.
ReuseCapableOracle.QueryResult<S,O>
ReuseOracle<S,I,O>	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 ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via 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.
ReuseOracleBuilder<S,I,O>	A builder for constructing ReuseOracle instances.

Exception Summary

Exception	Description
ReuseException	This exception will be thrown whenever some nondeterministic behavior in the reuse tree is detected when inserting new queries.