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.