Update Javadocs.

HarvardPL · Oct 30, 2024 · f1c7b65 · f1c7b65
1 parent f7e154f
commit f1c7b65
Show file tree

Hide file tree

Showing 240 changed files with 907 additions and 907 deletions.
diff --git a/apidocs/allclasses-index.html b/apidocs/allclasses-index.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>All Classes and Interfaces (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="class index">
 <meta name="generator" content="javadoc/AllClassesIndexWriter">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
@@ -53,8 +53,8 @@ <h1 title="All Classes and Interfaces" class="title">All Classes and Interfaces<
 </div>
 <div id="all-classes-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="all-classes-table-tab0" role="tab" aria-selected="true" aria-controls="all-classes-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table', 2)" class="active-table-tab">All Classes and Interfaces</button><button id="all-classes-table-tab1" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab1', 2)" class="table-tab">Interfaces</button><button id="all-classes-table-tab2" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab2', 2)" class="table-tab">Classes</button><button id="all-classes-table-tab3" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab3', 2)" class="table-tab">Enums</button><button id="all-classes-table-tab5" role="tab" aria-selected="false" aria-controls="all-classes-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('all-classes-table', 'all-classes-table-tab5', 2)" class="table-tab">Exception Classes</button></div>
-<div id="all-classes-table.tabpanel" role="tabpanel">
-<div class="summary-table two-column-summary" aria-labelledby="all-classes-table-tab0">
+<div id="all-classes-table.tabpanel" role="tabpanel" aria-labelledby="all-classes-table-tab0">
+<div class="summary-table two-column-summary">
 <div class="table-header col-first">Class</div>
 <div class="table-header col-last">Description</div>
 <div class="col-first even-row-color all-classes-table all-classes-table-tab2"><a href="edu/harvard/seas/pl/abcdatalog/engine/topdown/AbstractQsqEngine.html" title="class in edu.harvard.seas.pl.abcdatalog.engine.topdown">AbstractQsqEngine</a></div>
@@ -389,7 +389,7 @@ <h1 title="All Classes and Interfaces" class="title">All Classes and Interfaces<
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/allpackages-index.html b/apidocs/allpackages-index.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>All Packages (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="package index">
 <meta name="generator" content="javadoc/AllPackagesIndexWriter">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
@@ -127,7 +127,7 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/BinaryDisunifier.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/BinaryDisunifier.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>BinaryDisunifier (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, class: BinaryDisunifier">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -124,8 +124,8 @@ <h2>Constructor Summary</h2>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab2" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab2', 3)" class="table-tab">Instance Methods</button><button id="method-summary-table-tab4" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab4', 3)" class="table-tab">Concrete Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -240,7 +240,7 @@ <h3>applySubst</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/BinaryUnifier.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/BinaryUnifier.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>BinaryUnifier (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, class: BinaryUnifier">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -123,8 +123,8 @@ <h2>Constructor Summary</h2>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab2" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab2', 3)" class="table-tab">Instance Methods</button><button id="method-summary-table-tab4" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab4', 3)" class="table-tab">Concrete Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -239,7 +239,7 @@ <h3>applySubst</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Clause.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Clause.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>Clause (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, class: Clause">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -138,8 +138,8 @@ <h2>Constructor Summary</h2>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab2" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab2', 3)" class="table-tab">Instance Methods</button><button id="method-summary-table-tab4" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab4', 3)" class="table-tab">Concrete Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -269,7 +269,7 @@ <h3>toString</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Constant.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Constant.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>Constant (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, class: Constant">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -108,8 +108,8 @@ <h1 title="Class Constant" class="title">Class Constant</h1>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab1" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab1', 3)" class="table-tab">Static Methods</button><button id="method-summary-table-tab2" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab2', 3)" class="table-tab">Instance Methods</button><button id="method-summary-table-tab4" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab4', 3)" class="table-tab">Concrete Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -209,7 +209,7 @@ <h3>applySubst</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Head.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/Head.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>Head (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, interface: Head">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -104,8 +104,8 @@ <h1 title="Interface Head" class="title">Interface Head</h1>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab2" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab2', 3)" class="table-tab">Instance Methods</button><button id="method-summary-table-tab3" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab3', 3)" class="table-tab">Abstract Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -154,7 +154,7 @@ <h3>applySubst</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>

diff --git a/apidocs/edu/harvard/seas/pl/abcdatalog/ast/HeadHelpers.html b/apidocs/edu/harvard/seas/pl/abcdatalog/ast/HeadHelpers.html
@@ -1,11 +1,11 @@
 <!DOCTYPE HTML>
 <html lang="en">
 <head>
-<!-- Generated by javadoc (21) on Wed Dec 27 16:50:47 EST 2023 -->
+<!-- Generated by javadoc (21) on Wed Oct 30 19:26:14 EDT 2024 -->
 <title>HeadHelpers (AbcDatalog 0.7.0 API)</title>
 <meta name="viewport" content="width=device-width, initial-scale=1">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-12-27">
+<meta name="dc.created" content="2024-10-30">
 <meta name="description" content="declaration: package: edu.harvard.seas.pl.abcdatalog.ast, class: HeadHelpers">
 <meta name="generator" content="javadoc/ClassWriterImpl">
 <link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
@@ -103,8 +103,8 @@ <h1 title="Class HeadHelpers" class="title">Class HeadHelpers</h1>
 <h2>Method Summary</h2>
 <div id="method-summary-table">
 <div class="table-tabs" role="tablist" aria-orientation="horizontal"><button id="method-summary-table-tab0" role="tab" aria-selected="true" aria-controls="method-summary-table.tabpanel" tabindex="0" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table', 3)" class="active-table-tab">All Methods</button><button id="method-summary-table-tab1" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab1', 3)" class="table-tab">Static Methods</button><button id="method-summary-table-tab4" role="tab" aria-selected="false" aria-controls="method-summary-table.tabpanel" tabindex="-1" onkeydown="switchTab(event)" onclick="show('method-summary-table', 'method-summary-table-tab4', 3)" class="table-tab">Concrete Methods</button></div>
-<div id="method-summary-table.tabpanel" role="tabpanel">
-<div class="summary-table three-column-summary" aria-labelledby="method-summary-table-tab0">
+<div id="method-summary-table.tabpanel" role="tabpanel" aria-labelledby="method-summary-table-tab0">
+<div class="summary-table three-column-summary">
 <div class="table-header col-first">Modifier and Type</div>
 <div class="table-header col-second">Method</div>
 <div class="table-header col-last">Description</div>
@@ -143,7 +143,7 @@ <h3>forcePositiveAtom</h3>
 </main>
 <footer role="contentinfo">
 <hr>
-<p class="legal-copy"><small>Copyright &#169; 2023. All rights reserved.</small></p>
+<p class="legal-copy"><small>Copyright &#169; 2024. All rights reserved.</small></p>
 </footer>
 </div>
 </div>