Skip to content

Commit 9caa65e

Browse files
github-actions[bot]github-actions[bot]
committed
1 parent 3ac2720 commit 9caa65e

File tree

874 files changed

+48800
-47353
lines changed

Some content is hidden

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

874 files changed

+48800
-47353
lines changed

‎api/html/_a_s_t_8cs.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@
104104
</div><!-- contents -->
105105
<!-- start footer part -->
106106
<hr class="footer"/><address class="footer"><small>
107-
Generated on Sun Jan 11 2026 05:03:25 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
107+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
108108
</small></address>
109109
</body>
110110
</html>

‎api/html/_a_s_t_8cs_source.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -325,7 +325,7 @@
325325
</div><!-- fragment --></div><!-- contents -->
326326
<!-- start footer part -->
327327
<hr class="footer"/><address class="footer"><small>
328-
Generated on Sun Jan 11 2026 05:03:24 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
328+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
329329
</small></address>
330330
</body>
331331
</html>

‎api/html/_a_s_t_8java.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@
101101
</div><!-- contents -->
102102
<!-- start footer part -->
103103
<hr class="footer"/><address class="footer"><small>
104-
Generated on Sun Jan 11 2026 05:03:25 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
104+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
105105
</small></address>
106106
</body>
107107
</html>

‎api/html/_a_s_t_8java_source.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@
285285
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_a_s_t_html_ad146fa8579a5f8a876c4688cc5a68520"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_a_s_t.html#ad146fa8579a5f8a876c4688cc5a68520">com.microsoft.z3.AST.toString</a></div><div class="ttdeci">String toString()</div><div class="ttdef"><b>Definition</b> <a href="_a_s_t_8java_source.html#l00178">AST.java:178</a></div></div>
286286
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_a_s_t_html_add37a2e42623936120f8e4bdd7e9bba6"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_a_s_t.html#add37a2e42623936120f8e4bdd7e9bba6">com.microsoft.z3.AST.getASTKind</a></div><div class="ttdeci">Z3_ast_kind getASTKind()</div><div class="ttdef"><b>Definition</b> <a href="_a_s_t_8java_source.html#l00103">AST.java:103</a></div></div>
287287
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_context_html"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_context.html">com.microsoft.z3.Context</a></div><div class="ttdef"><b>Definition</b> <a href="_context_8java_source.html#l00036">Context.java:36</a></div></div>
288-
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_context_html_a4f789d47d93c150a6e12a4d54ff1597a"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_context.html#a4f789d47d93c150a6e12a4d54ff1597a">com.microsoft.z3.Context.nCtx</a></div><div class="ttdeci">long nCtx()</div><div class="ttdef"><b>Definition</b> <a href="_context_8java_source.html#l04372">Context.java:4372</a></div></div>
288+
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_context_html_a4f789d47d93c150a6e12a4d54ff1597a"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_context.html#a4f789d47d93c150a6e12a4d54ff1597a">com.microsoft.z3.Context.nCtx</a></div><div class="ttdeci">long nCtx()</div><div class="ttdef"><b>Definition</b> <a href="_context_8java_source.html#l04406">Context.java:4406</a></div></div>
289289
<div class="ttc" id="aclasscom_1_1microsoft_1_1z3_1_1_z3_object_html"><div class="ttname"><a href="classcom_1_1microsoft_1_1z3_1_1_z3_object.html">com.microsoft.z3.Z3Object</a></div><div class="ttdef"><b>Definition</b> <a href="_z3_object_8java_source.html#l00024">Z3Object.java:24</a></div></div>
290290
<div class="ttc" id="agroup__capi_html_ga015148ad21a032e79a496629651dedb8"><div class="ttname"><a href="group__capi.html#ga015148ad21a032e79a496629651dedb8">Z3_ast_kind</a></div><div class="ttdeci">Z3_ast_kind</div><div class="ttdoc">The different kinds of Z3 AST (abstract syntax trees). That is, terms, formulas and types.</div><div class="ttdef"><b>Definition</b> <a href="z3__api_8h_source.html#l00141">z3_api.h:142</a></div></div>
291291
<div class="ttc" id="agroup__capi_html_gga015148ad21a032e79a496629651dedb8a392917d09f085dc93e95d5cd4d6b134b"><div class="ttname"><a href="group__capi.html#gga015148ad21a032e79a496629651dedb8a392917d09f085dc93e95d5cd4d6b134b">Z3_APP_AST</a></div><div class="ttdeci">@ Z3_APP_AST</div><div class="ttdef"><b>Definition</b> <a href="z3__api_8h_source.html#l00144">z3_api.h:144</a></div></div>
@@ -297,7 +297,7 @@
297297
</div><!-- fragment --></div><!-- contents -->
298298
<!-- start footer part -->
299299
<hr class="footer"/><address class="footer"><small>
300-
Generated on Sun Jan 11 2026 05:03:24 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
300+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
301301
</small></address>
302302
</body>
303303
</html>

‎api/html/_a_s_t_map_8cs.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@
104104
</div><!-- contents -->
105105
<!-- start footer part -->
106106
<hr class="footer"/><address class="footer"><small>
107-
Generated on Sun Jan 11 2026 05:03:25 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
107+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
108108
</small></address>
109109
</body>
110110
</html>

