add javadoc to algorithm.state.StateManager