Module dev.civl.gmc

Package dev.civl.gmc.dpor

Class DporSearchStack.StackTraversal

java.lang.Object

dev.civl.gmc.dpor.DporSearchStack.StackTraversal

Enclosing class:

DporSearchStack<STATE,TRANSITION>

public class DporSearchStack.StackTraversal
extends Object

A structure for efficiently traversing the interior entries of this stack in reverse order, skipping entries whose transition occur in a DporHbSet supplied to this object when constructed.

Adding races to the stack while traversing is permitted and such changes are reflected in the traversal.

Method Summary

Modifier and Type	Method	Description
DporStackEntry<STATE,TRANSITION>	next()	Traverses to the next stack entry and returns it.

Methods inherited from class java.lang.Object

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

Method Details

next

public DporStackEntry<STATE,TRANSITION> next()

Traverses to the next stack entry and returns it.

Returns:

the next stack entry, or null if there are no more entries to traverse.