[auto-verifier] docs commit d596cae

rainbou-kpr · May 17, 2024 · 24b0849 · 24b0849
1 parent b9c9c20
commit 24b0849
Show file tree

Hide file tree

Showing 18 changed files with 803 additions and 57 deletions.
diff --git a/cpp/binary-trie.hpp.md b/cpp/binary-trie.hpp.md
@@ -196,8 +196,8 @@ data:
   timestamp: '2024-04-10 15:58:54+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - test/yosupo-set-xor-min.test.cpp
   - test/aoj-itp1-1-a.binary-trie.test.cpp
+  - test/yosupo-set-xor-min.test.cpp
 documentation_of: cpp/binary-trie.hpp
 layout: document
 redirect_from:

diff --git a/cpp/convex-hull-trick.hpp.md b/cpp/convex-hull-trick.hpp.md
@@ -110,8 +110,8 @@ data:
   timestamp: '2023-06-19 07:11:52+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - test/yosupo-segment-add-get-min.test.cpp
   - test/yosupo-line-add-get-min.test.cpp
+  - test/yosupo-segment-add-get-min.test.cpp
 documentation_of: cpp/convex-hull-trick.hpp
 layout: document
 redirect_from:

diff --git a/cpp/fps.hpp.md b/cpp/fps.hpp.md
@@ -624,14 +624,14 @@ data:
   timestamp: '2024-01-20 00:58:37+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - test/yosupo-inv-of-fps.test.cpp
-  - test/yosupo-partition-function_2.test.cpp
   - test/yosupo-polynomial-taylor-shift.test.cpp
   - test/yosupo-sharp-p-subset-sum.test.cpp
-  - test/yosupo-partition-function_1.test.cpp
-  - test/yosupo-log-of-fps.test.cpp
-  - test/yosupo-exp-of-fps.test.cpp
   - test/yosupo-pow-of-fps.test.cpp
+  - test/yosupo-partition-function_2.test.cpp
+  - test/yosupo-exp-of-fps.test.cpp
+  - test/yosupo-inv-of-fps.test.cpp
+  - test/yosupo-log-of-fps.test.cpp
+  - test/yosupo-partition-function_1.test.cpp
 documentation_of: cpp/fps.hpp
 layout: document
 redirect_from:

diff --git a/cpp/graph.hpp.md b/cpp/graph.hpp.md
@@ -239,13 +239,13 @@ data:
   timestamp: '2023-06-06 14:52:29+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - test/aoj-grl-5-a.test.cpp
   - test/yosupo-lca.2.test.cpp
-  - test/yosupo-lca.1.test.cpp
-  - test/aoj-grl-5-b.test.cpp
+  - test/yosupo-shortest-path.test.cpp
   - test/atcoder-edpc-g.test.cpp
+  - test/yosupo-lca.1.test.cpp
   - test/atcoder-abc282-d.test.cpp
-  - test/yosupo-shortest-path.test.cpp
+  - test/aoj-grl-5-a.test.cpp
+  - test/aoj-grl-5-b.test.cpp
 documentation_of: cpp/graph.hpp
 layout: document
 redirect_from:

diff --git a/cpp/io.hpp.md b/cpp/io.hpp.md
@@ -125,10 +125,10 @@ data:
   timestamp: '2023-05-10 17:52:01+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - test/yosupo-convolution-mod-2-64.test.cpp
-  - test/aoj-cgl-3-c.test.cpp
   - test/aoj-cgl-3-b.test.cpp
+  - test/aoj-cgl-3-c.test.cpp
   - test/aoj-cgl-3-a.test.cpp
+  - test/yosupo-convolution-mod-2-64.test.cpp
 documentation_of: cpp/io.hpp
 layout: document
 redirect_from:

diff --git a/cpp/lazy-segtree.hpp.md b/cpp/lazy-segtree.hpp.md
@@ -615,14 +615,14 @@ data:
   verifiedWith:
   - test/yosupo-range-affine-range-sum.1.test.cpp
   - test/aoj-dsl-2-g.test.cpp
-  - test/aoj-dsl-2-i.test.cpp
-  - test/atcoder-abc177-f.2.test.cpp
   - test/yosupo-range-affine-range-sum.3.test.cpp
-  - test/yosupo-range-affine-range-sum.2.test.cpp
-  - test/atcoder-abc177-f.1.test.cpp
-  - test/aoj-dsl-2-h.test.cpp
+  - test/atcoder-abc177-f.2.test.cpp
   - test/yukicoder-2292.test.cpp
