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

Packages that use DeadlockDetector.Cycle

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

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

Methods in com.tnsai.coordination.choreography that return types with arguments of type DeadlockDetector.Cycle

Modifier and Type	Method	Description
List<DeadlockDetector.Cycle>	DeadlockDetector.DetectionResult.cycles()	Returns the value of the cycles record component.

Method parameters in com.tnsai.coordination.choreography with type arguments of type DeadlockDetector.Cycle

Modifier and Type	Method	Description
static DeadlockDetector.DetectionResult	DeadlockDetector.DetectionResult.deadlocked(List<DeadlockDetector.Cycle> cycles)

Constructor parameters in com.tnsai.coordination.choreography with type arguments of type DeadlockDetector.Cycle

Modifier	Constructor	Description
	DetectionResult(List<DeadlockDetector.Cycle> cycles, boolean hasDeadlock)	Creates an instance of a DetectionResult record class.