* SolverStateAccessor