public void CopyFrom(OrderedSeq other) { data = other.data; fromPos = other.fromPos; toPos = other.toPos; set1 = other.set1; set2 = other.set2; fromFile = other.fromFile; }
public OrderedSeqFromFile fromFile; //if <> null it's a file stream public void Init(int[] data, int fromPos, int toPos, OrderedSeqFromFile fromFile, OrderedSeq set1, OrderedSeq set2) { this.data = data; this.fromPos = fromPos; this.toPos = toPos; this.set1 = set1; this.set2 = set2; this.fromFile = fromFile; }
private static bool FromFile(string fileName, int ioSize, OrderedSeq rest) { OrderedSeqFromFile fromFile = new OrderedSeqFromFile(fileName, ioSize); return(fromFile.GetRest(rest)); }
public void Init(int[] data, int fromPos, int toPos, OrderedSeqFromFile fromFile, OrderedSeq set1, OrderedSeq set2) { this.data = data; this.fromPos = fromPos; this.toPos = toPos; this.set1 = set1; this.set2 = set2; this.fromFile = fromFile; }
private static bool FromFile(string fileName, int ioSize, OrderedSeq rest) { OrderedSeqFromFile fromFile = new OrderedSeqFromFile(fileName, ioSize); return fromFile.GetRest(rest); }