Deploying to gh-pages from @ 4e21449 🚀

Author: tautschnig

abstract__aggregate__object_8h_source.html

@@ -409,7 +409,7 @@
 <div class="ttc" id="aclassabstract__aggregate__objectt_html_afc4f20532e9ac072a734f18e2f726a91"><div class="ttname"><a href="classabstract__aggregate__objectt.html#afc4f20532e9ac072a734f18e2f726a91">abstract_aggregate_objectt::write_component</a></div><div class="ttdeci">virtual abstract_object_pointert write_component(abstract_environmentt &amp;environment, const namespacet &amp;ns, const std::stack&lt; exprt &gt; &amp;stack, const exprt &amp;expr, const abstract_object_pointert &amp;value, bool merging_write) const</div><div class="ttdef"><b>Definition</b> <a href="abstract__aggregate__object_8h_source.html#l00113">abstract_aggregate_object.h:113</a></div></div>
 <div class="ttc" id="aclassabstract__aggregate__tag_html"><div class="ttname"><a href="classabstract__aggregate__tag.html">abstract_aggregate_tag</a></div><div class="ttdef"><b>Definition</b> <a href="abstract__aggregate__object_8h_source.html#l00024">abstract_aggregate_object.h:25</a></div></div>
 <div class="ttc" id="aclassabstract__environmentt_html"><div class="ttname"><a href="classabstract__environmentt.html">abstract_environmentt</a></div><div class="ttdef"><b>Definition</b> <a href="abstract__environment_8h_source.html#l00038">abstract_environment.h:39</a></div></div>
-<div class="ttc" id="aclassabstract__environmentt_html_adaa48347e31f942f3e64323a95f086c7"><div class="ttname"><a href="classabstract__environmentt.html#adaa48347e31f942f3e64323a95f086c7">abstract_environmentt::abstract_object_factory</a></div><div class="ttdeci">virtual abstract_object_pointert abstract_object_factory(const typet &amp;type, const namespacet &amp;ns, bool top, bool bottom) const</div><div class="ttdoc">Look at the configuration for the sensitivity and create an appropriate abstract_object.</div><div class="ttdef"><b>Definition</b> <a href="abstract__environment_8cpp_source.html#l00311">abstract_environment.cpp:311</a></div></div>
+<div class="ttc" id="aclassabstract__environmentt_html_adaa48347e31f942f3e64323a95f086c7"><div class="ttname"><a href="classabstract__environmentt.html#adaa48347e31f942f3e64323a95f086c7">abstract_environmentt::abstract_object_factory</a></div><div class="ttdeci">virtual abstract_object_pointert abstract_object_factory(const typet &amp;type, const namespacet &amp;ns, bool top, bool bottom) const</div><div class="ttdoc">Look at the configuration for the sensitivity and create an appropriate abstract_object.</div><div class="ttdef"><b>Definition</b> <a href="abstract__environment_8cpp_source.html#l00317">abstract_environment.cpp:317</a></div></div>
 <div class="ttc" id="aclassabstract__objectt_html"><div class="ttname"><a href="classabstract__objectt.html">abstract_objectt</a></div><div class="ttdef"><b>Definition</b> <a href="abstract__object_8h_source.html#l00072">abstract_object.h:73</a></div></div>
 <div class="ttc" id="aclassabstract__objectt_html_a17eb96dafb5e47aaf7c220e25ce52d74"><div class="ttname"><a href="classabstract__objectt.html#a17eb96dafb5e47aaf7c220e25ce52d74">abstract_objectt::is_top</a></div><div class="ttdeci">virtual bool is_top() const</div><div class="ttdoc">Find out if the abstract object is top.</div><div class="ttdef"><b>Definition</b> <a href="abstract__object_8cpp_source.html#l00141">abstract_object.cpp:141</a></div></div>
 <div class="ttc" id="aclassabstract__objectt_html_a381e20a2e57079eb14fa7a480688eb5d"><div class="ttname"><a href="classabstract__objectt.html#a381e20a2e57079eb14fa7a480688eb5d">abstract_objectt::is_bottom</a></div><div class="ttdeci">virtual bool is_bottom() const</div><div class="ttdoc">Find out if the abstract object is bottom.</div><div class="ttdef"><b>Definition</b> <a href="abstract__object_8cpp_source.html#l00146">abstract_object.cpp:146</a></div></div>

abstract__environment_8cpp.html

@@ -17,7 +17,7 @@ var abstract__environment_8cpp =
     [ "eval_operands_as_values", "abstract__environment_8cpp.html#a6e256403423613746fd5bc7b486486c3", null ],
     [ "invert_expr", "abstract__environment_8cpp.html#a2f45a1650760b0fd8b9b3be0686e2b02", null ],
     [ "invert_result", "abstract__environment_8cpp.html#a997871739f7d4a621b9b127e2a7f0da3", null ],
-    [ "is_access_expr", "abstract__environment_8cpp.html#a5290cf65ed3de48ad28583b5310734fe", null ],
+    [ "is_access_expr", "abstract__environment_8cpp.html#afbb9b3e2330469eb1067ec63bb58f5b6", null ],
     [ "is_dynamic_allocation", "abstract__environment_8cpp.html#ada796f698bc9b40931e22d6bec92bb03", null ],
     [ "is_object_creation", "abstract__environment_8cpp.html#a494e93f8a15fe6deb0887a2a8960d50d", null ],
     [ "is_ptr_comparison", "abstract__environment_8cpp.html#ab8d13b605eb4966280005fc562f334e7", null ],