Annotate methods within solver class