AbstractSolverStateTracker

constructor(solver: Solver)(source)

Parameters

solver

The solver whose emitters we want to track.