Uses of Package
de.learnlib.filter.reuse.tree

Packages that use de.learnlib.filter.reuse.tree

Package	Description
de.learnlib.filter.reuse
de.learnlib.filter.reuse.tree

Classes in de.learnlib.filter.reuse.tree used by de.learnlib.filter.reuse

Class	Description
BoundedDeque.AccessPolicy	The policy which determines in which order elements are accessed.
BoundedDeque.EvictPolicy	The policy which determines in which order elements are removed if the maximum capacity is reached.
ReuseTree	The ReuseTree is a tree like structure consisting of nodes (see ReuseNode) and edges (see ReuseEdge) that is used by the ReuseOracle: Nodes may contain a system state (see ReuseNode.fetchSystemState(boolean)) that could be used for executing suffixes of membership queries.
SystemStateHandler	AN implementation of this interface that is set to the ReuseTree (see ReuseOracle.ReuseOracleBuilder.withSystemStateHandler(SystemStateHandler)) will be informed about all removed system states whenever ReuseTree.disposeSystemStates() gets called.

Classes in de.learnlib.filter.reuse.tree used by de.learnlib.filter.reuse.tree

Class	Description
BoundedDeque.AccessPolicy	The policy which determines in which order elements are accessed.
BoundedDeque.EvictPolicy	The policy which determines in which order elements are removed if the maximum capacity is reached.
ReuseEdge	A ReuseEdge connects two ReuseNode's in the ReuseTree and is labeled with input and output behavior.
ReuseNode	A ReuseNode is a vertex in the ReuseTree that contains (a possible empty) set of outgoing ReuseEdges.
ReuseNode.NodeResult
ReuseTree	The ReuseTree is a tree like structure consisting of nodes (see ReuseNode) and edges (see ReuseEdge) that is used by the ReuseOracle: Nodes may contain a system state (see ReuseNode.fetchSystemState(boolean)) that could be used for executing suffixes of membership queries.
ReuseTree.ReuseTreeBuilder
SystemStateHandler	AN implementation of this interface that is set to the ReuseTree (see ReuseOracle.ReuseOracleBuilder.withSystemStateHandler(SystemStateHandler)) will be informed about all removed system states whenever ReuseTree.disposeSystemStates() gets called.