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