Package de.learnlib.filter.reuse.tree

Class ReuseNode<S,I,O>

java.lang.Object

de.learnlib.filter.reuse.tree.ReuseNode<S,I,O>

Type Parameters:

S - system state class

I - input symbol class

O - output symbol class

public class ReuseNode<S,I,O>
extends Object

A ReuseNode is a vertex in the ReuseTree that contains (a possible empty) set of outgoing ReuseEdges. Each ReuseNode may contain a system state holding relevant information (e.g. database identifiers or an object) that belongs to the system state that 'represents' the system state after executing a membership query.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ReuseNode.NodeResult<S,I,O>

Constructor Summary

Constructors

Constructor	Description
ReuseNode(int id, int alphabetSize, int maxSystemStates, BoundedDeque.AccessPolicy accessPolicy, BoundedDeque.EvictPolicy evictPolicy)

Method Summary

Modifier and Type	Method	Description
void	addEdge(int index, ReuseEdge<S,I,O> edge)	Adds an outgoing ReuseEdge to this ReuseNode.
@Nullable S	addSystemState(S state)
void	clearSystemStates()
S	fetchSystemState(boolean remove)	The system state, may be null.
Collection<@Nullable ReuseEdge<S,I,O>>	getEdges()	Returns all outgoing ReuseEdges from this ReuseNode.
@Nullable ReuseEdge<S,I,O>	getEdgeWithInput(int index)	May be null.
int	getId()
@Nullable ReuseNode<S,I,O>	getTargetNodeForInput(int index)
boolean	hasSystemStates()
Iterator<S>	systemStatesIterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReuseNode

public ReuseNode(int id,
                 int alphabetSize,
                 int maxSystemStates,
                 BoundedDeque.AccessPolicy accessPolicy,
                 BoundedDeque.EvictPolicy evictPolicy)

Method Detail

fetchSystemState

public S fetchSystemState(boolean remove)

The system state, may be null.

addSystemState

public @Nullable S addSystemState(S state)

systemStatesIterator

public Iterator<S> systemStatesIterator()

hasSystemStates

public boolean hasSystemStates()

clearSystemStates

public void clearSystemStates()

getEdges

public Collection<@Nullable ReuseEdge<S,I,O>> getEdges()

Returns all outgoing ReuseEdges from this ReuseNode. If there are none the returned Collection will be empty (but never null).

addEdge

public void addEdge(int index,
                    ReuseEdge<S,I,O> edge)

Adds an outgoing ReuseEdge to this ReuseNode.

getTargetNodeForInput

public @Nullable ReuseNode<S,I,O> getTargetNodeForInput(int index)

getEdgeWithInput

public @Nullable ReuseEdge<S,I,O> getEdgeWithInput(int index)

May be null.

getId

public int getId()