77f6e5c564 2024-02-08 顽雨沉风: local string = string
5b9fb5e09f 2024-02-13 顽雨沉风: local s = {}
77f6e5c564 2024-02-08 顽雨沉风: -- 加与删
77f6e5c564 2024-02-08 顽雨沉风: --~ 文
77f6e5c564 2024-02-08 顽雨沉风: --~ 前缀
a4c0b3bd26 2024-02-13 顽雨沉风: function s.加前缀(u1, u2)
a4c0b3bd26 2024-02-13 顽雨沉风: return (u2 or "") .. u1
77f6e5c564 2024-02-08 顽雨沉风: end
77f6e5c564 2024-02-08 顽雨沉风: -- 全筛
77f6e5c564 2024-02-08 顽雨沉风: --~ 文
77f6e5c564 2024-02-08 顽雨沉风: --~ 前缀
a4c0b3bd26 2024-02-13 顽雨沉风: function s.全筛前缀(u1, u2)
a4c0b3bd26 2024-02-13 顽雨沉风: if string.sub(u1, 1, #u2) == u2 then
a4c0b3bd26 2024-02-13 顽雨沉风: return u1
77f6e5c564 2024-02-08 顽雨沉风: end
77f6e5c564 2024-02-08 顽雨沉风: end
5b9fb5e09f 2024-02-13 顽雨沉风: return s