Uses of Package
dev.civl.gmc.dpor

Packages that use dev.civl.gmc.dpor

Package	Description
dev.civl.gmc.dpor

Classes in dev.civl.gmc.dpor used by dev.civl.gmc.dpor

Class	Description
DependencyAnalyzer
DporHbSet	Maintains a set of stack entries which are downward closed wrt to the happens-before relation.
DporNode	Wraps a STATE object with transition caching and persistent data used in the DPOR search
DporSearchStack	This class represents the search stack used in the DPOR algorithm.
DporSearchStack.StackTraversal	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.
DporStackEntry	An element of the DporSearchStack.