S
- (hypothesis) state typeI
- input alphabet type@ParametersAreNonnullByDefault public interface PartialTransitionAnalyzer<S,I>
Modifier and Type | Interface and Description |
---|---|
static class |
PartialTransitionAnalyzer.HypothesisModificationException
A helper exception to interrupt computations on an invalid hypothesis.
|
Modifier and Type | Field and Description |
---|---|
static RuntimeException |
HYPOTHESIS_MODIFICATION_EXCEPTION
Global exception instance to avoid (unnecessary) re-instantiation.
|
Modifier and Type | Method and Description |
---|---|
void |
closeTransition(S state,
I input)
Determine the successor/output of the transition in question (which is usually achieved by sifting the
corresponding long-prefix through the ADT).
|
boolean |
isTransitionDefined(S state,
I input)
Check whether the transition in question is defined or not.
|
static final RuntimeException HYPOTHESIS_MODIFICATION_EXCEPTION
boolean isTransitionDefined(S state, I input)
state
- the (source) state of the transition in questioninput
- the input symbol of the transition in questiontrue
if the transition (and thus the successor/output) is defined, false
otherwisevoid closeTransition(S state, I input) throws PartialTransitionAnalyzer.HypothesisModificationException
state
- the (source) state of the transition in questioninput
- the input symbol of the transition in questionPartialTransitionAnalyzer.HypothesisModificationException
- if closing the transition (sifting in the ADT) discovered a new hypothesis state and thus potentially
invalidates previously observed behaviorCopyright © 2018. All rights reserved.