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

Packages that use DporHbSet

Package	Description
dev.civl.gmc.dpor

Uses of DporHbSet in dev.civl.gmc.dpor

Fields in dev.civl.gmc.dpor declared as DporHbSet

Modifier and Type	Field	Description
DporHbSet	DporTransitionData.hbSet	The DporHbSet of stack entries with transitions that happen-before this transition

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

Modifier and Type	Method	Description
DporHbSet	DporSearchStack.getHbSet(int pid)
DporHbSet	DporStackEntry.getHbSet()	Precondition: This entry is not on the top of the stack.