AbstractSolverStateTracker

abstract class AbstractSolverStateTracker(val solver: Solver)(source)

An abstract base class that autonomously tracks a Solver's state and lifecycle. It remains permanently attached to the solver, allowing it to record multiple subsequent runs seamlessly without user intervention.

Parameters

solver

The solver whose emitters we want to track.

Inheritors

Constructors

Link copied to clipboard
constructor(solver: Solver)

Properties

Link copied to clipboard
Link copied to clipboard
protected val solver: Solver
Link copied to clipboard

Functions

Link copied to clipboard
protected abstract fun consume(snapshot: SolverStateSnapshot)

Defines how the concrete tracker handles the mathematical state payload.

Link copied to clipboard
protected open fun onLifecycleEvent(status: SolverStatus)

Optional hook for subclasses to react to lifecycle changes (e.g., opening/closing files on INITIALIZED/COMPLETED).

Link copied to clipboard

Attaches this tracker to the solver's emitters.

Link copied to clipboard

Safely detaches from the solver's emitters. In the continuous tracking architecture, this is usually only called manually if the user explicitly wants to silence the tracker.