Deploying to gh-pages from @ 63c4071 🚀

pr-preview/4850/class_abstract_solver.js

@@ -0,0 +1,10 @@
+var class_abstract_solver =
+[
+    [ "checkSat", "class_abstract_solver.html#aa2b7bf28ca31ee5db915d9bb005a783a", null ],
+    [ "comment", "class_abstract_solver.html#a034582fdc6850b85afb976a24df3be7e", null ],
+    [ "getSymbolicMapping", "class_abstract_solver.html#ab6ddf58be50152aef20a6c6ab48e689b", null ],
+    [ "isInIncrementalMode", "class_abstract_solver.html#a3c7c89959e32c671351b6bfb49433386", null ],
+    [ "seed", "class_abstract_solver.html#a59e9f213832786b8cf89b85c5f8df207", null ],
+    [ "timeout", "class_abstract_solver.html#af822474be1f133d4a13077999d993e46", null ],
+    [ "toJSON", "class_abstract_solver.html#af62bf0c29650c8d8fdc7945cdb13abb9", null ]
+];

pr-preview/4850/class_abstract_solver__inherit__graph.map

@@ -0,0 +1,9 @@
+<map id="AbstractSolver" name="AbstractSolver">
+<area shape="rect" id="Node000001" title="Provides a higher&#45;level interface for an SMT solver." alt="" coords="15,152,133,177"/>
+<area shape="rect" id="Node000004" href="$class_p4_tools_1_1_z3_solver.html" title="A Z3&#45;based implementation of AbstractSolver. Encapsulates a z3::solver and a z3::context." alt="" coords="5,225,143,251"/>
+<area shape="poly" id="edge3_Node000001_Node000004" title=" " alt="" coords="77,191,77,225,71,225,71,191"/>
+<area shape="rect" id="Node000002" href="$class_i_castable.html" title=" " alt="" coords="33,79,115,104"/>
+<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="77,118,77,152,71,152,71,118"/>
+<area shape="rect" id="Node000003" href="$struct_r_t_t_i_1_1_base.html" title=" " alt="" coords="29,5,119,31"/>
+<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="77,44,77,79,71,79,71,44"/>
+</map>

pr-preview/4850/class_abstract_solver__inherit__graph.md5

@@ -0,0 +1 @@
+d07a3c30334b8ef8111b9cb3d74bc98a

pr-preview/4850/class_alloc_trace.html

@@ -120,9 +120,32 @@
 </div>
 
 <div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#friends">Friends</a> &#124;
+<a href="class_alloc_trace-members.html">List of all members</a>  </div>
   <div class="headertitle"><div class="title">AllocTrace Class Reference</div></div>
 </div><!--header-->
 <div class="contents">
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pub-methods" name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a1b6878329d2913ee4afd5480a706113b" id="r_a1b6878329d2913ee4afd5480a706113b"><td class="memItemLeft" align="right" valign="top"><a id="a1b6878329d2913ee4afd5480a706113b" name="a1b6878329d2913ee4afd5480a706113b"></a>
+void&#160;</td><td class="memItemRight" valign="bottom"><b>clear</b> ()</td></tr>
+<tr class="separator:a1b6878329d2913ee4afd5480a706113b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a64a993f126050b42146facd263b5a794" id="r_a64a993f126050b42146facd263b5a794"><td class="memItemLeft" align="right" valign="top"><a id="a64a993f126050b42146facd263b5a794" name="a64a993f126050b42146facd263b5a794"></a>
+<a class="el" href="structalloc__trace__cb__t.html">alloc_trace_cb_t</a>&#160;</td><td class="memItemRight" valign="bottom"><b>start</b> ()</td></tr>
+<tr class="separator:a64a993f126050b42146facd263b5a794"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a05a3c8d80a50212ba3254a1af8785a91" id="r_a05a3c8d80a50212ba3254a1af8785a91"><td class="memItemLeft" align="right" valign="top"><a id="a05a3c8d80a50212ba3254a1af8785a91" name="a05a3c8d80a50212ba3254a1af8785a91"></a>
+void&#160;</td><td class="memItemRight" valign="bottom"><b>stop</b> (<a class="el" href="structalloc__trace__cb__t.html">alloc_trace_cb_t</a>)</td></tr>
+<tr class="separator:a05a3c8d80a50212ba3254a1af8785a91"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="friends" name="friends"></a>
+Friends</h2></td></tr>
+<tr class="memitem:a1b0e0100273f46ee4fcce19bb3485880" id="r_a1b0e0100273f46ee4fcce19bb3485880"><td class="memItemLeft" align="right" valign="top"><a id="a1b0e0100273f46ee4fcce19bb3485880" name="a1b0e0100273f46ee4fcce19bb3485880"></a>
+std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><b>operator&lt;&lt;</b> (std::ostream &amp;out, const <a class="el" href="class_alloc_trace.html">AllocTrace</a> &amp;at)</td></tr>
+<tr class="separator:a1b0e0100273f46ee4fcce19bb3485880"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
 </div><!-- contents -->
 </div><!-- doc-content -->
 <!-- HTML footer for doxygen 1.11.0-->