Skip to content

Commit b3fa62e

Browse files
LipenLipen
committed
Deploying to gh-pages from @ 0d137e7 🚀
1 parent f1a81e0 commit b3fa62e

456 files changed

Lines changed: 40438 additions & 1 deletion

File tree

Some content is hidden

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

‎docs/docs/core/org.kosat/-abstract-drat-builder/-abstract-drat-builder.html‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8">
5+
<title>AbstractDratBuilder</title>
6+
<link href="../../../images/logo-icon.svg" rel="icon" type="image/svg">
7+
<script>var pathToRoot = "../../../";</script>
8+
<script>const storage = localStorage.getItem("dokka-dark-mode")
9+
if (storage == null) {
10+
const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
11+
if (osDarkSchemePreferred === true) {
12+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
13+
}
14+
} else {
15+
const savedDarkMode = JSON.parse(storage)
16+
if(savedDarkMode === true) {
17+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
18+
}
19+
}
20+
</script>
21+
<script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async="async"></script>
22+
<link href="../../../styles/style.css" rel="Stylesheet">
23+
<link href="../../../styles/jetbrains-mono.css" rel="Stylesheet">
24+
<link href="../../../styles/main.css" rel="Stylesheet">
25+
<link href="../../../styles/prism.css" rel="Stylesheet">
26+
<link href="../../../styles/logo-styles.css" rel="Stylesheet">
27+
<script type="text/javascript" src="../../../scripts/clipboard.js" async="async"></script>
28+
<script type="text/javascript" src="../../../scripts/navigation-loader.js" async="async"></script>
29+
<script type="text/javascript" src="../../../scripts/platform-content-handler.js" async="async"></script>
30+
<script type="text/javascript" src="../../../scripts/main.js" defer="defer"></script>
31+
<script type="text/javascript" src="../../../scripts/prism.js" async="async"></script>
32+
<script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer="defer"></script>
33+
</head>
34+
<body>
35+
<div class="navigation-wrapper" id="navigation-wrapper">
36+
<div id="leftToggler"><span class="icon-toggler"></span></div>
37+
<div class="library-name">
38+
<a href="../../../index.html">
39+
<span>core</span>
40+
</a>
41+
</div>
42+
<div>
43+
1.0-SNAPSHOT </div>
44+
<div class="pull-right d-flex">
45+
<div class="filter-section" id="filter-section">
46+
<button class="platform-tag platform-selector common-like" data-active="" data-filter=":core:dokkaHtml/commonMain">common</button>
47+
</div>
48+
<button id="theme-toggle-button"><span id="theme-toggle"></span></button>
49+
<div id="searchBar"></div>
50+
</div>
51+
</div>
52+
<div id="container">
53+
<div id="leftColumn">
54+
<div id="sideMenu"></div>
55+
</div>
56+
<div id="main">
57+
<div class="main-content" data-page-type="member" id="content" pageIds="core::org.kosat/AbstractDratBuilder/AbstractDratBuilder/#/PointingToDeclaration//-864720431">
58+
<div class="breadcrumbs"><a href="../../../index.html">core</a><span class="delimiter">/</span><a href="../index.html">org.kosat</a><span class="delimiter">/</span><a href="index.html">AbstractDratBuilder</a><span class="delimiter">/</span><span class="current">AbstractDratBuilder</span></div>
59+
<div class="cover ">
60+
<h1 class="cover"><span>Abstract</span><wbr></wbr><span>Drat</span><wbr></wbr><span><span>Builder</span></span></h1>
61+
</div>
62+
<div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":core:dokkaHtml/commonMain"><div class="symbol monospace"><span class="token keyword">constructor</span><span class="token punctuation">(</span><span class="token punctuation">)</span></div></div></div>
63+
</div>
64+
<div class="footer">
65+
<span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span
66+
class="pull-right"><span>Generated by </span><a
67+
href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span>
68+
</div>
69+
</div>
70+
</div>
71+
</body>
72+
</html>

