Skip to content

Commit

Permalink
Actions: Documentation for
Browse files Browse the repository at this point in the history
  • Loading branch information
@ozgurakgun
ozgurakgun committed May 27, 2024
1 parent e1c0a7d commit ea04082
Show file tree
Hide file tree
Showing 4 changed files with 38 additions and 38 deletions.
36 changes: 18 additions & 18 deletions docs/conjure_core/ast/enum.Expression.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,16 +22,22 @@
DivEq(<a class="struct" href="../metadata/struct.Metadata.html" title="struct conjure_core::metadata::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;),
Ineq(<a class="struct" href="../metadata/struct.Metadata.html" title="struct conjure_core::metadata::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;),
AllDiff(<a class="struct" href="../metadata/struct.Metadata.html" title="struct conjure_core::metadata::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_core::ast::Expression">Expression</a>&gt;),
</details>}</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><h2 id="compatability"><a class="doc-anchor" href="#compatability">§</a>Compatability</h2><h3 id="minion"><a class="doc-anchor" href="#minion">§</a>Minion</h3>
</details>}</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><h2 id="compatability"><a class="doc-anchor" href="#compatability">§</a>Compatability</h2><h3 id="jsoninput"><a class="doc-anchor" href="#jsoninput">§</a>JsonInput</h3>
<ul>
<li><a href="enum.Expression.html#variant.AllDiff" title="variant conjure_core::ast::Expression::AllDiff"><code>AllDiff</code></a></li>
<li><a href="enum.Expression.html#variant.And" title="variant conjure_core::ast::Expression::And"><code>And</code></a></li>
<li><a href="enum.Expression.html#variant.Constant" title="variant conjure_core::ast::Expression::Constant"><code>Constant</code></a></li>
<li><a href="enum.Expression.html#variant.DivEq" title="variant conjure_core::ast::Expression::DivEq"><code>DivEq</code></a></li>
<li><a href="enum.Expression.html#variant.Ineq" title="variant conjure_core::ast::Expression::Ineq"><code>Ineq</code></a></li>
<li><a href="enum.Expression.html#variant.Eq" title="variant conjure_core::ast::Expression::Eq"><code>Eq</code></a></li>
<li><a href="enum.Expression.html#variant.Geq" title="variant conjure_core::ast::Expression::Geq"><code>Geq</code></a></li>
<li><a href="enum.Expression.html#variant.Gt" title="variant conjure_core::ast::Expression::Gt"><code>Gt</code></a></li>
<li><a href="enum.Expression.html#variant.Leq" title="variant conjure_core::ast::Expression::Leq"><code>Leq</code></a></li>
<li><a href="enum.Expression.html#variant.Lt" title="variant conjure_core::ast::Expression::Lt"><code>Lt</code></a></li>
<li><a href="enum.Expression.html#variant.Min" title="variant conjure_core::ast::Expression::Min"><code>Min</code></a></li>
<li><a href="enum.Expression.html#variant.Neq" title="variant conjure_core::ast::Expression::Neq"><code>Neq</code></a></li>
<li><a href="enum.Expression.html#variant.Not" title="variant conjure_core::ast::Expression::Not"><code>Not</code></a></li>
<li><a href="enum.Expression.html#variant.Or" title="variant conjure_core::ast::Expression::Or"><code>Or</code></a></li>
<li><a href="enum.Expression.html#variant.Reference" title="variant conjure_core::ast::Expression::Reference"><code>Reference</code></a></li>
<li><a href="enum.Expression.html#variant.Sum" title="variant conjure_core::ast::Expression::Sum"><code>Sum</code></a></li>
<li><a href="enum.Expression.html#variant.SumGeq" title="variant conjure_core::ast::Expression::SumGeq"><code>SumGeq</code></a></li>
<li><a href="enum.Expression.html#variant.SumLeq" title="variant conjure_core::ast::Expression::SumLeq"><code>SumLeq</code></a></li>
<li><a href="enum.Expression.html#variant.UnsafeDiv" title="variant conjure_core::ast::Expression::UnsafeDiv"><code>UnsafeDiv</code></a></li>
</ul>
<h3 id="sat"><a class="doc-anchor" href="#sat">§</a>SAT</h3>
<ul>
Expand All @@ -40,22 +46,16 @@ <h3 id="sat"><a class="doc-anchor" href="#sat">§</a>SAT</h3>
<li><a href="enum.Expression.html#variant.Or" title="variant conjure_core::ast::Expression::Or"><code>Or</code></a></li>
<li><a href="enum.Expression.html#variant.Reference" title="variant conjure_core::ast::Expression::Reference"><code>Reference</code></a></li>
</ul>
<h3 id="jsoninput"><a class="doc-anchor" href="#jsoninput">§</a>JsonInput</h3>
<h3 id="minion"><a class="doc-anchor" href="#minion">§</a>Minion</h3>
<ul>
<li><a href="enum.Expression.html#variant.And" title="variant conjure_core::ast::Expression::And"><code>And</code></a></li>
<li><a href="enum.Expression.html#variant.AllDiff" title="variant conjure_core::ast::Expression::AllDiff"><code>AllDiff</code></a></li>
<li><a href="enum.Expression.html#variant.Constant" title="variant conjure_core::ast::Expression::Constant"><code>Constant</code></a></li>
<li><a href="enum.Expression.html#variant.Eq" title="variant conjure_core::ast::Expression::Eq"><code>Eq</code></a></li>
<li><a href="enum.Expression.html#variant.Geq" title="variant conjure_core::ast::Expression::Geq"><code>Geq</code></a></li>
<li><a href="enum.Expression.html#variant.Gt" title="variant conjure_core::ast::Expression::Gt"><code>Gt</code></a></li>
<li><a href="enum.Expression.html#variant.Leq" title="variant conjure_core::ast::Expression::Leq"><code>Leq</code></a></li>
<li><a href="enum.Expression.html#variant.Lt" title="variant conjure_core::ast::Expression::Lt"><code>Lt</code></a></li>
<li><a href="enum.Expression.html#variant.Min" title="variant conjure_core::ast::Expression::Min"><code>Min</code></a></li>
<li><a href="enum.Expression.html#variant.Neq" title="variant conjure_core::ast::Expression::Neq"><code>Neq</code></a></li>
<li><a href="enum.Expression.html#variant.Not" title="variant conjure_core::ast::Expression::Not"><code>Not</code></a></li>
<li><a href="enum.Expression.html#variant.Or" title="variant conjure_core::ast::Expression::Or"><code>Or</code></a></li>
<li><a href="enum.Expression.html#variant.DivEq" title="variant conjure_core::ast::Expression::DivEq"><code>DivEq</code></a></li>
<li><a href="enum.Expression.html#variant.Ineq" title="variant conjure_core::ast::Expression::Ineq"><code>Ineq</code></a></li>
<li><a href="enum.Expression.html#variant.Reference" title="variant conjure_core::ast::Expression::Reference"><code>Reference</code></a></li>
<li><a href="enum.Expression.html#variant.Sum" title="variant conjure_core::ast::Expression::Sum"><code>Sum</code></a></li>
<li><a href="enum.Expression.html#variant.UnsafeDiv" title="variant conjure_core::ast::Expression::UnsafeDiv"><code>UnsafeDiv</code></a></li>
<li><a href="enum.Expression.html#variant.SumGeq" title="variant conjure_core::ast::Expression::SumGeq"><code>SumGeq</code></a></li>
<li><a href="enum.Expression.html#variant.SumLeq" title="variant conjure_core::ast::Expression::SumLeq"><code>SumLeq</code></a></li>
</ul>
</div></details><h2 id="variants" class="variants section-header">Variants (Non-exhaustive)<a href="#variants" class="anchor">§</a></h2><details class="toggle non-exhaustive"><summary class="hideme"><span>This enum is marked as non-exhaustive</span></summary><div class="docblock">Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.</div></details><div class="variants"><section id="variant.Nothing" class="variant"><a href="#variant.Nothing" class="anchor">§</a><h3 class="code-header">Nothing</h3></section><div class="docblock"><ul>
<li>Represents an empty expression</li>
Expand Down
36 changes: 18 additions & 18 deletions docs/conjure_oxide/ast/enum.Expression.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,24 @@
DivEq(<a class="struct" href="../struct.Metadata.html" title="struct conjure_oxide::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;),
Ineq(<a class="struct" href="../struct.Metadata.html" title="struct conjure_oxide::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;),
AllDiff(<a class="struct" href="../struct.Metadata.html" title="struct conjure_oxide::Metadata">Metadata</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="enum" href="enum.Expression.html" title="enum conjure_oxide::ast::Expression">Expression</a>&gt;),
</details>}</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><h2 id="compatability"><a class="doc-anchor" href="#compatability">§</a>Compatability</h2><h3 id="sat"><a class="doc-anchor" href="#sat">§</a>SAT</h3>
</details>}</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><h2 id="compatability"><a class="doc-anchor" href="#compatability">§</a>Compatability</h2><h3 id="jsoninput"><a class="doc-anchor" href="#jsoninput">§</a>JsonInput</h3>
<ul>
<li><a href="enum.Expression.html#variant.And" title="variant conjure_oxide::ast::Expression::And"><code>And</code></a></li>
<li><a href="enum.Expression.html#variant.Constant" title="variant conjure_oxide::ast::Expression::Constant"><code>Constant</code></a></li>
<li><a href="enum.Expression.html#variant.Eq" title="variant conjure_oxide::ast::Expression::Eq"><code>Eq</code></a></li>
<li><a href="enum.Expression.html#variant.Geq" title="variant conjure_oxide::ast::Expression::Geq"><code>Geq</code></a></li>
<li><a href="enum.Expression.html#variant.Gt" title="variant conjure_oxide::ast::Expression::Gt"><code>Gt</code></a></li>
<li><a href="enum.Expression.html#variant.Leq" title="variant conjure_oxide::ast::Expression::Leq"><code>Leq</code></a></li>
<li><a href="enum.Expression.html#variant.Lt" title="variant conjure_oxide::ast::Expression::Lt"><code>Lt</code></a></li>
<li><a href="enum.Expression.html#variant.Min" title="variant conjure_oxide::ast::Expression::Min"><code>Min</code></a></li>
<li><a href="enum.Expression.html#variant.Neq" title="variant conjure_oxide::ast::Expression::Neq"><code>Neq</code></a></li>
<li><a href="enum.Expression.html#variant.Not" title="variant conjure_oxide::ast::Expression::Not"><code>Not</code></a></li>
<li><a href="enum.Expression.html#variant.Or" title="variant conjure_oxide::ast::Expression::Or"><code>Or</code></a></li>
<li><a href="enum.Expression.html#variant.Reference" title="variant conjure_oxide::ast::Expression::Reference"><code>Reference</code></a></li>
<li><a href="enum.Expression.html#variant.Sum" title="variant conjure_oxide::ast::Expression::Sum"><code>Sum</code></a></li>
<li><a href="enum.Expression.html#variant.UnsafeDiv" title="variant conjure_oxide::ast::Expression::UnsafeDiv"><code>UnsafeDiv</code></a></li>
</ul>
<h3 id="sat"><a class="doc-anchor" href="#sat">§</a>SAT</h3>
<ul>
<li><a href="enum.Expression.html#variant.And" title="variant conjure_oxide::ast::Expression::And"><code>And</code></a></li>
<li><a href="enum.Expression.html#variant.Not" title="variant conjure_oxide::ast::Expression::Not"><code>Not</code></a></li>
Expand All @@ -40,23 +57,6 @@ <h3 id="minion"><a class="doc-anchor" href="#minion">§</a>Minion</h3>
<li><a href="enum.Expression.html#variant.SumGeq" title="variant conjure_oxide::ast::Expression::SumGeq"><code>SumGeq</code></a></li>
<li><a href="enum.Expression.html#variant.SumLeq" title="variant conjure_oxide::ast::Expression::SumLeq"><code>SumLeq</code></a></li>
</ul>
<h3 id="jsoninput"><a class="doc-anchor" href="#jsoninput">§</a>JsonInput</h3>
<ul>
<li><a href="enum.Expression.html#variant.And" title="variant conjure_oxide::ast::Expression::And"><code>And</code></a></li>
<li><a href="enum.Expression.html#variant.Constant" title="variant conjure_oxide::ast::Expression::Constant"><code>Constant</code></a></li>
<li><a href="enum.Expression.html#variant.Eq" title="variant conjure_oxide::ast::Expression::Eq"><code>Eq</code></a></li>
<li><a href="enum.Expression.html#variant.Geq" title="variant conjure_oxide::ast::Expression::Geq"><code>Geq</code></a></li>
<li><a href="enum.Expression.html#variant.Gt" title="variant conjure_oxide::ast::Expression::Gt"><code>Gt</code></a></li>
<li><a href="enum.Expression.html#variant.Leq" title="variant conjure_oxide::ast::Expression::Leq"><code>Leq</code></a></li>
<li><a href="enum.Expression.html#variant.Lt" title="variant conjure_oxide::ast::Expression::Lt"><code>Lt</code></a></li>
<li><a href="enum.Expression.html#variant.Min" title="variant conjure_oxide::ast::Expression::Min"><code>Min</code></a></li>
<li><a href="enum.Expression.html#variant.Neq" title="variant conjure_oxide::ast::Expression::Neq"><code>Neq</code></a></li>
<li><a href="enum.Expression.html#variant.Not" title="variant conjure_oxide::ast::Expression::Not"><code>Not</code></a></li>
<li><a href="enum.Expression.html#variant.Or" title="variant conjure_oxide::ast::Expression::Or"><code>Or</code></a></li>
<li><a href="enum.Expression.html#variant.Reference" title="variant conjure_oxide::ast::Expression::Reference"><code>Reference</code></a></li>
<li><a href="enum.Expression.html#variant.Sum" title="variant conjure_oxide::ast::Expression::Sum"><code>Sum</code></a></li>
<li><a href="enum.Expression.html#variant.UnsafeDiv" title="variant conjure_oxide::ast::Expression::UnsafeDiv"><code>UnsafeDiv</code></a></li>
</ul>
</div></details><h2 id="variants" class="variants section-header">Variants (Non-exhaustive)<a href="#variants" class="anchor">§</a></h2><details class="toggle non-exhaustive"><summary class="hideme"><span>This enum is marked as non-exhaustive</span></summary><div class="docblock">Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.</div></details><div class="variants"><section id="variant.Nothing" class="variant"><a href="#variant.Nothing" class="anchor">§</a><h3 class="code-header">Nothing</h3></section><div class="docblock"><ul>
<li>Represents an empty expression</li>
<li>NB: we only expect this at the top level of a model (if there is no constraints)</li>
Expand Down
Loading

0 comments on commit ea04082

Please sign in to comment.