+  - test/aoj-dsl-2-h.test.cpp
+  - test/aoj-dsl-2-i.test.cpp
   - test/aoj-dsl-2-f.test.cpp
+  - test/atcoder-abc177-f.1.test.cpp
+  - test/yosupo-range-affine-range-sum.2.test.cpp
 documentation_of: cpp/lazy-segtree.hpp
 layout: document
 redirect_from:

diff --git a/cpp/matrix.hpp.md b/cpp/matrix.hpp.md
@@ -474,12 +474,12 @@ data:
   timestamp: '2023-10-12 08:50:40+09:00'
   verificationStatus: LIBRARY_SOME_WA
   verifiedWith:
-  - test/yukicoder-rotate-enlarge_1.test.cpp
-  - test/atcoder-abc300-b.test.cpp
-  - test/yukicoder-rotate-enlarge_2.test.cpp
   - test/yukicoder-search-oji.test.cpp
+  - test/yukicoder-rotate-enlarge_2.test.cpp
+  - test/atcoder-abc300-b.test.cpp
   - test/aoj-3314.test.cpp
   - test/atcoder-jsc2021-g.test.cpp
+  - test/yukicoder-rotate-enlarge_1.test.cpp
 documentation_of: cpp/matrix.hpp
 layout: document
 redirect_from:

diff --git a/cpp/modint.hpp.md b/cpp/modint.hpp.md
@@ -12,6 +12,9 @@ data:
     path: cpp/number-theory.hpp
     title: "a^(-1) mod MOD\u3092\u8FD4\u3059"
   _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: test/aoj-jag-summer-2971.test.cpp
+    title: test/aoj-jag-summer-2971.test.cpp
   - icon: ':x:'
     path: test/atcoder-jsc2021-g.test.cpp
     title: test/atcoder-jsc2021-g.test.cpp
@@ -565,28 +568,29 @@ data:
   verificationStatus: LIBRARY_SOME_WA
   verifiedWith:
   - test/yosupo-binomial-coefficient.test.cpp
-  - test/yosupo-range-affine-range-sum.1.test.cpp
-  - test/yosupo-inv-of-fps.test.cpp
-  - test/yosupo-convolution-mod-2-64.test.cpp
-  - test/yosupo-point-set-range-composite.1.test.cpp
-  - test/yosupo-partition-function_2.test.cpp
-  - test/yukicoder-187.test.cpp
-  - test/yukicoder-186.test.cpp
+  - test/yukicoder-search-oji.test.cpp
   - test/yosupo-polynomial-taylor-shift.test.cpp
+  - test/yosupo-range-affine-range-sum.1.test.cpp
+  - test/yosupo-point-set-range-composite.2.test.cpp
   - test/yosupo-sharp-p-subset-sum.test.cpp
-  - test/yosupo-partition-function_1.test.cpp
-  - test/yukicoder-search-oji.test.cpp
-  - test/yosupo-point-set-range-composite.3.test.cpp
+  - test/yukicoder-117.test.cpp
   - test/yosupo-convolution-mod-1000000007.test.cpp
-  - test/yosupo-log-of-fps.test.cpp
+  - test/yosupo-point-set-range-composite.1.test.cpp
   - test/yosupo-range-affine-range-sum.3.test.cpp
-  - test/yosupo-range-affine-range-sum.2.test.cpp
-  - test/yosupo-point-set-range-composite.2.test.cpp
+  - test/yosupo-pow-of-fps.test.cpp
+  - test/yosupo-partition-function_2.test.cpp
   - test/yosupo-exp-of-fps.test.cpp
   - test/atcoder-jsc2021-g.test.cpp
+  - test/yosupo-inv-of-fps.test.cpp
+  - test/yukicoder-186.test.cpp
+  - test/yosupo-convolution-mod-2-64.test.cpp
   - test/yosupo-convolution-mod.test.cpp
-  - test/yosupo-pow-of-fps.test.cpp
-  - test/yukicoder-117.test.cpp
+  - test/yosupo-log-of-fps.test.cpp
+  - test/yukicoder-187.test.cpp
+  - test/yosupo-point-set-range-composite.3.test.cpp
+  - test/aoj-jag-summer-2971.test.cpp
+  - test/yosupo-range-affine-range-sum.2.test.cpp
+  - test/yosupo-partition-function_1.test.cpp
 documentation_of: cpp/modint.hpp
 layout: document
 redirect_from:

