Update doxygen docs

docs/MTLFormula_8h_source.html

@@ -385,7 +385,7 @@
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html">tacos::logic::MTLFormula</a></div><div class="ttdoc">Class representing an MTL-formula with the usual operators.</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:140</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a0a9b9f88c1a660cbb99b40ff9bf4b5ee"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a0a9b9f88c1a660cbb99b40ff9bf4b5ee">tacos::logic::MTLFormula::get_operands</a></div><div class="ttdeci">const std::vector&lt; MTLFormula &gt; &amp; get_operands() const</div><div class="ttdoc">getter for operands</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:260</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a0c54686bd45f20f622c76c4015e080ea"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a0c54686bd45f20f622c76c4015e080ea">tacos::logic::MTLFormula::get_operator</a></div><div class="ttdeci">LOP get_operator() const</div><div class="ttdoc">getter for the logical operator</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:266</div></div>
-<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a0eadb7fce9aa1eee1461b4bcc2c4647f"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a0eadb7fce9aa1eee1461b4bcc2c4647f">tacos::logic::MTLFormula::to_positive_normal_form</a></div><div class="ttdeci">MTLFormula to_positive_normal_form() const</div><div class="ttdoc">Returns normalized formula (positive normal form)</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:267</div></div>
+<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a0eadb7fce9aa1eee1461b4bcc2c4647f"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a0eadb7fce9aa1eee1461b4bcc2c4647f">tacos::logic::MTLFormula::to_positive_normal_form</a></div><div class="ttdeci">MTLFormula to_positive_normal_form() const</div><div class="ttdoc">Returns normalized formula (positive normal form)</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:263</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a177264a4f2bd584f0a89a501e519cb1b"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a177264a4f2bd584f0a89a501e519cb1b">tacos::logic::MTLFormula::operator||</a></div><div class="ttdeci">MTLFormula operator||(const MTLFormula &amp;rhs) const</div><div class="ttdoc">Boolean-OR operator.</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:201</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a1ec88e80b4c6baaf2768f34d5f17ebe4"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a1ec88e80b4c6baaf2768f34d5f17ebe4">tacos::logic::MTLFormula::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const MTLFormula &amp;rhs) const</div><div class="ttdoc">less operator</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:233</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a3b554def707245b36dc4a2235c725a18"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a3b554def707245b36dc4a2235c725a18">tacos::logic::MTLFormula::operator&gt;</a></div><div class="ttdeci">bool operator&gt;(const MTLFormula &amp;rhs) const</div><div class="ttdoc">larger operator</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:214</div></div>
@@ -400,11 +400,11 @@
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a7d12bac7266e442b403ac8cfdf9e5ce1"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a7d12bac7266e442b403ac8cfdf9e5ce1">tacos::logic::MTLFormula::MTLFormula</a></div><div class="ttdeci">MTLFormula(MTLFormula &amp;&amp;)=default</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a84e45a9cc3c6e2ed6f59262486e2a3ab"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a84e45a9cc3c6e2ed6f59262486e2a3ab">tacos::logic::MTLFormula::get_maximal_region_index</a></div><div class="ttdeci">std::size_t get_maximal_region_index() const</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:299</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a91d7d4b07707f213aa5c7fad643e4dc8"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a91d7d4b07707f213aa5c7fad643e4dc8">tacos::logic::MTLFormula::get_atomicProposition</a></div><div class="ttdeci">AtomicProposition&lt; APType &gt; get_atomicProposition() const</div><div class="ttdoc">getter for the atomic proposition</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:287</div></div>
-<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a97696f25a6a39a9a28116aa09b6faacd"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a97696f25a6a39a9a28116aa09b6faacd">tacos::logic::MTLFormula::get_alphabet</a></div><div class="ttdeci">std::set&lt; AtomicProposition&lt; APType &gt; &gt; get_alphabet() const</div><div class="ttdoc">collects all used atomic propositions of the formula</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:323</div></div>
+<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a97696f25a6a39a9a28116aa09b6faacd"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a97696f25a6a39a9a28116aa09b6faacd">tacos::logic::MTLFormula::get_alphabet</a></div><div class="ttdeci">std::set&lt; AtomicProposition&lt; APType &gt; &gt; get_alphabet() const</div><div class="ttdoc">collects all used atomic propositions of the formula</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:319</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a9a47951ce985446d0de2949de4325241"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a9a47951ce985446d0de2949de4325241">tacos::logic::MTLFormula::FALSE</a></div><div class="ttdeci">static MTLFormula FALSE()</div><div class="ttdoc">Get a formula that is always false.</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:169</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_a9c6150c59e6bab4bfb1c13604db6c90c"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#a9c6150c59e6bab4bfb1c13604db6c90c">tacos::logic::MTLFormula::get_interval</a></div><div class="ttdeci">TimeInterval get_interval() const</div><div class="ttdoc">getter for the duration</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:276</div></div>
-<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_ab82c723c33515430c3b0794f0210ab53"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#ab82c723c33515430c3b0794f0210ab53">tacos::logic::MTLFormula::get_subformulas_of_type</a></div><div class="ttdeci">std::set&lt; MTLFormula&lt; APType &gt; &gt; get_subformulas_of_type(LOP op) const</div><div class="ttdoc">collects all subformulas of a specific type</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:336</div></div>
-<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_ab97381221fd21a6bf466ae54e1673fea"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#ab97381221fd21a6bf466ae54e1673fea">tacos::logic::MTLFormula::get_largest_constant</a></div><div class="ttdeci">Endpoint get_largest_constant() const</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:354</div></div>
+<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_ab82c723c33515430c3b0794f0210ab53"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#ab82c723c33515430c3b0794f0210ab53">tacos::logic::MTLFormula::get_subformulas_of_type</a></div><div class="ttdeci">std::set&lt; MTLFormula&lt; APType &gt; &gt; get_subformulas_of_type(LOP op) const</div><div class="ttdoc">collects all subformulas of a specific type</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:332</div></div>
+<div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_ab97381221fd21a6bf466ae54e1673fea"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#ab97381221fd21a6bf466ae54e1673fea">tacos::logic::MTLFormula::get_largest_constant</a></div><div class="ttdeci">Endpoint get_largest_constant() const</div><div class="ttdef"><b>Definition:</b> MTLFormula.hpp:350</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_abee26afa8e5c6c298d425c7517c46f86"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#abee26afa8e5c6c298d425c7517c46f86">tacos::logic::MTLFormula::MTLFormula</a></div><div class="ttdeci">MTLFormula(const MTLFormula &amp;)=default</div><div class="ttdoc">Copy-constructor.</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_ac632effa3ec5702e90e8a1fa280ce361"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#ac632effa3ec5702e90e8a1fa280ce361">tacos::logic::MTLFormula::operator&gt;=</a></div><div class="ttdeci">bool operator&gt;=(const MTLFormula &amp;rhs) const</div><div class="ttdoc">larger-equal operator</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:227</div></div>
 <div class="ttc" id="aclasstacos_1_1logic_1_1MTLFormula_html_acbfe80d89c2235a130778e413a8c64f4"><div class="ttname"><a href="classtacos_1_1logic_1_1MTLFormula.html#acbfe80d89c2235a130778e413a8c64f4">tacos::logic::MTLFormula::create_conjunction</a></div><div class="ttdeci">static MTLFormula create_conjunction(const std::vector&lt; MTLFormula &gt; &amp;conjuncts)</div><div class="ttdef"><b>Definition:</b> MTLFormula.h:179</div></div>