net.automatalib.incremental.dfa.tree

Class IncrementalDFATreeBuilder.Record<S,I>

java.lang.Object

net.automatalib.incremental.dfa.tree.IncrementalDFATreeBuilder.Record<S,I>

Enclosing class:

IncrementalDFATreeBuilder<I>

protected static final class IncrementalDFATreeBuilder.Record<S,I>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
S	automatonState
I	incomingInput
Iterator<? extends I>	inputIt
Node<I>	treeNode

Constructor Summary

Constructors

Constructor and Description
IncrementalDFATreeBuilder.Record(S automatonState, Node<I> treeNode, I incomingInput, Iterator<? extends I> inputIt)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

automatonState

public final S automatonState

treeNode

public final Node<I> treeNode

incomingInput

public final I incomingInput

inputIt

public final Iterator<? extends I> inputIt

Constructor Detail

IncrementalDFATreeBuilder.Record

public IncrementalDFATreeBuilder.Record(S automatonState,
                                Node<I> treeNode,
                                I incomingInput,
                                Iterator<? extends I> inputIt)