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 informations (e.g. database identifiers or an object) that belongs to the system state that 'represents' the system state after executing a membership query.

Author:

Oliver Bauer

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addEdge(int index, ReuseEdge<S,I,O> edge) Adds an outgoing ReuseEdge to this ReuseNode.
S	addSystemState(S state)
void	clearSystemStates()
S	fetchSystemState(boolean remove) The system state, may be null.
Collection<ReuseEdge<S,I,O>>	getEdges() Returns all outgoing ReuseEdges from this ReuseNode.
ReuseEdge<S,I,O>	getEdgeWithInput(int index) May be null.
int	getId()
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 S addSystemState(S state)

systemStatesIterator

public Iterator<S> systemStatesIterator()

hasSystemStates

public boolean hasSystemStates()

clearSystemStates

public void clearSystemStates()

getEdges

public Collection<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 ReuseNode<S,I,O> getTargetNodeForInput(int index)

getEdgeWithInput

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

May be null.

getId

public int getId()