- Type Parameters:
S
-
- All Implemented Interfaces:
- java.lang.Iterable<S>
public class SearchQueue<S extends State>
extends java.lang.Object
implements java.lang.Iterable<S>
This class implements the search queue for an anti alignment.
Internally, states are ordered by their marking, in order to allow for each
new state to be quickly compared to existing states (binary search on the
marking, followed by a linear search through identical markings)
On the side, an iteration order is kept for iterating based on the state's
"getPathDistance" value. This iteration order is kept consistent under
updates which is a linear operation.
- Author:
- bfvdonge