public class IncrementalMealyTreeBuilder<I,O> extends AbstractIncrementalMealyBuilder<I,O>
Modifier and Type | Class and Description |
---|---|
class |
IncrementalMealyTreeBuilder.GraphView |
class |
IncrementalMealyTreeBuilder.TransitionSystemView |
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>, AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T>
inputAlphabet
Constructor and Description |
---|
IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
IncrementalMealyTreeBuilder.GraphView |
asGraph()
Retrieves a graph view of the current state of the construction.
|
IncrementalMealyTreeBuilder.TransitionSystemView |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
Word<I> |
findSeparatingWord(MealyMachine<?,I,?,O> 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.
|
boolean |
hasDefinitiveInformation(Word<? extends I> word)
Checks whether this class has definitive information about a given word.
|
void |
insert(Word<? extends I> input,
Word<? extends O> outputWord) |
boolean |
lookup(Word<? extends I> word,
List<? super O> output) |
getInputAlphabet, lookup
public void insert(Word<? extends I> input, Word<? extends O> outputWord) throws ConflictException
ConflictException
public Word<I> findSeparatingWord(MealyMachine<?,I,?,O> target, Collection<? extends I> inputs, boolean omitUndefined)
IncrementalConstruction
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).public boolean hasDefinitiveInformation(Word<? extends I> word)
IncrementalConstruction
hasDefinitiveInformation
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
hasDefinitiveInformation
in class AbstractIncrementalMealyBuilder<I,O>
word
- the wordpublic IncrementalMealyTreeBuilder.TransitionSystemView asTransitionSystem()
IncrementalConstruction
public IncrementalMealyTreeBuilder.GraphView asGraph()
IncrementalConstruction
Copyright © 2015. All rights reserved.