AIXI.CTWContextTree.revert_tree_history C# (CSharp) Method

        public void revert_tree_history(int symbolCount)
        {
            Debug.Assert(symbolCount>=0);
            int historyLength = this.History.Count;
            Debug.Assert(historyLength >= symbolCount);
            int newSize = historyLength - symbolCount;
            this.History = this.History.GetRange(0,newSize);
        }