net.automatalib.incremental.dfa.tree

Class Node<I>

java.lang.Object

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Serializable

public final class Node<I>
extends Object
implements Serializable

A node in the tree internally used by IncrementalDFATreeBuilder.

Author:

Malte Isberner

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Acceptance	getAcceptance() Retrieves the acceptance value of this node.
@Nullable 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

public @Nullable 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()