Package | Description |
---|---|
de.learnlib.filter.reuse | |
de.learnlib.filter.reuse.tree |
Class and Description |
---|
ReuseCapableOracle
Required interface for the
ReuseOracle . |
ReuseCapableOracle.QueryResult |
ReuseOracle
The reuse oracle is a
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 |
Class and Description |
---|
ReuseCapableOracle.QueryResult |
Copyright © 2018. All rights reserved.