[auto-verifier] docs commit a16f253

ttamx · Nov 14, 2024 · f378d86 · f378d86
1 parent e802f68
commit f378d86
Show file tree

Hide file tree

Showing 10 changed files with 113 additions and 111 deletions.
diff --git a/graph/graph-base.hpp.md b/graph/graph-base.hpp.md
@@ -1,14 +1,14 @@
 ---
 data:
   _extendedDependsOn: []
-  _extendedRequiredBy:
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
+  _extendedRequiredBy: []
   _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
     title: verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
@@ -97,14 +97,14 @@ data:
   dependsOn: []
   isVerificationFile: false
   path: graph/graph-base.hpp
-  requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
+  requiredBy: []
   timestamp: '2024-06-22 18:46:46+07:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/yosupo/data-structure/vertex_set_path_composite.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
   - verify/yosupo/data-structure/vertex_add_subtree_sum.test.cpp
   - verify/yosupo/graph/scc.test.cpp
   - verify/yosupo/tree/jump_on_tree.test.cpp

diff --git a/index.md b/index.md
@@ -224,13 +224,13 @@ data:
     - icon: ':heavy_check_mark:'
       path: tree/hld.hpp
       title: tree/hld.hpp
-    - icon: ':warning:'
+    - icon: ':heavy_check_mark:'
       path: tree/static-top-tree-dp.hpp
       title: tree/static-top-tree-dp.hpp
-    - icon: ':warning:'
+    - icon: ':heavy_check_mark:'
       path: tree/static-top-tree-rerooting-dp.hpp
       title: tree/static-top-tree-rerooting-dp.hpp
-    - icon: ':warning:'
+    - icon: ':heavy_check_mark:'
       path: tree/static-top-tree.hpp
       title: tree/static-top-tree.hpp
   - name: verify/atcoder
@@ -254,14 +254,6 @@ data:
     - icon: ':warning:'
       path: verify/spoj/FASTFLOW.cpp
       title: verify/spoj/FASTFLOW.cpp
-  - name: verify/yosupo/data-structure
-    pages:
-    - icon: ':warning:'
-      path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-      title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    - icon: ':warning:'
-      path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-      title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
   verificationCategories:
   - name: verify/yosupo/convolution
     pages:
@@ -303,6 +295,12 @@ data:
     - icon: ':heavy_check_mark:'
       path: verify/yosupo/data-structure/point_set_range_composite.test.cpp
       title: verify/yosupo/data-structure/point_set_range_composite.test.cpp
+    - icon: ':heavy_check_mark:'
+      path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+      title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    - icon: ':heavy_check_mark:'
+      path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+      title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
     - icon: ':heavy_check_mark:'
       path: verify/yosupo/data-structure/range_affine_range_sum.test.cpp
       title: verify/yosupo/data-structure/range_affine_range_sum.test.cpp

diff --git a/modular-arithmetic/montgomery-modint.hpp.md b/modular-arithmetic/montgomery-modint.hpp.md
@@ -1,13 +1,7 @@
 ---
 data:
   _extendedDependsOn: []
-  _extendedRequiredBy:
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
+  _extendedRequiredBy: []
   _extendedVerifiedWith:
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/convolution/bitwise_and_convolution.test.cpp
@@ -30,6 +24,12 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/point_set_range_composite.test.cpp
     title: verify/yosupo/data-structure/point_set_range_composite.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/range_affine_range_sum.test.cpp
     title: verify/yosupo/data-structure/range_affine_range_sum.test.cpp
@@ -134,16 +134,16 @@ data:
   dependsOn: []
   isVerificationFile: false
   path: modular-arithmetic/montgomery-modint.hpp
-  requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
+  requiredBy: []
   timestamp: '2024-07-29 18:44:45+07:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/yosupo/data-structure/vertex_set_path_composite.test.cpp
   - verify/yosupo/data-structure/point_set_range_composite.test.cpp
   - verify/yosupo/data-structure/dynamic_sequence_range_affine_range_sum.test.cpp
   - verify/yosupo/data-structure/range_affine_range_sum.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
   - verify/yosupo/data-structure/range_affine_range_sum_lct.test.cpp
   - verify/yosupo/convolution/bitwise_or_convolution.test.cpp
   - verify/yosupo/convolution/bitwise_and_convolution.test.cpp

diff --git a/template.hpp.md b/template.hpp.md
@@ -17,12 +17,6 @@ data:
   - icon: ':warning:'
     path: verify/spoj/FASTFLOW.cpp
     title: verify/spoj/FASTFLOW.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
   _extendedVerifiedWith:
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/convolution/bitwise_and_convolution.test.cpp
@@ -60,6 +54,12 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/point_set_range_composite.test.cpp
     title: verify/yosupo/data-structure/point_set_range_composite.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/range_affine_range_sum.test.cpp
     title: verify/yosupo/data-structure/range_affine_range_sum.test.cpp
@@ -245,8 +245,6 @@ data:
   requiredBy:
   - verify/kattis/thekingofthenorth.cpp
   - verify/spoj/FASTFLOW.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
   - verify/atcoder/abc259_g.cpp
   - verify/atcoder/abc347_g.cpp
   - verify/atcoder/abc193_f.cpp
@@ -266,8 +264,10 @@ data:
   - verify/yosupo/data-structure/range_reverse_range_sum.test.cpp
   - verify/yosupo/data-structure/staticrmq.test.cpp
   - verify/yosupo/data-structure/range_affine_range_sum.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
   - verify/yosupo/data-structure/segment_add_get_min_online.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
   - verify/yosupo/data-structure/vertex_add_subtree_sum.test.cpp
   - verify/yosupo/data-structure/range_affine_range_sum_lct.test.cpp
   - verify/yosupo/number-theory/sum_of_floor_of_linear.test.cpp

