All Classes

Class	Description
BoundedDeque<E>	A generic deque-derived container which transparently acts either as a stack or a queue, and optionally a capacity restriction with a configurable policy which element is evicted (or reject) if the maximum capacity is reached.
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.
ReuseCapableOracle<S,I,O>	Required interface for the ReuseOracle.
ReuseCapableOracle.QueryResult<S,O>
ReuseEdge<S,I,O>	A ReuseEdge connects two ReuseNode's in the ReuseTree and is labeled with input and output behavior.
ReuseException	This exception will be thrown whenever some nondeterministic behavior in the reuse tree is detected when inserting new queries.
ReuseNode<S,I,O>	A ReuseNode is a vertex in the ReuseTree that contains (a possible empty) set of outgoing ReuseEdges.
ReuseNode.NodeResult<S,I,O>
ReuseOracle<S,I,O>	The reuse oracle is a MembershipOracle.MealyMembershipOracle that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from the ReuseTree) Pump queries: If the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available.
ReuseOracle.ReuseOracleBuilder<S,I,O>
ReuseTree<S,I,O>	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<S,I,O>
SystemStateHandler<S>	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.