/**
         * @param initialState
         *            the initialState to set
         */

        public void setInitialState(AdaptedState initialState)
        {
            this.initialState = initialState;
        }