Uses of Class
com.tnsai.coordination.choreography.ChoreographySpec

Packages that use ChoreographySpec

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

Uses of ChoreographySpec in com.tnsai.coordination.choreography

Methods in com.tnsai.coordination.choreography that return ChoreographySpec

Modifier and Type	Method	Description
ChoreographySpec	ChoreographySpec.Builder.build()

Methods in com.tnsai.coordination.choreography with parameters of type ChoreographySpec

Modifier and Type	Method	Description
static DeadlockDetector.DetectionResult	DeadlockDetector.detect(ChoreographySpec spec)	Detects cycles in a choreography specification's interaction graph.
ChoreographyEngine.Builder	ChoreographyEngine.Builder.spec(ChoreographySpec spec)