Method AppendDot

library/cpp/regex/pire/pire/encoding.cpp:102–114

        }

        void AppendDot(Fsm& fsm) const
        {
            size_t last = fsm.Resize(fsm.Size() + UtfRanges::MaxLen);
            for (size_t i = 0; i < UtfRanges::MaxLen; ++i)
                for (size_t letter = UtfRanges::First[i][0]; letter < UtfRanges::First[i][1]; ++letter)
                    fsm.ConnectFinal(fsm.Size() - i - 1, letter);
            for (size_t i = 0; i < UtfRanges::MaxLen - 1; ++i)
                for (size_t letter = UtfRanges::Next[0]; letter < UtfRanges::Next[1]; ++letter)
                    fsm.Connect(last + i, last + i + 1, letter);
            fsm.ClearFinal();
            fsm.SetFinal(fsm.Size() - 1, true);
            fsm.SetIsDetermined(false);
        }
    };
}