Package-level declarations

Types

value class Proposition(val value: String)

STRIPS proposition represented as a validated symbolic atom.

Interface for components that can generate a resolution plan for a conflict.

class SecondaryConflictAwareResolutionPlanner(safetyReasoner: SafetyReasoner, aircraftMover: AircraftMover = AircraftMover(), maneuverApplier: ManeuverApplier = ManeuverApplier(), predictionHorizonTicks: Int = 8, conflictDetector: ConflictDetector = ConflictDetector( aircraftMover = aircraftMover, safetyReasoner = safetyReasoner, )) : ResolutionPlanner

Resolution planner that prevents secondary conflicts through forward simulation.

data class StripsAction(val name: String, val preconditions: Set<Proposition>, val addEffects: Set<Proposition>, val deleteEffects: Set<Proposition>, val maneuver: Maneuver? = null)

STRIPS action with preconditions, add effects, delete effects, and optional maneuver.

Minimal breadth-first STRIPS planner.

data class StripsProblem(val initialState: Set<Proposition>, val goal: Set<Proposition>, val actions: List<StripsAction>, val maxDepth: Int = 5)

STRIPS planning problem definition.

Basic STRIPS-based conflict resolution planner.

Formats a maneuver as a compact planner action string.