Package | Description |
---|---|
net.automatalib.automata.transducers | |
net.automatalib.incremental.mealy.tree.dynamic | |
net.automatalib.util.automata.transducers |
Modifier and Type | Method and Description |
---|---|
static <I,O> OutputAndLocalInputs<I,O> |
OutputAndLocalInputs.undefined() |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> |
StateLocalInputIncrementalMealyTreeBuilder.insertNode(net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> parent,
I symbol,
OutputAndLocalInputs<I,O> output) |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> |
StateLocalInputIncrementalMealyTreeBuilder.insertNode(net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> parent,
I symbol,
OutputAndLocalInputs<I,O> output) |
Modifier and Type | Method and Description |
---|---|
void |
StateLocalInputIncrementalMealyTreeBuilder.insert(Word<? extends I> input,
Word<? extends OutputAndLocalInputs<I,O>> outputWord) |
protected net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> |
StateLocalInputIncrementalMealyTreeBuilder.insertNode(net.automatalib.incremental.mealy.tree.dynamic.Node<I,OutputAndLocalInputs<I,O>> parent,
I symbol,
OutputAndLocalInputs<I,O> output) |
boolean |
StateLocalInputIncrementalMealyTreeBuilder.lookup(Word<? extends I> word,
List<? super OutputAndLocalInputs<I,O>> output) |
Modifier and Type | Method and Description |
---|---|
static <I,O> StateLocalInputMealyMachine<Integer,I,?,OutputAndLocalInputs<I,O>> |
StateLocalInputMealyUtil.partialToObservableOutput(StateLocalInputMealyMachine<Integer,I,?,O> reference)
Convenience method for
StateLocalInputMealyUtil.partialToObservableOutput(StateLocalInputMealyMachine, Object) , where the size of
the given reference is used as the new sink state. |
static <S,I,T,O> StateLocalInputMealyMachine<S,I,?,OutputAndLocalInputs<I,O>> |
StateLocalInputMealyUtil.partialToObservableOutput(StateLocalInputMealyMachine<S,I,T,O> reference,
S sink)
Transforms a (potentially partial)
StateLocalInputMealyMachine to a complete StateLocalInputMealyMachine that explicitly outputs the available input symbols on the transition outputs. |
Copyright © 2019. All rights reserved.