‎docs/docs/core/org.kosat/-abstract-drat-builder/add-clause.html‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8">
5+
<title>addClause</title>
6+
<link href="../../../images/logo-icon.svg" rel="icon" type="image/svg">
7+
<script>var pathToRoot = "../../../";</script>
8+
<script>const storage = localStorage.getItem("dokka-dark-mode")
9+
if (storage == null) {
10+
const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
11+
if (osDarkSchemePreferred === true) {
12+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
13+
}
14+
} else {
15+
const savedDarkMode = JSON.parse(storage)
16+
if(savedDarkMode === true) {
17+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
18+
}
19+
}
20+
</script>
21+
<script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async="async"></script>
22+
<link href="../../../styles/style.css" rel="Stylesheet">
23+
<link href="../../../styles/jetbrains-mono.css" rel="Stylesheet">
24+
<link href="../../../styles/main.css" rel="Stylesheet">
25+
<link href="../../../styles/prism.css" rel="Stylesheet">
26+
<link href="../../../styles/logo-styles.css" rel="Stylesheet">
27+
<script type="text/javascript" src="../../../scripts/clipboard.js" async="async"></script>
28+
<script type="text/javascript" src="../../../scripts/navigation-loader.js" async="async"></script>
29+
<script type="text/javascript" src="../../../scripts/platform-content-handler.js" async="async"></script>
30+
<script type="text/javascript" src="../../../scripts/main.js" defer="defer"></script>
31+
<script type="text/javascript" src="../../../scripts/prism.js" async="async"></script>
32+
<script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer="defer"></script>
33+
</head>
34+
<body>
35+
<div class="navigation-wrapper" id="navigation-wrapper">
36+
<div id="leftToggler"><span class="icon-toggler"></span></div>
37+
<div class="library-name">
38+
<a href="../../../index.html">
39+
<span>core</span>
40+
</a>
41+
</div>
42+
<div>
43+
1.0-SNAPSHOT </div>
44+
<div class="pull-right d-flex">
45+
<div class="filter-section" id="filter-section">
46+
<button class="platform-tag platform-selector common-like" data-active="" data-filter=":core:dokkaHtml/commonMain">common</button>
47+
</div>
48+
<button id="theme-toggle-button"><span id="theme-toggle"></span></button>
49+
<div id="searchBar"></div>
50+
</div>
51+
</div>
52+
<div id="container">
53+
<div id="leftColumn">
54+
<div id="sideMenu"></div>
55+
</div>
56+
<div id="main">
57+
<div class="main-content" data-page-type="member" id="content" pageIds="core::org.kosat/AbstractDratBuilder/addClause/#org.kosat.Clause/PointingToDeclaration//-864720431">
58+
<div class="breadcrumbs"><a href="../../../index.html">core</a><span class="delimiter">/</span><a href="../index.html">org.kosat</a><span class="delimiter">/</span><a href="index.html">AbstractDratBuilder</a><span class="delimiter">/</span><span class="current">addClause</span></div>
59+
<div class="cover ">
60+
<h1 class="cover"><span>add</span><wbr></wbr><span><span>Clause</span></span></h1>
61+
</div>
62+
<div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":core:dokkaHtml/commonMain"><div class="symbol monospace"><span class="token keyword">abstract </span><span class="token keyword"></span><span class="token keyword">fun </span><a href="add-clause.html"><span class="token function">addClause</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">clause<span class="token operator">: </span><a href="../-clause/index.html">Clause</a></span></span><span class="token punctuation">)</span></div><p class="paragraph">Add a clause to the proof. The clause must have a RAT property with respect to the clauses that were added before and clauses in the original CNF.</p></div></div>
63+
</div>
64+
<div class="footer">
65+
<span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span
66+
class="pull-right"><span>Generated by </span><a
67+
href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span>
68+
</div>
69+
</div>
70+
</div>
71+
</body>
72+
</html>

