net.automatalib.incremental.dfa.tree

Class Node<I>

java.lang.Object

net.automatalib.incremental.dfa.tree.Node<I>

Type Parameters:

I - input symbol type

@ParametersAreNonnullByDefault
public final class Node<I>
extends Object

A node in the tree internally used by IncrementalDFATreeBuilder.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
Node() Constructor.
Node(Acceptance acceptance) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
Acceptance	getAcceptance() Retrieves the acceptance value of this node.
Node<I>	getChild(int idx) Retrieves, for a given index, the respective child of this node.
void	makeSink()
void	setAcceptance(Acceptance acceptance) Sets the acceptance value for this node.
void	setChild(int idx, int alphabetSize, Node<I> child) Sets the child for a given index.

Methods inherited from class java.lang.Object

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

Constructor Detail

Node

public Node()

Constructor. Constructs a new node with no children and an acceptance value of Acceptance.DONT_KNOW

Node

public Node(Acceptance acceptance)

Constructor. Constructs a new node with no children and the specified acceptance value.

Parameters:

acceptance - the acceptance value for the node

Method Detail

getAcceptance

public Acceptance getAcceptance()

Retrieves the acceptance value of this node.

Returns:

the acceptance value of this node

setAcceptance

public void setAcceptance(Acceptance acceptance)

Sets the acceptance value for this node.

Parameters:

acceptance - the new acceptance value for this node

getChild

@Nullable
public Node<I> getChild(int idx)

Retrieves, for a given index, the respective child of this node.

Parameters:

idx - the alphabet symbol index

Returns:

the child for the given index, or null if there is no such child

setChild

public void setChild(int idx,
            int alphabetSize,
            Node<I> child)

Sets the child for a given index.

Parameters:

idx - the alphabet symbol index

alphabetSize - the overall alphabet size; this is needed if a new children array needs to be created

child - the new child

makeSink

public void makeSink()