Skip to content

Commit 075ab53

Browse files
TelosCheneyTelosCheney
committed
docs(javadoc): generate updated javadoc for SoA optimization
1 parent 57b2de4 commit 075ab53

474 files changed

Lines changed: 6649 additions & 54576 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎doc/javadoc/allclasses-index.html‎

Lines changed: 56 additions & 212 deletions
Large diffs are not rendered by default.

‎doc/javadoc/allpackages-index.html‎

Lines changed: 17 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
<!DOCTYPE HTML>
2-
<html lang>
2+
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (23) on Tue Dec 30 16:45:35 CST 2025 -->
5-
<title>All Packages (ndd 1.0.1 API)</title>
4+
<!-- Generated by javadoc (23) on Sat Apr 11 21:44:03 CST 2026 -->
5+
<title>All Packages</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
7-
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
8-
<meta name="dc.created" content="2025-12-30">
7+
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8+
<meta name="dc.created" content="2026-04-11">
99
<meta name="description" content="package index">
1010
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
1111
<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
@@ -58,61 +58,29 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
5858
<div class="summary-table two-column-summary">
5959
<div class="table-header col-first">Package</div>
6060
<div class="table-header col-last">Description</div>
61-
<div class="col-first even-row-color"><a href="application/package-summary.html">application</a></div>
61+
<div class="col-first even-row-color"><a href="jdd/package-summary.html">jdd</a></div>
6262
<div class="col-last even-row-color">&nbsp;</div>
63-
<div class="col-first odd-row-color"><a href="application/nqueen/package-summary.html">application.nqueen</a></div>
63+
<div class="col-first odd-row-color"><a href="jdd/bdd/package-summary.html">jdd.bdd</a></div>
6464
<div class="col-last odd-row-color">&nbsp;</div>
65-
<div class="col-first even-row-color"><a href="application/wan/bdd/exp/package-summary.html">application.wan.bdd.exp</a></div>
65+
<div class="col-first even-row-color"><a href="jdd/bdd/debug/package-summary.html">jdd.bdd.debug</a></div>
6666
<div class="col-last even-row-color">&nbsp;</div>
67-
<div class="col-first odd-row-color"><a href="application/wan/bdd/verifier/package-summary.html">application.wan.bdd.verifier</a></div>
67+
<div class="col-first odd-row-color"><a href="jdd/bdd/sets/package-summary.html">jdd.bdd.sets</a></div>
6868
<div class="col-last odd-row-color">&nbsp;</div>
69-
<div class="col-first even-row-color"><a href="application/wan/bdd/verifier/apkeep/checker/package-summary.html">application.wan.bdd.verifier.apkeep.checker</a></div>
69+
<div class="col-first even-row-color"><a href="jdd/examples/package-summary.html">jdd.examples</a></div>
7070
<div class="col-last even-row-color">&nbsp;</div>
71-
<div class="col-first odd-row-color"><a href="application/wan/bdd/verifier/apkeep/core/package-summary.html">application.wan.bdd.verifier.apkeep.core</a></div>
71+
<div class="col-first odd-row-color"><a href="jdd/util/package-summary.html">jdd.util</a></div>
7272
<div class="col-last odd-row-color">&nbsp;</div>
73-
<div class="col-first even-row-color"><a href="application/wan/bdd/verifier/apkeep/element/package-summary.html">application.wan.bdd.verifier.apkeep.element</a></div>
73+
<div class="col-first even-row-color"><a href="jdd/util/jre/package-summary.html">jdd.util.jre</a></div>
7474
<div class="col-last even-row-color">&nbsp;</div>
75-
<div class="col-first odd-row-color"><a href="application/wan/bdd/verifier/apkeep/utils/package-summary.html">application.wan.bdd.verifier.apkeep.utils</a></div>
75+
<div class="col-first odd-row-color"><a href="jdd/util/math/package-summary.html">jdd.util.math</a></div>
7676
<div class="col-last odd-row-color">&nbsp;</div>
77-
<div class="col-first even-row-color"><a href="application/wan/bdd/verifier/common/package-summary.html">application.wan.bdd.verifier.common</a></div>
77+
<div class="col-first even-row-color"><a href="jdd/util/sets/package-summary.html">jdd.util.sets</a></div>
7878
<div class="col-last even-row-color">&nbsp;</div>
79-
<div class="col-first odd-row-color"><a href="application/wan/ndd/exp/package-summary.html">application.wan.ndd.exp</a></div>
79+
<div class="col-first odd-row-color"><a href="jdd/zdd/package-summary.html">jdd.zdd</a></div>
8080
<div class="col-last odd-row-color">&nbsp;</div>
81-
<div class="col-first even-row-color"><a href="application/wan/ndd/verifier/package-summary.html">application.wan.ndd.verifier</a></div>
81+
<div class="col-first even-row-color"><a href="org/ants/javandd/package-summary.html">org.ants.javandd</a></div>
8282
<div class="col-last even-row-color">&nbsp;</div>
83-
<div class="col-first odd-row-color"><a href="application/wan/ndd/verifier/apkeep/checker/package-summary.html">application.wan.ndd.verifier.apkeep.checker</a></div>
84-
<div class="col-last odd-row-color">&nbsp;</div>
85-
<div class="col-first even-row-color"><a href="application/wan/ndd/verifier/apkeep/core/package-summary.html">application.wan.ndd.verifier.apkeep.core</a></div>
86-
<div class="col-last even-row-color">&nbsp;</div>
87-
<div class="col-first odd-row-color"><a href="application/wan/ndd/verifier/apkeep/element/package-summary.html">application.wan.ndd.verifier.apkeep.element</a></div>
88-
<div class="col-last odd-row-color">&nbsp;</div>
89-
<div class="col-first even-row-color"><a href="application/wan/ndd/verifier/apkeep/utils/package-summary.html">application.wan.ndd.verifier.apkeep.utils</a></div>
90-
<div class="col-last even-row-color">&nbsp;</div>
91-
<div class="col-first odd-row-color"><a href="application/wan/ndd/verifier/common/package-summary.html">application.wan.ndd.verifier.common</a></div>
92-
<div class="col-last odd-row-color">&nbsp;</div>
93-
<div class="col-first even-row-color"><a href="experiment/vector/package-summary.html">experiment.vector</a></div>
94-
<div class="col-last even-row-color">&nbsp;</div>
95-
<div class="col-first odd-row-color"><a href="jdd/package-summary.html">jdd</a></div>
96-
<div class="col-last odd-row-color">&nbsp;</div>
97-
<div class="col-first even-row-color"><a href="jdd/bdd/package-summary.html">jdd.bdd</a></div>
98-
<div class="col-last even-row-color">&nbsp;</div>
99-
<div class="col-first odd-row-color"><a href="jdd/bdd/debug/package-summary.html">jdd.bdd.debug</a></div>
100-
<div class="col-last odd-row-color">&nbsp;</div>
101-
<div class="col-first even-row-color"><a href="jdd/bdd/sets/package-summary.html">jdd.bdd.sets</a></div>
102-
<div class="col-last even-row-color">&nbsp;</div>
103-
<div class="col-first odd-row-color"><a href="jdd/examples/package-summary.html">jdd.examples</a></div>
104-
<div class="col-last odd-row-color">&nbsp;</div>
105-
<div class="col-first even-row-color"><a href="jdd/util/package-summary.html">jdd.util</a></div>
106-
<div class="col-last even-row-color">&nbsp;</div>
107-
<div class="col-first odd-row-color"><a href="jdd/util/jre/package-summary.html">jdd.util.jre</a></div>
108-
<div class="col-last odd-row-color">&nbsp;</div>
109-
<div class="col-first even-row-color"><a href="jdd/util/math/package-summary.html">jdd.util.math</a></div>
110-
<div class="col-last even-row-color">&nbsp;</div>
111-
<div class="col-first odd-row-color"><a href="jdd/util/sets/package-summary.html">jdd.util.sets</a></div>
112-
<div class="col-last odd-row-color">&nbsp;</div>
113-
<div class="col-first even-row-color"><a href="jdd/zdd/package-summary.html">jdd.zdd</a></div>
114-
<div class="col-last even-row-color">&nbsp;</div>
115-
<div class="col-first odd-row-color"><a href="org/ants/javandd/package-summary.html">org.ants.javandd</a></div>
83+
<div class="col-first odd-row-color"><a href="org/ants/jndd/bdd/package-summary.html">org.ants.jndd.bdd</a></div>
11684
<div class="col-last odd-row-color">&nbsp;</div>
11785
<div class="col-first even-row-color"><a href="org/ants/jndd/cache/package-summary.html">org.ants.jndd.cache</a></div>
11886
<div class="col-last even-row-color">&nbsp;</div>
@@ -123,10 +91,6 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
12391
<div class="col-first odd-row-color"><a href="org/ants/jndd/utils/package-summary.html">org.ants.jndd.utils</a></div>
12492
<div class="col-last odd-row-color">&nbsp;</div>
12593
</div>
126-
<footer role="contentinfo">
127-
<hr>
128-
<p class="legal-copy"><small>Copyright &#169; 2025. All rights reserved.</small></p>
129-
</footer>
13094
</main>
13195
</div>
13296
</body>

0 commit comments

Comments
 (0)