// // libsemigroups - C++ library for semigroups and monoids // Copyright (C) 2019 James D. Mitchell // // 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 all_of, count, fill #include <cstddef> // for size_t #include <cstdint> // for int64_t #include <initializer_list> // for initializer_list #include <numeric> // for iota #include <stdexcept> // for out_of_range #include <utility> // for swap #include <vector> // for vector #include "catch.hpp" // for REQUIRE #include "test-main.hpp" // for LIBSEMIGROUPS_TEST_CASE #include "libsemigroups/containers.hpp" // for DynamicArray2, DynamicArray... namespace libsemigroups {namespace detail {"DynamicArray2" ,"001" ,"default constructor with 3 default args" ,"[containers][quick]" ) {bool > rv = DynamicArray2<bool >();"DynamicArray2" ,"002" ,"default constructor with 2 default args" ,"[containers][quick]" ) {"DynamicArray2" ,"003" ,"default constructor with 1 default args" ,"[containers][quick]" ) {bool > rv = DynamicArray2<bool >(5, 5);bool val) { return val == false ; }));"DynamicArray2" ,"004" ,"default constructor with 0 default args" ,"[containers][quick]" ) {bool > rv = DynamicArray2<bool >(2, 7, true );bool val) { return val == true ; }));"DynamicArray2" ,"005" ,"copy constructor with 1 default args" ,"[containers][quick]" ) {return val == 666; }));"DynamicArray2" ,"006" ,"copy constructor with 0 default args" ,"[containers][quick]" ) {return val == 666; }));// Check when there are available extra columns already in rv. return val == 666; }));"DynamicArray2" ,"007" ,"add_rows" ,"[containers][quick]" ) {return val == 666; }));return val == 666; }));return val == 666; }));"DynamicArray2" ,"008" ,"add_rows" ,"[containers][quick]" ) {return val == 666; }));return val == 666; }));"DynamicArray2" ,"009" ,"add_cols" ,"[containers][quick]" ) {return val == 666; }));return val == 666; }));"DynamicArray2" ,"010" ,"set/get" ,"[containers][quick]" ) {for (size_t col = 0; col < 100; col++) {for (size_t row = 0; row < 50; row++) {auto check_it = [&val, &rv]() {for (size_t col = 0; col < 100; col++) {for (size_t row = 0; row < 50; row++) {if (rv.get(row, col) != val++) {return false ;return true ;"DynamicArray2" ,"011" ,"append 1/2" ,"[containers][quick]" ) {return val == 666; }));auto check_it = [&rv1](size_t begin, size_t end, size_t val) {for (size_t col = 0; col < 100; col++) {for (size_t row = begin; row < end; row++) {if (rv1.get(row, col) != val) {return false ;return true ;"DynamicArray2" ,"012" ,"append 2/2" ,"[containers][quick]" ) {for (size_t i = 0; i < 9; i++) {return val == 666; }));auto check_it = [&rv1](size_t begin, size_t end, size_t val) {for (size_t col = 0; col < 100; col++) {for (size_t row = begin; row < end; row++) {if (rv1.get(row, col) != val) {return false ;return true ;"DynamicArray2" ,"013" ,"count" ,"[containers][quick]" ) {for (size_t i = 0; i < 9; i++) {for (size_t i = 10; i < 19; i++) {"DynamicArray2" ,"014" ,"clear" ,"[containers][quick]" ) {"DynamicArray2" ,"015" ,"begin_row and end_row" ,"[containers][quick]" ) {for (size_t i = 0; i < rv.number_of_rows(); i++) {for (auto it = rv.begin_row(i); it < rv.end_row(i); it++) {if (i == 0) {"DynamicArray2" ,"016" ,"cbegin_row and cend_row" ,"[containers][quick]" ) {for (size_t i = 0; i < rv.number_of_rows(); i++) {for (auto it = rv.cbegin_row(i); it < rv.cend_row(i); it++) {"DynamicArray2" ,"017" ,"iterator operator++ (postfix)" ,"[containers][quick]" ) {// cols, rows // rv1 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv1.begin(); it < rv1.end(); it++) {for (auto it = rv1.begin(); it < rv1.end(); it++) {for (auto it = rv1.rbegin(); it < rv1.rend(); it++) {bool > rv2 = DynamicArray2<bool >(100, 2); // cols, rows // rv2 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv2.begin(); it < rv2.end(); it++) {false );if (((it - rv2.begin()) % 2) == 0) {true ;for (auto it = rv2.rbegin(); it < rv2.rend(); it++) {if (((it - rv2.rend() + 1) % 2) == 0) {true );else {false );true ;for (auto it = rv2.begin(); it < rv2.end(); it++) {true );"DynamicArray2" ,"018" ,"iterator operator++ (prefix)" ,"[containers][quick]" ) {// cols, rows for (auto it = rv1.begin(); it < rv1.end(); ++it) {auto tmp(it);// rv1 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv1.begin(); it < rv1.end(); ++it) {for (auto it = rv1.begin(); it < rv1.end(); it++) {for (auto it = rv1.begin(); it < rv1.end(); ++it) {for (auto it = rv1.begin(); it < rv1.end(); ++it) {auto tmp(it);bool > rv2 = DynamicArray2<bool >(100, 2); // cols, rows // rv2 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv2.begin(); it < rv2.end(); ++it) {false );if ((it - rv2.begin()) % 6 == 4) {true ;true );for (auto it = rv2.begin(); it < rv2.end(); ++it) {if ((it - rv2.begin()) % 6 == 4) {true );else {false );for (auto it = rv2.begin(); it < rv2.end(); ++it) {auto tmp(it);"DynamicArray2" ,"019" ,"iterator operator-- (postfix)" ,"[containers][quick]" ) {// cols, rows // rv has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv.end() - 1; it >= rv.begin(); it--) {for (auto it = rv.end() - 1; it >= rv.begin(); it--) {for (auto it = rv.end() - 1; it >= rv.begin(); --it) {auto tmp(it);for (auto it = rv.rbegin(); it < rv.rend(); it++) {auto tmp(it);for (auto it = rv.rbegin(); it < rv.rend(); ++it) {auto tmp(it);"DynamicArray2" ,"020" ,"iterator operator-- (prefix)" ,"[containers][quick]" ) {// cols, rows // rv has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv.end() - 1; it >= rv.begin(); --it) {for (auto it = rv.end() - 1; it >= rv.begin(); --it) {for (auto it = rv.end() - 1; it >= rv.begin(); --it) {auto tmp(it);for (auto it = rv.rbegin(); it < rv.rend(); it++) {auto tmp(it);for (auto it = rv.rbegin(); it < rv.rend(); ++it) {auto tmp(it);"DynamicArray2" ,"021" ,"operator=" ,"[containers][quick]" ) {operator =(rv2);return val == 2; }));return val == 2; }));bool > rv3 = DynamicArray2<bool >(10, 10, false );bool > rv4 = DynamicArray2<bool >(9, 9, true );operator =(rv4);bool val) { return val == true ; }));bool val) { return val == true ; }));"DynamicArray2" ,"022" ,"operator== and operator!=" ,"[containers][quick]" ) {// wrong values // rv has 16 = 5 * 10 / 4 + 4 cols in total // wrong dimensions // rv has 16 = 5 * 10 / 4 + 4 cols in total // wrong values // wrong dimensions // wrong values for (auto it1 = rv1.begin(), it2 = rv2.begin(); it1 < rv1.end();for (auto it1 = rv1.cbegin(), it2 = rv2.cbegin(); it1 < rv1.cend();for (auto it1 = rv1.rbegin(), it2 = rv2.rbegin(); it1 < rv1.rend();for (auto it1 = rv1.crbegin(), it2 = rv2.crbegin(); it1 < rv1.crend();bool > rv3(10, 10, true );bool > rv4(10, 10, false );// wrong values // rv has 16 = 5 * 10 / 4 + 4 cols in total // wrong dimensions // rv has 16 = 5 * 10 / 4 + 4 cols in total // wrong values // wrong dimensions // wrong values false );for (auto it1 = rv3.begin(), it2 = rv4.begin(); it1 < rv3.end();for (auto it1 = rv3.cbegin(), it2 = rv4.cbegin(); it1 < rv3.cend();for (auto it1 = rv3.rbegin(), it2 = rv4.rbegin(); it1 < rv3.rend();for (auto it1 = rv3.crbegin(), it2 = rv4.crbegin(); it1 < rv3.crend();"DynamicArray2" ,"023" ,"empty and clear" ,"[containers][quick]" ) {bool > rv3 = DynamicArray2<bool >(10, 10);bool > rv4 = DynamicArray2<bool >(10);"DynamicArray2" ,"024" ,"max_size" ,"[containers][quick]" ) {bool > rv2 = DynamicArray2<bool >(10);"DynamicArray2" ,"025" ,"swap" ,"[containers][quick]" ) {// rv1 has 16 = 5 * 10 / 4 + 4 cols in total // rv2 has 15 = 5 * 9 / 4 + 4 cols in total return val == 3; }));return val == 2; }));return val == 2; }));return val == 3; }));return val == 3; }));return val == 2; }));bool > rv3 = DynamicArray2<bool >(10, 10, false );bool > rv4 = DynamicArray2<bool >(9, 9, true );// rv3 has 16 = 5 * 10 / 4 + 4 cols in total bool val) { return val == false ; }));bool val) { return val == true ; }));bool val) { return val == true ; }));bool val) { return val == false ; }));bool val) { return val == false ; }));bool val) { return val == true ; }));"DynamicArray2" ,"026" ,"iterator arithmetic" ,"[containers][quick]" ) {for (auto it = rv.begin(); it < rv.end(); it++) {auto it = rv.begin();for (int64_t i = 0; i < 100; i++) {auto tmp(it);for (int64_t i = 100; i < 200; i++) {auto tmp(it);bool > rv = DynamicArray2<bool >(10, 10, false );auto it = rv.begin();false );for (int64_t i = 1; i < 100; i++) {true ;true );true );false );auto tmp(it);for (int64_t i = 100; i < 200; i++) {auto tmp(it);for (auto it = rv.begin(); it < rv.end(); it++) {auto it = rv.cbegin();for (int64_t i = 0; i < 100; i++) {auto tmp(it);for (int64_t i = 100; i < 200; i++) {auto tmp(it);bool > rv = DynamicArray2<bool >(10, 10, false );auto it = rv.cbegin();false );for (int64_t i = 1; i < 100; i++) {true ;true );true );false );auto tmp(it);for (int64_t i = 100; i < 200; i++) {auto tmp(it);"DynamicArray2" ,"027" ,"iterator comparison" ,"[containers][quick]" ) {"DynamicArray2" ,"028" ,"iterator operator=" ,"[containers][quick]" ) {auto it = rv.begin();auto it2 = it;auto it = rv.cbegin();auto it2 = it;"DynamicArray2" ,"029" ,"iterator operator[]" ,"[containers][quick]" ) {for (auto it = rv.begin(); it < rv.end(); it++) {auto it = rv.begin();while (val > 0) {for (auto it = rv.begin(); it < rv.end(); it++) {auto it = rv.cbegin();while (val > 0) {bool > rv = DynamicArray2<bool >(10, 10, false );auto it = rv.begin();auto it2 = rv.rbegin();while (val > 0) {true ;true );auto it = rv.cbegin();auto it2 = rv.rbegin();while (val > 0) {true ;true );"DynamicArray2" ,"030" ,"iterator operator->" ,"[containers][quick][30" ) {bool >> rvbool >>(13, 13, DynamicArray2<bool >());auto it = rv.begin();auto it = rv.cbegin();"DynamicArray2" ,"031" ,"const_iterator operator++/--" ,"[containers][quick]" ) {// cols, rows // rv1 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv1.begin(); it < rv1.end(); it++) {for (auto it = rv1.cbegin(); it < rv1.cend(); it++) {for (auto it = rv1.crbegin(); it < rv1.crend(); it++) {bool > rv2 = DynamicArray2<bool >(100, 2); // cols, rows // rv2 has 129 = 5 * 100 / 4 + 4 cols in total for (auto it = rv2.begin(); it < rv2.end(); it++) {if (((it - rv2.begin()) % 2) == 0) {true ;for (auto it = rv2.crbegin(); it < rv2.crend(); it++) {if (((it - rv2.crend() + 1) % 2) == 0) {true );else {false );for (auto it = rv2.cbegin(); it < rv2.cend(); it++) {if (((it - rv2.cend() + 1) % 2) == 0) {false );else {true );"DynamicArray2" ,"032" ,"const_iterator operator++/--" ,"[containers][quick]" ) {// cols, rows auto const it_b = rv.begin();auto const it_e = rv.end();"DynamicArray2" ,"033" ,"column iterators" ,"[containers][quick]" ) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (size_t i = 0; i < rv.number_of_rows(); i++) {for (auto it = rv.begin_row(i); it < rv.end_row(i); it++, j++) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.cbegin_column(i); it < rv.cend_column(i); it++) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.cend_column(i) - 1; it >= rv.cbegin_column(i); it--) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.cbegin_column(i); it < rv.cend_column(i); ++it) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.cend_column(i) - 1; it >= rv.cbegin_column(i); --it) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.begin_column(i); it < rv.end_column(i); it++) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.end_column(i) - 1; it >= rv.begin_column(i); it--) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.begin_column(i); it < rv.end_column(i); ++it) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (auto it = rv.end_column(i) - 1; it >= rv.begin_column(i); --it) {"DynamicArray2" ,"034" ,"column iterator arithmetic" ,"[containers][quick][no-valgrind]" ) {for (size_t i = 0; i < rv.number_of_cols(); i++) {for (size_t j = 0; j < 10; j++) {auto it = rv.begin_column(j);for (int64_t i = 0; i < 10; i++) {auto tmp(it);for (int64_t i = 10; i < 200; i++) {auto tmp(it);bool > rv = DynamicArray2<bool >(10, 10, false );for (size_t i = 0; i < rv.number_of_cols(); i++) {for (size_t j = 0; j < 10; j++) {auto it = rv.begin_column(j);for (int64_t i = 0; i < 10; i++) {auto tmp(it);for (int64_t i = 10; i < 200; i++) {auto tmp(it);"DynamicArray2" ,"035" ,"iterator assignment constructor" ,"[containers][quick]" ) {for (size_t i = 0; i < 100; i++) {for (size_t j = 0; j < 100; j++) {for (size_t i = 0; i < 99; i++) {auto it = rv.begin_row(i);auto it2 = rv.begin_row(i + 1);// the thing we really want to test for (; it2 != rv.end_row(i); ++it2) {"DynamicArray2" ,"036" ,"reserve method" ,"[containers][quick]" ) {"DynamicArray2" ,"037" ,"erase column" ,"[containers][quick]" ) {for (size_t i = 0; i < 10; i++) {for (size_t i = 0; i < 10; ++i) {"DynamicArray2" ,"038" ,"swap_rows" ,"[containers][quick]" ) {for (size_t i = 0; i < 10; i++) {return x == 8; }));return x == 4; }));for (size_t i = 0; i < 10; i++) {if (i != 4 && i != 8) {return x == i;"DynamicArray2" ,"039" ,"apply_row_permutation" ,"[containers][quick]" ) {for (size_t i = 0; i < 10; i++) {// copy p, since the apply_row_permutation method modifies p. for (size_t i = 0; i < 10; i++) {return x == q[i];"DynamicArray2" ,"040" ,"swap" ,"[containers][quick]" ) {"DynamicArray2" ,"041" ,"shrink_rows_to" ,"[containers][quick]" ) {"DynamicArray2" ,"042" ,"shrink_rows_to - for range" ,"[containers][quick]" ) {"StaticVector2" ,"043" ,"all" ,"[containers][quick]" ) {"Array2" , "044" , "all" , "[containers][quick]" ) {"StaticTriVector2" ,"045" ,"all" ,"[containers][quick]" ) {// namespace detail // namespace libsemigroups quality 83%
¤ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
