void FinishBuild(WTM_Inner node, SequenceBuilder seq_builder, int sigma) { if (node == null) { return; } var s = node.SEQ as FakeSeq; node.SEQ = seq_builder (s.SEQ, s.Sigma); foreach (var child in node.CHILDREN) { this.FinishBuild(child as WTM_Inner, seq_builder, sigma); } }