Uses of Record Class
com.tnsai.coordination.choreography.DeadlockDetector.DetectionResult

Packages that use DeadlockDetector.DetectionResult

Package	Description
com.tnsai.coordination.choreography	Choreography-based decentralized agent coordination.

Uses of DeadlockDetector.DetectionResult in com.tnsai.coordination.choreography

Methods in com.tnsai.coordination.choreography that return DeadlockDetector.DetectionResult

Modifier and Type	Method	Description
static DeadlockDetector.DetectionResult	DeadlockDetector.DetectionResult.deadlocked(List<DeadlockDetector.Cycle> cycles)
static DeadlockDetector.DetectionResult	DeadlockDetector.detect(ChoreographySpec spec)	Detects cycles in a choreography specification's interaction graph.
static DeadlockDetector.DetectionResult	DeadlockDetector.detectFromWaitGraph(Map<String,Set<String>> waitForGraph)	Detects cycles from a runtime wait-for graph.
static DeadlockDetector.DetectionResult	DeadlockDetector.DetectionResult.safe()