Uses of Record Class
com.tnsai.coordination.choreography.LivelockDetector.Violation

Packages that use LivelockDetector.Violation

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

Uses of LivelockDetector.Violation in com.tnsai.coordination.choreography

Methods in com.tnsai.coordination.choreography that return types with arguments of type LivelockDetector.Violation

Modifier and Type	Method	Description
List<LivelockDetector.Violation>	LivelockDetector.DetectionResult.violations()	Returns the value of the violations record component.

Constructor parameters in com.tnsai.coordination.choreography with type arguments of type LivelockDetector.Violation

Modifier	Constructor	Description
	DetectionResult(List<LivelockDetector.Violation> violations, boolean circuitBroken)	Creates an instance of a DetectionResult record class.