AIXI.MC_AIXI_CTW.history_size C# (CSharp) Method

        public int history_size()
        {
            return this.ContextTree.History.Count;
        }

 public CtwContextTreeUndo(MC_AIXI_CTW agent)
 {
     this.Age         = agent.Age;
     this.TotalReward = agent.TotalReward;
     this.HistorySize = agent.history_size();
     this.LastUpdate  = agent.LastUpdate;
 }