‎api/html/_a_s_t_map_8cs_source.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -192,11 +192,11 @@
192192
<div class="ttc" id="aclass_microsoft_1_1_z3_1_1_z3_object_html_acf606a89a6d7474fa0ef78c69da736c7"><div class="ttname"><a href="class_microsoft_1_1_z3_1_1_z3_object.html#acf606a89a6d7474fa0ef78c69da736c7">Microsoft.Z3.Z3Object.Context</a></div><div class="ttdeci">Context Context</div><div class="ttdoc">Access Context object.</div><div class="ttdef"><b>Definition</b> <a href="_z3_object_8cs_source.html#l00110">Z3Object.cs:111</a></div></div>
193193
<div class="ttc" id="agroup__capi_html_gabd92a8f16a13fcdbb11e66f59967c399"><div class="ttname"><a href="group__capi.html#gabd92a8f16a13fcdbb11e66f59967c399">Z3_mk_ast_map</a></div><div class="ttdeci">Z3_ast_map Z3_API Z3_mk_ast_map(Z3_context c)</div><div class="ttdoc">Return an empty mapping from AST to AST.</div></div>
194194
<div class="ttc" id="anamespace_microsoft_1_1_z3_html"><div class="ttname"><a href="namespace_microsoft_1_1_z3.html">Microsoft.Z3</a></div><div class="ttdef"><b>Definition</b> <a href="_algebraic_num_8cs_source.html#l00026">AlgebraicNum.cs:27</a></div></div>
195-
<div class="ttc" id="anamespacez3py_html_a4ea88dd5f0983225cc39f860cda49ce8"><div class="ttname"><a href="namespacez3py.html#a4ea88dd5f0983225cc39f860cda49ce8">z3py.Contains</a></div><div class="ttdeci">Contains(a, b)</div><div class="ttdef"><b>Definition</b> <a href="z3py_8py_source.html#l11343">z3py.py:11343</a></div></div>
195+
<div class="ttc" id="anamespacez3py_html_a4ea88dd5f0983225cc39f860cda49ce8"><div class="ttname"><a href="namespacez3py.html#a4ea88dd5f0983225cc39f860cda49ce8">z3py.Contains</a></div><div class="ttdeci">Contains(a, b)</div><div class="ttdef"><b>Definition</b> <a href="z3py_8py_source.html#l11387">z3py.py:11387</a></div></div>
196196
</div><!-- fragment --></div><!-- contents -->
197197
<!-- start footer part -->
198198
<hr class="footer"/><address class="footer"><small>
199-
Generated on Sun Jan 11 2026 05:03:24 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
199+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
200200
</small></address>
201201
</body>
202202
</html>

‎api/html/_a_s_t_map_8java.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@
101101
</div><!-- contents -->
102102
<!-- start footer part -->
103103
<hr class="footer"/><address class="footer"><small>
104-
Generated on Sun Jan 11 2026 05:03:25 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
104+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
105105
</small></address>
106106
</body>
107107
</html>

‎api/html/_a_s_t_map_8java_source.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -167,11 +167,11 @@
167167
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno"> 140</span> }</div>
168168
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno"> 141</span> }</div>
169169
<div class="line"><a id="l00142" name="l00142"></a><span class="lineno"> 142</span>}</div>
170-
<div class="ttc" id="anamespacez3py_html_a2fb40ff76afdb7265871a7d4613060f0"><div class="ttname"><a href="namespacez3py.html#a2fb40ff76afdb7265871a7d4613060f0">z3py.String</a></div><div class="ttdeci">String(name, ctx=None)</div><div class="ttdef"><b>Definition</b> <a href="z3py_8py_source.html#l11228">z3py.py:11228</a></div></div>
170+
<div class="ttc" id="anamespacez3py_html_a2fb40ff76afdb7265871a7d4613060f0"><div class="ttname"><a href="namespacez3py.html#a2fb40ff76afdb7265871a7d4613060f0">z3py.String</a></div><div class="ttdeci">String(name, ctx=None)</div><div class="ttdef"><b>Definition</b> <a href="z3py_8py_source.html#l11272">z3py.py:11272</a></div></div>
171171
</div><!-- fragment --></div><!-- contents -->
172172
<!-- start footer part -->
173173
<hr class="footer"/><address class="footer"><small>
174-
Generated on Sun Jan 11 2026 05:03:24 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
174+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
175175
</small></address>
176176
</body>
177177
</html>

‎api/html/_a_s_t_vector_8cs.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@
104104
</div><!-- contents -->
105105
<!-- start footer part -->
106106
<hr class="footer"/><address class="footer"><small>
107-
Generated on Sun Jan 11 2026 05:03:25 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
107+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
108108
</small></address>
109109
</body>
110110
</html>

‎api/html/_a_s_t_vector_8cs_source.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -344,7 +344,7 @@
344344
</div><!-- fragment --></div><!-- contents -->
345345
<!-- start footer part -->
346346
<hr class="footer"/><address class="footer"><small>
347-
Generated on Sun Jan 11 2026 05:03:24 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
347+
Generated on Mon Jan 12 2026 05:53:38 for Z3 by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
348348
</small></address>
349349
</body>
350350
</html>

0 commit comments

Comments
 (0)