‎docs/docs/core/org.kosat/-abstract-drat-builder/add-comment.html‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8">
5+
<title>addComment</title>
6+
<link href="../../../images/logo-icon.svg" rel="icon" type="image/svg">
7+
<script>var pathToRoot = "../../../";</script>
8+
<script>const storage = localStorage.getItem("dokka-dark-mode")
9+
if (storage == null) {
10+
const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
11+
if (osDarkSchemePreferred === true) {
12+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
13+
}
14+
} else {
15+
const savedDarkMode = JSON.parse(storage)
16+
if(savedDarkMode === true) {
17+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
18+
}
19+
}
20+
</script>
21+
<script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async="async"></script>
22+
<link href="../../../styles/style.css" rel="Stylesheet">
23+
<link href="../../../styles/jetbrains-mono.css" rel="Stylesheet">
24+
<link href="../../../styles/main.css" rel="Stylesheet">
25+
<link href="../../../styles/prism.css" rel="Stylesheet">
26+
<link href="../../../styles/logo-styles.css" rel="Stylesheet">
27+
<script type="text/javascript" src="../../../scripts/clipboard.js" async="async"></script>
28+
<script type="text/javascript" src="../../../scripts/navigation-loader.js" async="async"></script>
29+
<script type="text/javascript" src="../../../scripts/platform-content-handler.js" async="async"></script>
30+
<script type="text/javascript" src="../../../scripts/main.js" defer="defer"></script>
31+
<script type="text/javascript" src="../../../scripts/prism.js" async="async"></script>
32+
<script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer="defer"></script>
33+
</head>
34+
<body>
35+
<div class="navigation-wrapper" id="navigation-wrapper">
36+
<div id="leftToggler"><span class="icon-toggler"></span></div>
37+
<div class="library-name">
38+
<a href="../../../index.html">
39+
<span>core</span>
40+
</a>
41+
</div>
42+
<div>
43+
1.0-SNAPSHOT </div>
44+
<div class="pull-right d-flex">
45+
<div class="filter-section" id="filter-section">
46+
<button class="platform-tag platform-selector common-like" data-active="" data-filter=":core:dokkaHtml/commonMain">common</button>
47+
</div>
48+
<button id="theme-toggle-button"><span id="theme-toggle"></span></button>
49+
<div id="searchBar"></div>
50+
</div>
51+
</div>
52+
<div id="container">
53+
<div id="leftColumn">
54+
<div id="sideMenu"></div>
55+
</div>
56+
<div id="main">
57+
<div class="main-content" data-page-type="member" id="content" pageIds="core::org.kosat/AbstractDratBuilder/addComment/#kotlin.String/PointingToDeclaration//-864720431">
58+
<div class="breadcrumbs"><a href="../../../index.html">core</a><span class="delimiter">/</span><a href="../index.html">org.kosat</a><span class="delimiter">/</span><a href="index.html">AbstractDratBuilder</a><span class="delimiter">/</span><span class="current">addComment</span></div>
59+
<div class="cover ">
60+
<h1 class="cover"><span>add</span><wbr></wbr><span><span>Comment</span></span></h1>
61+
</div>
62+
<div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":core:dokkaHtml/commonMain"><div class="symbol monospace"><span class="token keyword">open </span><span class="token keyword"></span><span class="token keyword">fun </span><a href="add-comment.html"><span class="token function">addComment</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">comment<span class="token operator">: </span><a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-string/index.html">String</a></span></span><span class="token punctuation">)</span></div><p class="paragraph">Add a comment to the proof. This method is optional and only makes sense to implement in the text-based version of the format.</p><h4 class="">See also</h4><div class="table"><div class="table-row" data-filterable-current=":core:dokkaHtml/commonMain" data-filterable-set=":core:dokkaHtml/commonMain"><div class="main-subrow keyValue "><div class=""><span class="inline-flex"><div><a href="../-drat-builder/add-comment.html"><span>Drat</span><wbr></wbr><span>Builder.</span><wbr></wbr><span>addComment</span></a></div></span></div><div></div></div></div></div></div></div>
63+
</div>
64+
<div class="footer">
65+
<span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span
66+
class="pull-right"><span>Generated by </span><a
67+
href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span>
68+
</div>
69+
</div>
70+
</div>
71+
</body>
72+
</html>

