| Package | Description |
|---|---|
| net.automatalib.incremental.dfa.tree |
| Modifier and Type | Field and Description |
|---|---|
protected Node<I> |
IncrementalDFATreeBuilder.root |
Node<I> |
IncrementalDFATreeBuilder.Record.treeNode |
| Modifier and Type | Method and Description |
|---|---|
Node<I> |
Node.getChild(int idx)
Retrieves, for a given index, the respective child of this node.
|
Node<I> |
IncrementalDFATreeBuilder.GraphView.getInitialNode() |
Node<I> |
IncrementalDFATreeBuilder.TransitionSystemView.getInitialState() |
Node<I> |
Edge.getNode() |
Node<I> |
IncrementalPCDFATreeBuilder.getSink() |
Node<I> |
IncrementalDFATreeBuilder.TransitionSystemView.getSuccessor(Node<I> transition) |
Node<I> |
IncrementalDFATreeBuilder.GraphView.getTarget(Edge<I> edge) |
Node<I> |
IncrementalPCDFATreeBuilder.TransitionSystemView.getTransition(Node<I> state,
I input) |
Node<I> |
IncrementalDFATreeBuilder.TransitionSystemView.getTransition(Node<I> state,
I input) |
| Modifier and Type | Method and Description |
|---|---|
GraphDOTHelper<Node<I>,Edge<I>> |
IncrementalDFATreeBuilder.GraphView.getGraphDOTHelper() |
Collection<Node<I>> |
IncrementalDFATreeBuilder.GraphView.getNodes() |
| Modifier and Type | Method and Description |
|---|---|
Acceptance |
IncrementalDFATreeBuilder.GraphView.getAcceptance(Node<I> node) |
Acceptance |
IncrementalDFATreeBuilder.TransitionSystemView.getAcceptance(Node<I> state) |
Collection<Edge<I>> |
IncrementalDFATreeBuilder.GraphView.getOutgoingEdges(Node<I> node) |
Node<I> |
IncrementalDFATreeBuilder.TransitionSystemView.getSuccessor(Node<I> transition) |
Node<I> |
IncrementalPCDFATreeBuilder.TransitionSystemView.getTransition(Node<I> state,
I input) |
Node<I> |
IncrementalDFATreeBuilder.TransitionSystemView.getTransition(Node<I> state,
I input) |
void |
Node.setChild(int idx,
int alphabetSize,
Node<I> child)
Sets the child for a given index.
|
| Constructor and Description |
|---|
Edge(Node<I> node,
I input) |
Record(S automatonState,
Node<I> treeNode,
I incomingInput,
Iterator<? extends I> inputIt) |
Copyright © 2015. All Rights Reserved.