]> Savannah Git Hosting - gnulib.git/commit
dfa: position set sorts increasing order
authorNorihiro Tanaka <noritnk@kcn.ne.jp>
Mon, 22 Oct 2018 14:31:26 +0000 (23:31 +0900)
committerJim Meyering <meyering@fb.com>
Sat, 27 Oct 2018 19:48:47 +0000 (12:48 -0700)
commiteb8189b387c4388d238dcabfda88c28b541f3491
tree0703a893e463a8aca0faf9e16f32d19b4775fb88
parent8ef5a4393e956385cf52422206acbeabecdadfcc
dfa: position set sorts increasing order

Change the order of position set from decreasing to increaing, then even
after dfa is optimized, it is guaranteed that the number of a position
is smaller than the subsequent one's number.

dfa.c (insert, merged_constrained, delete): Reverse the direction of an
inequality sign.
(dfaanalyze): Position set sorts increasing order.
lib/dfa.c