public SourceText(string path, Alphabet alphabet) : base(path, alphabet) { }
public SourceText(char[] text, Alphabet alphabet) : base(text, alphabet) { }
public AText(char[] text, Alphabet alphabet) { this.text = text; this.alphabet = alphabet; }
public AText(string path, Alphabet alphabet) { this.alphabet = alphabet; ReadFile(path); }
public EncodedText(string path, Alphabet alphabet) : base(path, alphabet) { }
public EncodedText(char[] text, Alphabet alphabet) : base(text, alphabet) { }