Uses of Class
dev.civl.gmc.dpor.DporStackEntry

Packages that use DporStackEntry

Package	Description
dev.civl.gmc.dpor

Uses of DporStackEntry in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor that return DporStackEntry

Modifier and Type	Method	Description
DporStackEntry<STATE,TRANSITION>	DporSearchStack.get(int index)
DporStackEntry<STATE,TRANSITION>	DporSearchStack.StackTraversal.next()	Traverses to the next stack entry and returns it.
DporStackEntry<STATE,TRANSITION>	DporSearchStack.top()

Methods in dev.civl.gmc.dpor with parameters of type DporStackEntry

Modifier and Type	Method	Description
void	DporHbSet.addEntry(DporStackEntry<?,?> entry)
void	DporSearchStack.addRace(DporStackEntry<STATE,TRANSITION> entry, int pid)	Marks a race between the transition of entry and one of the next transitions at the current state from the process pid.
boolean	DporHbSet.contains(DporStackEntry<?,?> entry)