S
- system state classI
- input symbol classO
- output symbol classpublic class ReuseOracle<S,I,O> extends Object implements MembershipOracle.MealyMembershipOracle<I,O>
MembershipOracle.MealyMembershipOracle
that is able to
ReuseTree
)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.ReuseOracleBuilder#ReuseOracleBuilder(Alphabet, Supplier)
.ReuseTree
.
The usage of model invariant input symbols and failure output symbols is
disabled by default and can be enabled upon construction (see ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set)
and
ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set)
).Modifier and Type | Class and Description |
---|---|
static class |
ReuseOracle.ReuseOracleBuilder<S,I,O> |
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Modifier and Type | Method and Description |
---|---|
ReuseCapableOracle<S,I,O> |
getReuseCapableOracle()
Returns the
ReuseCapableOracle used by this instance. |
ReuseTree<S,I,O> |
getReuseTree()
Returns the
ReuseTree used by this instance. |
void |
processQueries(Collection<? extends Query<I,Word<O>>> queries)
Processes the specified collection of queries.
|
public void processQueries(Collection<? extends Query<I,Word<O>>> queries)
processQueries
in interface MembershipOracle<I,Word<O>>
queries
- the queries to processDefaultQuery.getOutput()
public ReuseTree<S,I,O> getReuseTree()
ReuseTree
used by this instance.public ReuseCapableOracle<S,I,O> getReuseCapableOracle()
ReuseCapableOracle
used by this instance.Copyright © 2015. All rights reserved.