‎docs/docs/core/org.kosat/-abstract-drat-builder/add-empty-clause-and-flush.html‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta name="viewport" content="width=device-width, initial-scale=1" charset="UTF-8">
5+
<title>addEmptyClauseAndFlush</title>
6+
<link href="../../../images/logo-icon.svg" rel="icon" type="image/svg">
7+
<script>var pathToRoot = "../../../";</script>
8+
<script>const storage = localStorage.getItem("dokka-dark-mode")
9+
if (storage == null) {
10+
const osDarkSchemePreferred = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
11+
if (osDarkSchemePreferred === true) {
12+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
13+
}
14+
} else {
15+
const savedDarkMode = JSON.parse(storage)
16+
if(savedDarkMode === true) {
17+
document.getElementsByTagName("html")[0].classList.add("theme-dark")
18+
}
19+
}
20+
</script>
21+
<script type="text/javascript" src="../../../scripts/sourceset_dependencies.js" async="async"></script>
22+
<link href="../../../styles/style.css" rel="Stylesheet">
23+
<link href="../../../styles/jetbrains-mono.css" rel="Stylesheet">
24+
<link href="../../../styles/main.css" rel="Stylesheet">
25+
<link href="../../../styles/prism.css" rel="Stylesheet">
26+
<link href="../../../styles/logo-styles.css" rel="Stylesheet">
27+
<script type="text/javascript" src="../../../scripts/clipboard.js" async="async"></script>
28+
<script type="text/javascript" src="../../../scripts/navigation-loader.js" async="async"></script>
29+
<script type="text/javascript" src="../../../scripts/platform-content-handler.js" async="async"></script>
30+
<script type="text/javascript" src="../../../scripts/main.js" defer="defer"></script>
31+
<script type="text/javascript" src="../../../scripts/prism.js" async="async"></script>
32+
<script type="text/javascript" src="../../../scripts/symbol-parameters-wrapper_deferred.js" defer="defer"></script>
33+
</head>
34+
<body>
35+
<div class="navigation-wrapper" id="navigation-wrapper">
36+
<div id="leftToggler"><span class="icon-toggler"></span></div>
37+
<div class="library-name">
38+
<a href="../../../index.html">
39+
<span>core</span>
40+
</a>
41+
</div>
42+
<div>
43+
1.0-SNAPSHOT </div>
44+
<div class="pull-right d-flex">
45+
<div class="filter-section" id="filter-section">
46+
<button class="platform-tag platform-selector common-like" data-active="" data-filter=":core:dokkaHtml/commonMain">common</button>
47+
</div>
48+
<button id="theme-toggle-button"><span id="theme-toggle"></span></button>
49+
<div id="searchBar"></div>
50+
</div>
51+
</div>
52+
<div id="container">
53+
<div id="leftColumn">
54+
<div id="sideMenu"></div>
55+
</div>
56+
<div id="main">
57+
<div class="main-content" data-page-type="member" id="content" pageIds="core::org.kosat/AbstractDratBuilder/addEmptyClauseAndFlush/#/PointingToDeclaration//-864720431">
58+
<div class="breadcrumbs"><a href="../../../index.html">core</a><span class="delimiter">/</span><a href="../index.html">org.kosat</a><span class="delimiter">/</span><a href="index.html">AbstractDratBuilder</a><span class="delimiter">/</span><span class="current">addEmptyClauseAndFlush</span></div>
59+
<div class="cover ">
60+
<h1 class="cover"><span>add</span><wbr></wbr><span>Empty</span><wbr></wbr><span>Clause</span><wbr></wbr><span>And</span><wbr></wbr><span><span>Flush</span></span></h1>
61+
</div>
62+
<div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":core:dokkaHtml/commonMain"><div class="symbol monospace"><span class="token keyword"></span><span class="token keyword">fun </span><a href="add-empty-clause-and-flush.html"><span class="token function">addEmptyClauseAndFlush</span></a><span class="token punctuation">(</span><span class="token punctuation">)</span></div><p class="paragraph">Finishes the proof with UNSAT, or, equivalently, adds an empty clause and <a href="flush.html">flush</a>es the proof.</p></div></div>
63+
</div>
64+
<div class="footer">
65+
<span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>© 2023 Copyright</span><span
66+
class="pull-right"><span>Generated by </span><a
67+
href="https://github.com/Kotlin/dokka"><span>dokka</span><span class="padded-icon"></span></a></span>
68+
</div>
69+
</div>
70+
</div>
71+
</body>
72+
</html>

0 commit comments

Comments
 (0)