SolverEvent

sealed interface SolverEvent

A snapshot of a solver iteration, surfaced to observers.

Inheritors

Types

Link copied to clipboard
data class GoalAchieved(val state: GoalState) : SolverEvent
Link copied to clipboard
data class GoalFailed(val state: GoalState) : SolverEvent
Link copied to clipboard
data class GoalSubmitted(val state: GoalState) : SolverEvent
Link copied to clipboard
data class IterationCompleted(val state: GoalState, val response: String) : SolverEvent
Link copied to clipboard
data class TimedOut(val state: GoalState) : SolverEvent

Properties

Link copied to clipboard
abstract val state: GoalState