Uses of Class
dev.civl.gmc.dpor.DporSearchStack.StackTraversal

Packages that use DporSearchStack.StackTraversal

Package	Description
dev.civl.gmc.dpor

Uses of DporSearchStack.StackTraversal in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor that return DporSearchStack.StackTraversal

Modifier and Type	Method	Description
DporSearchStack<STATE,TRANSITION>.StackTraversal	DporSearchStack.makeStackTraversal(int proc)	Constructs a new DporSearchStack<STATE,TRANSITION>.StackTraversal object for traversing the interior entries of this stack in reverse order, skipping entries whose transition happens before some next transition of proc at the stack's current state.