diff --git a/tree/hld.hpp.md b/tree/hld.hpp.md
@@ -1,14 +1,14 @@
 ---
 data:
   _extendedDependsOn: []
-  _extendedRequiredBy:
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
+  _extendedRequiredBy: []
   _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
     title: verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
@@ -92,14 +92,14 @@ data:
   dependsOn: []
   isVerificationFile: false
   path: tree/hld.hpp
-  requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
+  requiredBy: []
   timestamp: '2024-11-14 23:02:13+07:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/yosupo/data-structure/vertex_set_path_composite.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   - verify/yosupo/data-structure/vertex_add_path_sum.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
   - verify/yosupo/data-structure/vertex_add_subtree_sum.test.cpp
   - verify/yosupo/tree/jump_on_tree.test.cpp
   - verify/yosupo/tree/lca.test.cpp

diff --git a/tree/static-top-tree-dp.hpp.md b/tree/static-top-tree-dp.hpp.md
@@ -1,17 +1,17 @@
 ---
 data:
   _extendedDependsOn:
-  - icon: ':warning:'
+  - icon: ':heavy_check_mark:'
     path: tree/static-top-tree.hpp
     title: tree/static-top-tree.hpp
-  _extendedRequiredBy:
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  _extendedVerifiedWith: []
+  _extendedRequiredBy: []
+  _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   _isVerificationFailed: false
   _pathExtension: hpp
-  _verificationStatusIcon: ':warning:'
+  _verificationStatusIcon: ':heavy_check_mark:'
   attributes:
     links: []
   bundledCode: "#line 2 \"tree/static-top-tree.hpp\"\n\n/**\n * Author: Teetat T.\n\
@@ -93,11 +93,11 @@ data:
   - tree/static-top-tree.hpp
   isVerificationFile: false
   path: tree/static-top-tree-dp.hpp
-  requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
+  requiredBy: []
   timestamp: '2024-11-15 02:28:18+07:00'
-  verificationStatus: LIBRARY_NO_TESTS
-  verifiedWith: []
+  verificationStatus: LIBRARY_ALL_AC
+  verifiedWith:
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
 documentation_of: tree/static-top-tree-dp.hpp
 layout: document
 redirect_from:

diff --git a/tree/static-top-tree-rerooting-dp.hpp.md b/tree/static-top-tree-rerooting-dp.hpp.md
@@ -1,17 +1,17 @@
 ---
 data:
   _extendedDependsOn:
-  - icon: ':warning:'
+  - icon: ':heavy_check_mark:'
     path: tree/static-top-tree.hpp
     title: tree/static-top-tree.hpp
-  _extendedRequiredBy:
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  _extendedVerifiedWith: []
+  _extendedRequiredBy: []
+  _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
   _isVerificationFailed: false
   _pathExtension: hpp
-  _verificationStatusIcon: ':warning:'
+  _verificationStatusIcon: ':heavy_check_mark:'
   attributes:
     links: []
   bundledCode: "#line 2 \"tree/static-top-tree.hpp\"\n\n/**\n * Author: Teetat T.\n\
@@ -127,11 +127,11 @@ data:
   - tree/static-top-tree.hpp
   isVerificationFile: false
   path: tree/static-top-tree-rerooting-dp.hpp
-  requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
+  requiredBy: []
   timestamp: '2024-11-15 02:28:18+07:00'
-  verificationStatus: LIBRARY_NO_TESTS
-  verifiedWith: []
+  verificationStatus: LIBRARY_ALL_AC
+  verifiedWith:
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
 documentation_of: tree/static-top-tree-rerooting-dp.hpp
 layout: document
 redirect_from:

diff --git a/tree/static-top-tree.hpp.md b/tree/static-top-tree.hpp.md
@@ -2,22 +2,22 @@
 data:
   _extendedDependsOn: []
   _extendedRequiredBy:
-  - icon: ':warning:'
+  - icon: ':heavy_check_mark:'
     path: tree/static-top-tree-dp.hpp
     title: tree/static-top-tree-dp.hpp
-  - icon: ':warning:'
+  - icon: ':heavy_check_mark:'
     path: tree/static-top-tree-rerooting-dp.hpp
     title: tree/static-top-tree-rerooting-dp.hpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
-  - icon: ':warning:'
-    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  _extendedVerifiedWith: []
+  _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+    title: verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
   _isVerificationFailed: false
   _pathExtension: hpp
-  _verificationStatusIcon: ':warning:'
+  _verificationStatusIcon: ':heavy_check_mark:'
   attributes:
     links: []
   bundledCode: "#line 2 \"tree/static-top-tree.hpp\"\n\n/**\n * Author: Teetat T.\n\
@@ -80,13 +80,13 @@ data:
   isVerificationFile: false
   path: tree/static-top-tree.hpp
   requiredBy:
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.cpp
-  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.cpp
   - tree/static-top-tree-rerooting-dp.hpp
   - tree/static-top-tree-dp.hpp
   timestamp: '2024-11-15 02:28:18+07:00'
-  verificationStatus: LIBRARY_NO_TESTS
-  verifiedWith: []
+  verificationStatus: LIBRARY_ALL_AC
+  verifiedWith:
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum_fixed_root.test.cpp
+  - verify/yosupo/data-structure/point_set_tree_path_composite_sum.test.cpp
 documentation_of: tree/static-top-tree.hpp
 layout: document
 redirect_from: