EditScript.cs

using System.Collections;
using System.Collections.Generic;
 
namespace Waher.Runtime.Text
{
    public class EditScript<T> : IEnumerable<Step<T>>
    {
        private readonly Step<T>[] steps;
        private readonly T[] s1;
        private readonly T[] s2;
 
        public EditScript(T[] S1, T[] S2, Step<T>[] Steps)
        {
            this.s1 = S1;
            this.s2 = S2;
            this.steps = Steps;
        }
 
        public Step<T>[] Steps => this.steps;
 
        public T[] S1 => this.s1;
 
        public T[] S2 => this.s2;
 
        public IEnumerator<Step<T>> GetEnumerator()
        {
            IEnumerable<Step<T>> Temp = this.steps;
            return Temp.GetEnumerator();
        }
 
        IEnumerator IEnumerable.GetEnumerator()
        {
            return this.steps.GetEnumerator();
        }
    }
}