consumeMicro

protected open override fun consumeMicro(innerSnapshot: SolverStateSnapshot)(source)