A
- the automaton model which is constructedI
- input symbol class@ParametersAreNonnullByDefault public interface IncrementalConstruction<A,I>
Modifier and Type | Method and Description |
---|---|
Graph<?,?> |
asGraph()
Retrieves a graph view of the current state of the construction.
|
DeterministicTransitionSystem<?,I,?> |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
Word<I> |
findSeparatingWord(A target,
Collection<? extends I> inputs,
boolean omitUndefined)
Checks the current state of the construction against a given target model,
and returns a word exposing a difference if there is one.
|
Alphabet<I> |
getInputAlphabet()
Retrieves the input alphabet of this construction.
|
boolean |
hasDefinitiveInformation(Word<? extends I> word)
Checks whether this class has definitive information about a given word.
|
@Nonnull Alphabet<I> getInputAlphabet()
@Nullable Word<I> findSeparatingWord(A target, Collection<? extends I> inputs, boolean omitUndefined)
target
- the target automaton modelinputs
- the set of input symbols to consideromitUndefined
- if this is set to true, then undefined transitions in
the target model will be interpreted as "unspecified/don't know" and omitted
in the equivalence test. Otherwise, they will be interpreted in the usual manner
(e.g., non-accepting sink in case of DFAs).boolean hasDefinitiveInformation(Word<? extends I> word)
word
- the word@Nonnull Graph<?,?> asGraph()
@Nonnull DeterministicTransitionSystem<?,I,?> asTransitionSystem()
Copyright © 2015. All rights reserved.