AeroGuard-MAS/reasoning

Package-level declarations

Types

Link copied to clipboard
class ReasoningException(message: String, cause: Throwable? = null) : RuntimeException

Exception thrown by symbolic reasoning components when a query or theory load fails.

Link copied to clipboard
interface SafetyReasoner

Symbolic safety reasoning interface.

Link copied to clipboard
class TuPrologSafetyReasoner(theoryText: String) : SafetyReasoner

tuProlog-backed implementation of SafetyReasoner.

Generated by Dokka
© 2026 Copyright