diff --git a/cpp/more_functional.hpp.md b/cpp/more_functional.hpp.md
@@ -0,0 +1,53 @@
+---
+data:
+  _extendedDependsOn: []
+  _extendedRequiredBy:
+  - icon: ':heavy_check_mark:'
+    path: cpp/potentialized-unionfind.hpp
+    title: "\u30DD\u30C6\u30F3\u30B7\u30E3\u30EB\u4ED8\u304DUnionFind"
+  _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: test/aoj-dsl-1-b.test.cpp
+    title: test/aoj-dsl-1-b.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: test/aoj-jag-summer-2971.test.cpp
+    title: test/aoj-jag-summer-2971.test.cpp
+  _isVerificationFailed: false
+  _pathExtension: hpp
+  _verificationStatusIcon: ':heavy_check_mark:'
+  attributes:
+    document_title: "\u95A2\u6570\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u3092\u5B9A\u7FA9\
+      \u3059\u308B"
+    links: []
+  bundledCode: "#line 2 \"cpp/more_functional.hpp\"\n\n/**\n * @file more_functional.hpp\n\
+    \ * @brief \u95A2\u6570\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u3092\u5B9A\u7FA9\u3059\
+    \u308B\n */\n\nnamespace more_functional {\ntemplate <typename S>\nstruct Zero\
+    \ {\n    S operator()() const { return S(0); }\n};\ntemplate <typename S>\nstruct\
+    \ One {\n    S operator()() const { return S(1); }\n};\ntemplate <typename S>\n\
+    struct None {\n    S operator()() const { return S{}; }\n};\ntemplate <typename\
+    \ S>\nstruct Div {\n    S operator()(const S& a) const { return S(1) / a; }\n\
+    };\n}  // namespace more_functional\n"
+  code: "#pragma once\n\n/**\n * @file more_functional.hpp\n * @brief \u95A2\u6570\
+    \u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u3092\u5B9A\u7FA9\u3059\u308B\n */\n\nnamespace\
+    \ more_functional {\ntemplate <typename S>\nstruct Zero {\n    S operator()()\
+    \ const { return S(0); }\n};\ntemplate <typename S>\nstruct One {\n    S operator()()\
+    \ const { return S(1); }\n};\ntemplate <typename S>\nstruct None {\n    S operator()()\
+    \ const { return S{}; }\n};\ntemplate <typename S>\nstruct Div {\n    S operator()(const\
+    \ S& a) const { return S(1) / a; }\n};\n}  // namespace more_functional\n"
+  dependsOn: []
+  isVerificationFile: false
+  path: cpp/more_functional.hpp
+  requiredBy:
+  - cpp/potentialized-unionfind.hpp
+  timestamp: '2024-05-07 01:35:46+09:00'
+  verificationStatus: LIBRARY_ALL_AC
+  verifiedWith:
+  - test/aoj-dsl-1-b.test.cpp
+  - test/aoj-jag-summer-2971.test.cpp
+documentation_of: cpp/more_functional.hpp
+layout: document
+redirect_from:
+- /library/cpp/more_functional.hpp
+- /library/cpp/more_functional.hpp.html
+title: "\u95A2\u6570\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u3092\u5B9A\u7FA9\u3059\u308B"
+---
diff --git a/cpp/number-theory.hpp.md b/cpp/number-theory.hpp.md
@@ -612,20 +612,20 @@ data:
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - test/yosupo-binomial-coefficient.test.cpp
-  - test/yosupo-inv-of-fps.test.cpp
-  - test/yosupo-convolution-mod-2-64.test.cpp
-  - test/yosupo-partition-function_2.test.cpp
-  - test/yukicoder-187.test.cpp
-  - test/yukicoder-186.test.cpp
   - test/yosupo-polynomial-taylor-shift.test.cpp
   - test/yosupo-sharp-p-subset-sum.test.cpp
-  - test/yosupo-partition-function_1.test.cpp
+  - test/yukicoder-117.test.cpp
   - test/yosupo-convolution-mod-1000000007.test.cpp
-  - test/yosupo-log-of-fps.test.cpp
+  - test/yosupo-pow-of-fps.test.cpp
+  - test/yosupo-partition-function_2.test.cpp
   - test/yosupo-exp-of-fps.test.cpp
+  - test/yosupo-inv-of-fps.test.cpp
+  - test/yukicoder-186.test.cpp
+  - test/yosupo-convolution-mod-2-64.test.cpp
   - test/yosupo-convolution-mod.test.cpp
-  - test/yosupo-pow-of-fps.test.cpp
-  - test/yukicoder-117.test.cpp
+  - test/yosupo-log-of-fps.test.cpp
+  - test/yukicoder-187.test.cpp
+  - test/yosupo-partition-function_1.test.cpp
 documentation_of: cpp/number-theory.hpp
 layout: document
 redirect_from: