I
- input symbol typeD
- output domain type@ParametersAreNonnullByDefault public class DefaultQuery<I,D> extends AbstractQuery<I,D>
prefix, suffix
Constructor and Description |
---|
DefaultQuery(Query<I,?> query) |
DefaultQuery(net.automatalib.words.Word<I> input) |
DefaultQuery(net.automatalib.words.Word<I> input,
D output) |
DefaultQuery(net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
DefaultQuery(net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix,
D output) |
Modifier and Type | Method and Description |
---|---|
void |
answer(D output)
Answers the query.
|
D |
getOutput() |
boolean |
isNormalized()
Checks if the query is normalized, i.e., if all the information is stored
in the
suffix part of the counterexample. |
String |
toString()
Returns the string representation of this query.
|
getPrefix, getSuffix, toStringWithAnswer
public DefaultQuery(net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)
public DefaultQuery(net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix, @Nullable D output)
public DefaultQuery(net.automatalib.words.Word<I> input)
public boolean isNormalized()
suffix
part of the counterexample.true
if the counterexample is normalized, false
otherwise.public void answer(@Nullable D output)
Query
MembershipOracle
, and only
once per query to process. Calling this method more than once may result in undefined
behavior, possibly (but not necessarily) throwing an exception.public String toString()
Query
toString
in class Query<I,D>
"Query[<prefix>|<suffix>]"
for queries not containing
an answer or "Query[<prefix>|<suffix> / <answer>]"
if an answer may be specified.AbstractQuery.toStringWithAnswer(Object)
Copyright © 2016. All rights reserved.