Class AbstractTermination<Solution_>