Package de.learnlib.filter.reuse.tree

Class ReuseNode.NodeResult<S,I,O>

java.lang.Object

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

Enclosing class:

ReuseNode<S,I,O>

public static final class ReuseNode.NodeResult<S,I,O>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	prefixLength	The prefix length for a membership query that leads to the ReuseNode in the reuse tree.
ReuseNode<S,I,O>	reuseNode
S	systemState

Constructor Summary

Constructors

Constructor	Description
NodeResult(ReuseNode<S,I,O> reuseNode, S systemState, int prefixLength)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

reuseNode

public final ReuseNode<S,I,O> reuseNode

systemState

public final S systemState

prefixLength

public final int prefixLength

The prefix length for a membership query that leads to the ReuseNode in the reuse tree.

Constructor Detail

NodeResult

public NodeResult(ReuseNode<S,I,O> reuseNode,
                  S systemState,
                  int prefixLength)