public UnraveledSymbol(Sequence _seqindex, int _symbol) { this.seqindex = _seqindex; this.symbol = _symbol; }