// libsemigroups - C++ library for semigroups and monoids // Copyright (C) 2021-2023 James D. Mitchell + Maria Tsalakou // // This program is free software: you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation, either version 3 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program. If not, see <http://www.gnu.org/licenses/ >. // #include <algorithm> // for count_if, all_of #include <cstddef> // for size_t #include <tuple> // for tie #include <utility> // for pair #include <vector> // for vector #include "catch.hpp" // for REQUIRE, REQUIRE_THROWS_AS #include "test-main.hpp" // for LIBSEMIGROUPS_TEST_CASE #include "libsemigroups/constants.hpp" // for operator==, POSITIVE_INFINITY #include "libsemigroups/exception.hpp" // for LIBSEMIGROUPS_EXCEPTION #include "libsemigroups/int-range.hpp" // for IntegralRange #include "libsemigroups/types.hpp" // for word_type #include "libsemigroups/ukkonen.hpp" // for Ukkonen, Ukkonen::State #include "libsemigroups/wislo.hpp" // for const_wislo_iterator, cbegi... #include "libsemigroups/word.hpp" // for literals namespace libsemigroups {using literals::operator "" _w;namespace {// TODO Should really be just a use of presentation::longest_common_subword auto best_subword(Ukkonen& u) {return ukkonen::dfs(u, helper);// namespace "Ukkonen" , "000" , "basic tests" , "[quick][ukkonen]" ) {// aaeaaa$ // abcd$' // a -> 0 // b -> 1 // c -> 2 // d -> 3 // e -> 4 "" _w));const & w) { return ukkonen::is_subword(t, w); })"" _w)); // 1 // 5 // 10 // 15 // 16 "" _w)); // 1 // 5 // 10 // 15 // 16 "ab" ));"ab" )));"ab" ));"ab" )));"" _w));"ab" ));"ab" )));"ab" ));"ab" )));const & w) { return ukkonen::is_suffix(t, w); })"ab" ) == 0);"ab" )) == 0);"ab" ) == 0);"ab" ))"ab" ) == 'a' );"ab" )) == 'a' );"ab" ) == 'a' );"ab" ))'a' );"Ukkonen" ,"001" ,"maximal_piece_prefix 1" ,"[quick][ukkonen]" ) {"Ukkonen" ,"002" ,"maximal_piece_prefix 2" ,"[quick][ukkonen]" ) {"00456789" _w) == 3);"Ukkonen" ,"003" ,"maximal_piece_prefix 3" ,"[quick][ukkonen]" ) {"" _w));static_cast <size_t>(-1), 124})),const & w) { return ukkonen::is_subword(t, w); })"" _w));static_cast <size_t>(-1), 124}),auto w = 124_w;"abc" ) == POSITIVE_INFINITY);"abc" ))"abc" ) == POSITIVE_INFINITY);"abc" ))"Ukkonen" ,"004" ,"number_of_pieces" ,"[quick][ukkonen]" ) {"01284567" _w);// does nothing "01284567" _w) == 3);"01284567" _w)auto w = "0128456701284567" _w;"Ukkonen" , "005" , "traverse" , "[quick][ukkonen]" ) {using State = Ukkonen::State;auto s = ukkonen::traverse(t, {});"Ukkonen" , "006" , "dot" , "[quick][ukkonen]" ) {// No words "" _w, "00000" _w), cend_wislo(2, "" _w, "00000" _w));// Too many words "Ukkonen" , "007" , "strings" , "[quick][ukkonen]" ) {"aaaeaa" );"abcd" );"" );"aaaeaa" ) == POSITIVE_INFINITY);"aaaeaa" ) == 2);auto w = "aaaeaa" ;"aa" );"aa" );"aa" );"aaaeaa" ;"aa" );"aa" );"aaaaaa" )"aa" , "aa" , "aa" }));"aa" );"abcd" ) == 0);"aaaeaa" ) == 2);"aaaeaaaaaaaaaaaaaaaa" ));"" ));"" ) == 0);"" ) == 0);"" ) == 0);"xxx" ) == 0);"xxx" ) == 0);"xxx" ) == POSITIVE_INFINITY);"Ukkonen" , "008" , "dfs #01" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"Ukkonen" , "009" , "dfs #02" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aaaaa" );"bbb" );"ababa" );"aaabaabaaabaa" );"Ukkonen" , "010" , "dfs #03" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aaaaa" );"bbb" );"cba" );"aaccaca" );"aba" );"Ukkonen" , "011" , "dfs #04" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"Ukkonen" , "012" , "dfs #05" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"Ukkonen" , "013" , "dfs #06" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"Ukkonen" , "014" , "dfs #07" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aaaaaaaaaaaaaa" );"bbbbbbbbbbbbbb" );"cccccccccccccc" );"aaaaba" );"bbb" );"bbbbab" );"aaa" );"aaaaca" );"ccc" );"ccccac" );"aaa" );"bbbbcb" );"ccc" );"ccccbc" );"bbb" );"Ukkonen" , "015" , "dfs #08" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aaaaaaaaaaaaaa" );"bbbbbbbbbbbbbb" );"ddddcc" );"aaaaba" );"bbb" );"bbbbab" );"aaa" );"aaaaca" );"dcac" );"aaa" );"bbbbcb" );"dcbc" );"bbb" );"ccc" );"Ukkonen" , "016" , "dfs #09" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" );"bbb" );"ababa" );"aaaaaaaaaaaaaaaabaaaabaaaaaaaaaaaaaaaabaaaa" );"Ukkonen" , "017" , "dfs #10" , "[quick][ukkonen]" ) {using const_iterator = typename Ukkonen::const_iterator;"aBCbac" );"bACbaacA" );"accAABab" );"Ukkonen" , "018" , "pieces" , "[quick][ukkonen]" ) {"ab" );"baabbaaaa" ));"abababbbaa" ));"baabbaaaa" )) == 3);"baabbaaaa" ))"baa" )));"bbaa" )));"aa" )));"aa" ));"aa" )));"aa" ));"aa" )));"baa" )));"bbaa" )));"aa" )));"abababbbaa" )) == 3);"abababbbaa" ))"Ukkonen" ,"019" ,"code coverage" ,"[quick][ukkonen]" ) {auto w = "abcdefabababab" ;"abdbadbabdbabdabdj" );auto www = 0001000_w;auto const & n) { return u.distance_from_root(n); });auto range = IntegralRange<size_t>(0, u.number_of_distinct_words());auto i) { return u.multiplicity(i); });"Ukkonen" ,"020" ,"code coverage" ,"[quick][ukkonen]" ) {"" _w) == true );// namespace libsemigroups quality 90%
¤ Dauer der Verarbeitung: 0.21 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
