ResolutionPlan

data class ResolutionPlan(val id: String, val conflictId: String, val maneuvers: List<Maneuver>, val explanation: String)(source)

Planner output for resolving a conflict or dynamic constraint.

A resolution plan groups one or more maneuvers with a textual explanation suitable for CLI output, JSONL logging, and GUI display.

Constructors

Link copied to clipboard
constructor(id: String, conflictId: String, maneuvers: List<Maneuver>, explanation: String)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val id: String
Link copied to clipboard