replace Fsa with Array2 in Aux_labels

[qindazhu]

Note that as we have defined (const) begin and (const) end for Array2, we can now use range-based for-loop, as I do in IsTopSorted

 for (const auto &arc : fsa) {
   if (arc.dest_state < arc.src_state) return false;
 }

[danpovey]

.. otherwise OK.

[qindazhu]

@danpovey I set indexes = &size1 in Array2 and reset it to nullptr in the constructor of Fsa (it's just temporary code for distinguishing whether the Fsa object is constructed using Array2 or origianl arc_indexes and arcs, will remove it finally).

[danpovey]

OK... OK to merge for me.

…

On Mon, Jun 15, 2020 at 4:30 PM Haowen Qiu ***@***.***> wrote: @danpovey <https://github.com/danpovey> I set indexes = &size1 in Array2 and reset it to nullptr in the constructor of Fsa (it's just temporary code for distinguishing whether the Fsa object is constructed using Array2 or origianl arc_indexes and arcs, will remove it finally). — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <https://github.com/danpovey/k2/pull/59#issuecomment-643984274>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAZFLO6LBLNXW5LFGJD7L43RWXLZDANCNFSM4N52OVIQ> .

[qindazhu]

Merging.