Uses of Package
dev.civl.gmc.concurrent

Packages that use dev.civl.gmc.concurrent

Package	Description
dev.civl.gmc.concurrent	This package provides concurrent generic model checking functionality.

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

Class	Description
ConcurrentNode
ConcurrentStateManagerIF	A ConcurrentStateManager is used by a ConcurrentDfsSearcher which encapsulates all methods that are needed by ConcurrentDfsSearcher on STATE.
ProvisoValue	This enumeration stores the result of checking "stack proviso" of a STATE in the STATE-TRANSITION system.
StackEntry	The stack entry that is going to be pushed onto the stack during the search.