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 and 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 A 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 and 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 A 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.