This commit is contained in:
bthomee
2025-08-19 09:49:50 -07:00
parent bb5efdeec8
commit e7f4ae8bed
14888 changed files with 259444 additions and 168566 deletions

View File

@@ -3,7 +3,7 @@
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.5"/>
<meta name="generator" content="Doxygen 1.9.8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>rippled: InvariantCheck.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
@@ -29,7 +29,7 @@
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.5 -->
<!-- Generated by Doxygen 1.9.8 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search/",'.html');
@@ -46,6 +46,11 @@ $(function() {
/* @license-end */
</script>
<div id="main-nav"></div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(document).ready(function() { init_codefold(0); });
/* @license-end */
</script>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
@@ -113,6 +118,7 @@ $(function() {
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno"> 35</span><span class="keyword">class </span>ReadView;</div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno"> 36</span> </div>
<div class="line"><a id="l00037" name="l00037"></a><span class="lineno"> 37</span><span class="preprocessor">#if GENERATING_DOCS</span></div>
<div class="foldopen" id="foldopen00046" data-start="{" data-end="};">
<div class="line"><a id="l00046" name="l00046"></a><span class="lineno"><a class="line" href="classripple_1_1InvariantChecker__PROTOTYPE.html"> 46</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1InvariantChecker__PROTOTYPE.html">InvariantChecker_PROTOTYPE</a></div>
<div class="line"><a id="l00047" name="l00047"></a><span class="lineno"> 47</span>{</div>
<div class="line"><a id="l00048" name="l00048"></a><span class="lineno"> 48</span><span class="keyword">public</span>:</div>
@@ -132,8 +138,10 @@ $(function() {
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno"> 81</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp; view,</div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp; j);</div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno"> 83</span>};</div>
</div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno"> 85</span> </div>
<div class="foldopen" id="foldopen00092" data-start="{" data-end="};">
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno"><a class="line" href="classripple_1_1TransactionFeeCheck.html"> 92</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1TransactionFeeCheck.html">TransactionFeeCheck</a></div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno"> 93</span>{</div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno"> 94</span><span class="keyword">public</span>:</div>
@@ -151,7 +159,9 @@ $(function() {
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno"> 106</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno"> 107</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00108" name="l00108"></a><span class="lineno"> 108</span>};</div>
</div>
<div class="line"><a id="l00109" name="l00109"></a><span class="lineno"> 109</span> </div>
<div class="foldopen" id="foldopen00118" data-start="{" data-end="};">
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno"><a class="line" href="classripple_1_1XRPNotCreated.html"> 118</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1XRPNotCreated.html">XRPNotCreated</a></div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno"> 119</span>{</div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno"><a class="line" href="classripple_1_1XRPNotCreated.html#a5666e79cabd15392100c936835f3a263"> 120</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::int64_t</a> <a class="code hl_variable" href="classripple_1_1XRPNotCreated.html#a5666e79cabd15392100c936835f3a263">drops_</a> = 0;</div>
@@ -171,7 +181,9 @@ $(function() {
<div class="line"><a id="l00134" name="l00134"></a><span class="lineno"> 134</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno"> 135</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno"> 136</span>};</div>
</div>
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno"> 137</span> </div>
<div class="foldopen" id="foldopen00146" data-start="{" data-end="};">
<div class="line"><a id="l00146" name="l00146"></a><span class="lineno"><a class="line" href="classripple_1_1AccountRootsNotDeleted.html"> 146</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1AccountRootsNotDeleted.html">AccountRootsNotDeleted</a></div>
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno"> 147</span>{</div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno"><a class="line" href="classripple_1_1AccountRootsNotDeleted.html#aab913bd4238bdbb13afc782195771684"> 148</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code hl_variable" href="classripple_1_1AccountRootsNotDeleted.html#aab913bd4238bdbb13afc782195771684">accountsDeleted_</a> = 0;</div>
@@ -191,7 +203,9 @@ $(function() {
<div class="line"><a id="l00162" name="l00162"></a><span class="lineno"> 162</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00163" name="l00163"></a><span class="lineno"> 163</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00164" name="l00164"></a><span class="lineno"> 164</span>};</div>
</div>
<div class="line"><a id="l00165" name="l00165"></a><span class="lineno"> 165</span> </div>
<div class="foldopen" id="foldopen00176" data-start="{" data-end="};">
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno"><a class="line" href="classripple_1_1AccountRootsDeletedClean.html"> 176</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1AccountRootsDeletedClean.html">AccountRootsDeletedClean</a></div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno"> 177</span>{</div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno"><a class="line" href="classripple_1_1AccountRootsDeletedClean.html#af536e4b061b995d3168cde99d45de2d8"> 178</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector&lt;std::shared_ptr&lt;SLE const&gt;</a>&gt; <a class="code hl_variable" href="classripple_1_1AccountRootsDeletedClean.html#af536e4b061b995d3168cde99d45de2d8">accountsDeleted_</a>;</div>
@@ -211,7 +225,9 @@ $(function() {
<div class="line"><a id="l00192" name="l00192"></a><span class="lineno"> 192</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00193" name="l00193"></a><span class="lineno"> 193</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00194" name="l00194"></a><span class="lineno"> 194</span>};</div>
</div>
<div class="line"><a id="l00195" name="l00195"></a><span class="lineno"> 195</span> </div>
<div class="foldopen" id="foldopen00203" data-start="{" data-end="};">
<div class="line"><a id="l00203" name="l00203"></a><span class="lineno"><a class="line" href="classripple_1_1XRPBalanceChecks.html"> 203</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1XRPBalanceChecks.html">XRPBalanceChecks</a></div>
<div class="line"><a id="l00204" name="l00204"></a><span class="lineno"> 204</span>{</div>
<div class="line"><a id="l00205" name="l00205"></a><span class="lineno"><a class="line" href="classripple_1_1XRPBalanceChecks.html#aa9807a563c543a40f75ef52659cd8692"> 205</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1XRPBalanceChecks.html#aa9807a563c543a40f75ef52659cd8692">bad_</a> = <span class="keyword">false</span>;</div>
@@ -231,7 +247,9 @@ $(function() {
<div class="line"><a id="l00219" name="l00219"></a><span class="lineno"> 219</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00220" name="l00220"></a><span class="lineno"> 220</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00221" name="l00221"></a><span class="lineno"> 221</span>};</div>
</div>
<div class="line"><a id="l00222" name="l00222"></a><span class="lineno"> 222</span> </div>
<div class="foldopen" id="foldopen00227" data-start="{" data-end="};">
<div class="line"><a id="l00227" name="l00227"></a><span class="lineno"><a class="line" href="classripple_1_1LedgerEntryTypesMatch.html"> 227</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1LedgerEntryTypesMatch.html">LedgerEntryTypesMatch</a></div>
<div class="line"><a id="l00228" name="l00228"></a><span class="lineno"> 228</span>{</div>
<div class="line"><a id="l00229" name="l00229"></a><span class="lineno"><a class="line" href="classripple_1_1LedgerEntryTypesMatch.html#a5e34cbf42f7065e304e55b483ca1976b"> 229</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1LedgerEntryTypesMatch.html#a5e34cbf42f7065e304e55b483ca1976b">typeMismatch_</a> = <span class="keyword">false</span>;</div>
@@ -252,7 +270,9 @@ $(function() {
<div class="line"><a id="l00244" name="l00244"></a><span class="lineno"> 244</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00245" name="l00245"></a><span class="lineno"> 245</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00246" name="l00246"></a><span class="lineno"> 246</span>};</div>
</div>
<div class="line"><a id="l00247" name="l00247"></a><span class="lineno"> 247</span> </div>
<div class="foldopen" id="foldopen00254" data-start="{" data-end="};">
<div class="line"><a id="l00254" name="l00254"></a><span class="lineno"><a class="line" href="classripple_1_1NoXRPTrustLines.html"> 254</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1NoXRPTrustLines.html">NoXRPTrustLines</a></div>
<div class="line"><a id="l00255" name="l00255"></a><span class="lineno"> 255</span>{</div>
<div class="line"><a id="l00256" name="l00256"></a><span class="lineno"><a class="line" href="classripple_1_1NoXRPTrustLines.html#a47eaa36a43a5b46071870cf0e2790fa3"> 256</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1NoXRPTrustLines.html#a47eaa36a43a5b46071870cf0e2790fa3">xrpTrustLine_</a> = <span class="keyword">false</span>;</div>
@@ -272,7 +292,9 @@ $(function() {
<div class="line"><a id="l00270" name="l00270"></a><span class="lineno"> 270</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00271" name="l00271"></a><span class="lineno"> 271</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00272" name="l00272"></a><span class="lineno"> 272</span>};</div>
</div>
<div class="line"><a id="l00273" name="l00273"></a><span class="lineno"> 273</span> </div>
<div class="foldopen" id="foldopen00281" data-start="{" data-end="};">
<div class="line"><a id="l00281" name="l00281"></a><span class="lineno"><a class="line" href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html"> 281</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html">NoDeepFreezeTrustLinesWithoutFreeze</a></div>
<div class="line"><a id="l00282" name="l00282"></a><span class="lineno"> 282</span>{</div>
<div class="line"><a id="l00283" name="l00283"></a><span class="lineno"><a class="line" href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a6051f5cb3649968d2f76ba001e901576"> 283</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a6051f5cb3649968d2f76ba001e901576">deepFreezeWithoutFreeze_</a> = <span class="keyword">false</span>;</div>
@@ -292,20 +314,26 @@ $(function() {
<div class="line"><a id="l00297" name="l00297"></a><span class="lineno"> 297</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00298" name="l00298"></a><span class="lineno"> 298</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00299" name="l00299"></a><span class="lineno"> 299</span>};</div>
</div>
<div class="line"><a id="l00300" name="l00300"></a><span class="lineno"> 300</span> </div>
<div class="foldopen" id="foldopen00307" data-start="{" data-end="};">
<div class="line"><a id="l00307" name="l00307"></a><span class="lineno"><a class="line" href="classripple_1_1TransfersNotFrozen.html"> 307</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1TransfersNotFrozen.html">TransfersNotFrozen</a></div>
<div class="line"><a id="l00308" name="l00308"></a><span class="lineno"> 308</span>{</div>
<div class="foldopen" id="foldopen00309" data-start="{" data-end="};">
<div class="line"><a id="l00309" name="l00309"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html"> 309</a></span> <span class="keyword">struct </span><a class="code hl_struct" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html">BalanceChange</a></div>
<div class="line"><a id="l00310" name="l00310"></a><span class="lineno"> 310</span> {</div>
<div class="line"><a id="l00311" name="l00311"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a76465062378f6c914e7848258304d150"> 311</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span> <a class="code hl_variable" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a76465062378f6c914e7848258304d150">line</a>;</div>
<div class="line"><a id="l00312" name="l00312"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a62d1400964f877b9120cf039f78690cc"> 312</a></span> <span class="keywordtype">int</span> <span class="keyword">const</span> <a class="code hl_variable" href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a62d1400964f877b9120cf039f78690cc">balanceChangeSign</a>;</div>
<div class="line"><a id="l00313" name="l00313"></a><span class="lineno"> 313</span> };</div>
</div>
<div class="line"><a id="l00314" name="l00314"></a><span class="lineno"> 314</span> </div>
<div class="foldopen" id="foldopen00315" data-start="{" data-end="};">
<div class="line"><a id="l00315" name="l00315"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html"> 315</a></span> <span class="keyword">struct </span><a class="code hl_struct" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html">IssuerChanges</a></div>
<div class="line"><a id="l00316" name="l00316"></a><span class="lineno"> 316</span> {</div>
<div class="line"><a id="l00317" name="l00317"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a0e06ad087af1813be10702de16407a0a"> 317</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector&lt;BalanceChange&gt;</a> <a class="code hl_variable" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a0e06ad087af1813be10702de16407a0a">senders</a>;</div>
<div class="line"><a id="l00318" name="l00318"></a><span class="lineno"><a class="line" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a04ec7c5754c2781c4e3cf83add71cc9d"> 318</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector&lt;BalanceChange&gt;</a> <a class="code hl_variable" href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a04ec7c5754c2781c4e3cf83add71cc9d">receivers</a>;</div>
<div class="line"><a id="l00319" name="l00319"></a><span class="lineno"> 319</span> };</div>
</div>
<div class="line"><a id="l00320" name="l00320"></a><span class="lineno"> 320</span> </div>
<div class="line"><a id="l00321" name="l00321"></a><span class="lineno"><a class="line" href="classripple_1_1TransfersNotFrozen.html#a27b6d2748128a1f53e7faf55262db050"> 321</a></span> <span class="keyword">using </span><a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/map.html">ByIssuer</a> = <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/map.html">std::map&lt;Issue, IssuerChanges&gt;</a>;</div>
<div class="line"><a id="l00322" name="l00322"></a><span class="lineno"><a class="line" href="classripple_1_1TransfersNotFrozen.html#a958eb5fc4660b4442f0c80480f19285a"> 322</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/container/map.html">ByIssuer</a> <a class="code hl_variable" href="classripple_1_1TransfersNotFrozen.html#a958eb5fc4660b4442f0c80480f19285a">balanceChanges_</a>;</div>
@@ -367,7 +395,9 @@ $(function() {
<div class="line"><a id="l00378" name="l00378"></a><span class="lineno"> 378</span> <span class="keywordtype">bool</span> enforce,</div>
<div class="line"><a id="l00379" name="l00379"></a><span class="lineno"> 379</span> <span class="keywordtype">bool</span> globalFreeze);</div>
<div class="line"><a id="l00380" name="l00380"></a><span class="lineno"> 380</span>};</div>
</div>
<div class="line"><a id="l00381" name="l00381"></a><span class="lineno"> 381</span> </div>
<div class="foldopen" id="foldopen00389" data-start="{" data-end="};">
<div class="line"><a id="l00389" name="l00389"></a><span class="lineno"><a class="line" href="classripple_1_1NoBadOffers.html"> 389</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1NoBadOffers.html">NoBadOffers</a></div>
<div class="line"><a id="l00390" name="l00390"></a><span class="lineno"> 390</span>{</div>
<div class="line"><a id="l00391" name="l00391"></a><span class="lineno"><a class="line" href="classripple_1_1NoBadOffers.html#aa6e56a79b8dfcb8c2a0bee964746acb4"> 391</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1NoBadOffers.html#aa6e56a79b8dfcb8c2a0bee964746acb4">bad_</a> = <span class="keyword">false</span>;</div>
@@ -387,7 +417,9 @@ $(function() {
<div class="line"><a id="l00405" name="l00405"></a><span class="lineno"> 405</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00406" name="l00406"></a><span class="lineno"> 406</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00407" name="l00407"></a><span class="lineno"> 407</span>};</div>
</div>
<div class="line"><a id="l00408" name="l00408"></a><span class="lineno"> 408</span> </div>
<div class="foldopen" id="foldopen00413" data-start="{" data-end="};">
<div class="line"><a id="l00413" name="l00413"></a><span class="lineno"><a class="line" href="classripple_1_1NoZeroEscrow.html"> 413</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1NoZeroEscrow.html">NoZeroEscrow</a></div>
<div class="line"><a id="l00414" name="l00414"></a><span class="lineno"> 414</span>{</div>
<div class="line"><a id="l00415" name="l00415"></a><span class="lineno"><a class="line" href="classripple_1_1NoZeroEscrow.html#af61dd1f2df81b452d0e68b6f6b3147fc"> 415</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1NoZeroEscrow.html#af61dd1f2df81b452d0e68b6f6b3147fc">bad_</a> = <span class="keyword">false</span>;</div>
@@ -407,7 +439,9 @@ $(function() {
<div class="line"><a id="l00429" name="l00429"></a><span class="lineno"> 429</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00430" name="l00430"></a><span class="lineno"> 430</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00431" name="l00431"></a><span class="lineno"> 431</span>};</div>
</div>
<div class="line"><a id="l00432" name="l00432"></a><span class="lineno"> 432</span> </div>
<div class="foldopen" id="foldopen00438" data-start="{" data-end="};">
<div class="line"><a id="l00438" name="l00438"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNewAccountRoot.html"> 438</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidNewAccountRoot.html">ValidNewAccountRoot</a></div>
<div class="line"><a id="l00439" name="l00439"></a><span class="lineno"> 439</span>{</div>
<div class="line"><a id="l00440" name="l00440"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNewAccountRoot.html#a8d38d98fa92b004b8414b51b5b84bf37"> 440</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code hl_variable" href="classripple_1_1ValidNewAccountRoot.html#a8d38d98fa92b004b8414b51b5b84bf37">accountsCreated_</a> = 0;</div>
@@ -430,7 +464,9 @@ $(function() {
<div class="line"><a id="l00457" name="l00457"></a><span class="lineno"> 457</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00458" name="l00458"></a><span class="lineno"> 458</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00459" name="l00459"></a><span class="lineno"> 459</span>};</div>
</div>
<div class="line"><a id="l00460" name="l00460"></a><span class="lineno"> 460</span> </div>
<div class="foldopen" id="foldopen00472" data-start="{" data-end="};">
<div class="line"><a id="l00472" name="l00472"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html"> 472</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidNFTokenPage.html">ValidNFTokenPage</a></div>
<div class="line"><a id="l00473" name="l00473"></a><span class="lineno"> 473</span>{</div>
<div class="line"><a id="l00474" name="l00474"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662"> 474</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">badEntry_</a> = <span class="keyword">false</span>;</div>
@@ -456,7 +492,9 @@ $(function() {
<div class="line"><a id="l00494" name="l00494"></a><span class="lineno"> 494</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00495" name="l00495"></a><span class="lineno"> 495</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00496" name="l00496"></a><span class="lineno"> 496</span>};</div>
</div>
<div class="line"><a id="l00497" name="l00497"></a><span class="lineno"> 497</span> </div>
<div class="foldopen" id="foldopen00511" data-start="{" data-end="};">
<div class="line"><a id="l00511" name="l00511"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html"> 511</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1NFTokenCountTracking.html">NFTokenCountTracking</a></div>
<div class="line"><a id="l00512" name="l00512"></a><span class="lineno"> 512</span>{</div>
<div class="line"><a id="l00513" name="l00513"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a"> 513</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code hl_variable" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">beforeMintedTotal</a> = 0;</div>
@@ -479,7 +517,9 @@ $(function() {
<div class="line"><a id="l00530" name="l00530"></a><span class="lineno"> 530</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00531" name="l00531"></a><span class="lineno"> 531</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00532" name="l00532"></a><span class="lineno"> 532</span>};</div>
</div>
<div class="line"><a id="l00533" name="l00533"></a><span class="lineno"> 533</span> </div>
<div class="foldopen" id="foldopen00542" data-start="{" data-end="};">
<div class="line"><a id="l00542" name="l00542"></a><span class="lineno"><a class="line" href="classripple_1_1ValidClawback.html"> 542</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidClawback.html">ValidClawback</a></div>
<div class="line"><a id="l00543" name="l00543"></a><span class="lineno"> 543</span>{</div>
<div class="line"><a id="l00544" name="l00544"></a><span class="lineno"><a class="line" href="classripple_1_1ValidClawback.html#a7e2187c69fb0d79fdafae3f9f24baed9"> 544</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code hl_variable" href="classripple_1_1ValidClawback.html#a7e2187c69fb0d79fdafae3f9f24baed9">trustlinesChanged</a> = 0;</div>
@@ -500,7 +540,9 @@ $(function() {
<div class="line"><a id="l00559" name="l00559"></a><span class="lineno"> 559</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00560" name="l00560"></a><span class="lineno"> 560</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00561" name="l00561"></a><span class="lineno"> 561</span>};</div>
</div>
<div class="line"><a id="l00562" name="l00562"></a><span class="lineno"> 562</span> </div>
<div class="foldopen" id="foldopen00563" data-start="{" data-end="};">
<div class="line"><a id="l00563" name="l00563"></a><span class="lineno"><a class="line" href="classripple_1_1ValidMPTIssuance.html"> 563</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidMPTIssuance.html">ValidMPTIssuance</a></div>
<div class="line"><a id="l00564" name="l00564"></a><span class="lineno"> 564</span>{</div>
<div class="line"><a id="l00565" name="l00565"></a><span class="lineno"><a class="line" href="classripple_1_1ValidMPTIssuance.html#a26fba2183c672447750eb4e4eec20e3c"> 565</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code hl_variable" href="classripple_1_1ValidMPTIssuance.html#a26fba2183c672447750eb4e4eec20e3c">mptIssuancesCreated_</a> = 0;</div>
@@ -524,14 +566,18 @@ $(function() {
<div class="line"><a id="l00583" name="l00583"></a><span class="lineno"> 583</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00584" name="l00584"></a><span class="lineno"> 584</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00585" name="l00585"></a><span class="lineno"> 585</span>};</div>
</div>
<div class="line"><a id="l00586" name="l00586"></a><span class="lineno"> 586</span> </div>
<div class="foldopen" id="foldopen00597" data-start="{" data-end="};">
<div class="line"><a id="l00597" name="l00597"></a><span class="lineno"><a class="line" href="classripple_1_1ValidPermissionedDomain.html"> 597</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidPermissionedDomain.html">ValidPermissionedDomain</a></div>
<div class="line"><a id="l00598" name="l00598"></a><span class="lineno"> 598</span>{</div>
<div class="foldopen" id="foldopen00599" data-start="{" data-end="};">
<div class="line"><a id="l00599" name="l00599"></a><span class="lineno"><a class="line" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html"> 599</a></span> <span class="keyword">struct </span><a class="code hl_struct" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html">SleStatus</a></div>
<div class="line"><a id="l00600" name="l00600"></a><span class="lineno"> 600</span> {</div>
<div class="line"><a id="l00601" name="l00601"></a><span class="lineno"><a class="line" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a5853fcba2630334a1a46006dd33727ea"> 601</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/types/size_t.html">std::size_t</a> <a class="code hl_variable" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a5853fcba2630334a1a46006dd33727ea">credentialsSize_</a>{0};</div>
<div class="line"><a id="l00602" name="l00602"></a><span class="lineno"><a class="line" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a316c36c96373026d96b3fc24ef6fe32e"> 602</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a316c36c96373026d96b3fc24ef6fe32e">isSorted_</a> = <span class="keyword">false</span>, <a class="code hl_variable" href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#aa69c5bd7a62b0bbcb710f11635ababd7">isUnique_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a id="l00603" name="l00603"></a><span class="lineno"> 603</span> };</div>
</div>
<div class="line"><a id="l00604" name="l00604"></a><span class="lineno"><a class="line" href="classripple_1_1ValidPermissionedDomain.html#a2ad00ba42b348e1907ca22022285fdb9"> 604</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/utility/optional.html">std::optional&lt;SleStatus&gt;</a> <a class="code hl_variable" href="classripple_1_1ValidPermissionedDomain.html#a2ad00ba42b348e1907ca22022285fdb9">sleStatus_</a>[2];</div>
<div class="line"><a id="l00605" name="l00605"></a><span class="lineno"> 605</span> </div>
<div class="line"><a id="l00606" name="l00606"></a><span class="lineno"> 606</span><span class="keyword">public</span>:</div>
@@ -549,7 +595,9 @@ $(function() {
<div class="line"><a id="l00618" name="l00618"></a><span class="lineno"> 618</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00619" name="l00619"></a><span class="lineno"> 619</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00620" name="l00620"></a><span class="lineno"> 620</span>};</div>
</div>
<div class="line"><a id="l00621" name="l00621"></a><span class="lineno"> 621</span> </div>
<div class="foldopen" id="foldopen00622" data-start="{" data-end="};">
<div class="line"><a id="l00622" name="l00622"></a><span class="lineno"><a class="line" href="classripple_1_1ValidPermissionedDEX.html"> 622</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidPermissionedDEX.html">ValidPermissionedDEX</a></div>
<div class="line"><a id="l00623" name="l00623"></a><span class="lineno"> 623</span>{</div>
<div class="line"><a id="l00624" name="l00624"></a><span class="lineno"><a class="line" href="classripple_1_1ValidPermissionedDEX.html#a789c14d9473470d9a9d832986423e069"> 624</a></span> <span class="keywordtype">bool</span> <a class="code hl_variable" href="classripple_1_1ValidPermissionedDEX.html#a789c14d9473470d9a9d832986423e069">regularOffers_</a> = <span class="keyword">false</span>;</div>
@@ -571,7 +619,9 @@ $(function() {
<div class="line"><a id="l00640" name="l00640"></a><span class="lineno"> 640</span> <a class="code hl_class" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a id="l00641" name="l00641"></a><span class="lineno"> 641</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a id="l00642" name="l00642"></a><span class="lineno"> 642</span>};</div>
</div>
<div class="line"><a id="l00643" name="l00643"></a><span class="lineno"> 643</span> </div>
<div class="foldopen" id="foldopen00644" data-start="{" data-end="};">
<div class="line"><a id="l00644" name="l00644"></a><span class="lineno"><a class="line" href="classripple_1_1ValidAMM.html"> 644</a></span><span class="keyword">class </span><a class="code hl_class" href="classripple_1_1ValidAMM.html">ValidAMM</a></div>
<div class="line"><a id="l00645" name="l00645"></a><span class="lineno"> 645</span>{</div>
<div class="line"><a id="l00646" name="l00646"></a><span class="lineno"><a class="line" href="classripple_1_1ValidAMM.html#a772eff070600010631264093f2fe7241"> 646</a></span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/utility/optional.html">std::optional&lt;AccountID&gt;</a> <a class="code hl_variable" href="classripple_1_1ValidAMM.html#a772eff070600010631264093f2fe7241">ammAccount_</a>;</div>
@@ -582,9 +632,11 @@ $(function() {
<div class="line"><a id="l00651" name="l00651"></a><span class="lineno"> 651</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00652" name="l00652"></a><span class="lineno"><a class="line" href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154"> 652</a></span> <span class="keyword">enum class</span> <a class="code hl_enumeration" href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154">ZeroAllowed</a> : <span class="keywordtype">bool</span> { <a class="code hl_enumvalue" href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154abafd7322c6e97d25b6299b5d6fe8920b">No</a> = <span class="keyword">false</span>, <a class="code hl_enumvalue" href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154a93cba07454f06a4a960172bbd6e2a435">Yes</a> = <span class="keyword">true</span> };</div>
<div class="line"><a id="l00653" name="l00653"></a><span class="lineno"> 653</span> </div>
<div class="foldopen" id="foldopen00654" data-start="{" data-end="}">
<div class="line"><a id="l00654" name="l00654"></a><span class="lineno"><a class="line" href="classripple_1_1ValidAMM.html#a4ff96005ce67d1c76f446609e315e6ea"> 654</a></span> <a class="code hl_function" href="classripple_1_1ValidAMM.html#a4ff96005ce67d1c76f446609e315e6ea">ValidAMM</a>() : <a class="code hl_variable" href="classripple_1_1ValidAMM.html#a3575cb87e221377083ac11a74a26c505">ammPoolChanged_</a>{false}</div>
<div class="line"><a id="l00655" name="l00655"></a><span class="lineno"> 655</span> {</div>
<div class="line"><a id="l00656" name="l00656"></a><span class="lineno"> 656</span> }</div>
</div>
<div class="line"><a id="l00657" name="l00657"></a><span class="lineno"> 657</span> <span class="keywordtype">void</span></div>
<div class="line"><a id="l00658" name="l00658"></a><span class="lineno"> 658</span> <a class="code hl_function" href="classripple_1_1ValidAMM.html#a5e25d8a373352de97bf05859b1c2fcff">visitEntry</a>(</div>
<div class="line"><a id="l00659" name="l00659"></a><span class="lineno"> 659</span> <span class="keywordtype">bool</span>,</div>
@@ -634,6 +686,7 @@ $(function() {
<div class="line"><a id="l00703" name="l00703"></a><span class="lineno"> 703</span> <a class="code hl_enumeration" href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154">ZeroAllowed</a> zeroAllowed,</div>
<div class="line"><a id="l00704" name="l00704"></a><span class="lineno"> 704</span> <a class="code hl_class" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00705" name="l00705"></a><span class="lineno"> 705</span>};</div>
</div>
<div class="line"><a id="l00706" name="l00706"></a><span class="lineno"> 706</span> </div>
<div class="line"><a id="l00707" name="l00707"></a><span class="lineno"> 707</span><span class="comment">// additional invariant checks can be declared above and then added to this</span></div>
<div class="line"><a id="l00708" name="l00708"></a><span class="lineno"> 708</span><span class="comment">// tuple</span></div>
@@ -659,169 +712,171 @@ $(function() {
<div class="line"><a id="l00728" name="l00728"></a><span class="lineno"> 728</span> <a class="code hl_class" href="classripple_1_1ValidAMM.html">ValidAMM</a>&gt;;</div>
<div class="line"><a id="l00729" name="l00729"></a><span class="lineno"> 729</span> </div>
<div class="line"><a id="l00738" name="l00738"></a><span class="lineno"> 738</span><span class="keyword">inline</span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a></div>
<div class="foldopen" id="foldopen00739" data-start="{" data-end="}">
<div class="line"><a id="l00739" name="l00739"></a><span class="lineno"><a class="line" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6"> 739</a></span><a class="code hl_function" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">getInvariantChecks</a>()</div>
<div class="line"><a id="l00740" name="l00740"></a><span class="lineno"> 740</span>{</div>
<div class="line"><a id="l00741" name="l00741"></a><span class="lineno"> 741</span> <span class="keywordflow">return</span> <a class="code hl_classRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a>{};</div>
<div class="line"><a id="l00742" name="l00742"></a><span class="lineno"> 742</span>}</div>
</div>
<div class="line"><a id="l00743" name="l00743"></a><span class="lineno"> 743</span> </div>
<div class="line"><a id="l00744" name="l00744"></a><span class="lineno"> 744</span>} <span class="comment">// namespace ripple</span></div>
<div class="line"><a id="l00745" name="l00745"></a><span class="lineno"> 745</span> </div>
<div class="line"><a id="l00746" name="l00746"></a><span class="lineno"> 746</span><span class="preprocessor">#endif</span></div>
<div class="ttc" id="aclassbeast_1_1Journal_html"><div class="ttname"><a href="classbeast_1_1Journal.html">beast::Journal</a></div><div class="ttdoc">A generic endpoint for log messages.</div><div class="ttdef"><b>Definition:</b> <a href="Journal_8h_source.html#l00059">Journal.h:60</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html">ripple::AccountRootsDeletedClean</a></div><div class="ttdoc">Invariant: a deleted account must not have any objects left.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00176">InvariantCheck.h:177</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_a15bc4ecdee698f74680dd8b153550bdb"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#a15bc4ecdee698f74680dd8b153550bdb">ripple::AccountRootsDeletedClean::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00417">InvariantCheck.cpp:417</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_a5ddee0e7936c0d3f07b8b96b5fb354ee"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#a5ddee0e7936c0d3f07b8b96b5fb354ee">ripple::AccountRootsDeletedClean::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00427">InvariantCheck.cpp:427</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_af536e4b061b995d3168cde99d45de2d8"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#af536e4b061b995d3168cde99d45de2d8">ripple::AccountRootsDeletedClean::accountsDeleted_</a></div><div class="ttdeci">std::vector&lt; std::shared_ptr&lt; SLE const &gt; &gt; accountsDeleted_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00178">InvariantCheck.h:178</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html">ripple::AccountRootsNotDeleted</a></div><div class="ttdoc">Invariant: we cannot remove an account ledger entry.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00146">InvariantCheck.h:147</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_aab913bd4238bdbb13afc782195771684"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#aab913bd4238bdbb13afc782195771684">ripple::AccountRootsNotDeleted::accountsDeleted_</a></div><div class="ttdeci">std::uint32_t accountsDeleted_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00148">InvariantCheck.h:148</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_ac9c56906acc63ad481ec55c5bed92320"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#ac9c56906acc63ad481ec55c5bed92320">ripple::AccountRootsNotDeleted::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00361">InvariantCheck.cpp:361</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_ad4ccbae41922569ec64610d9b7730af1"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#ad4ccbae41922569ec64610d9b7730af1">ripple::AccountRootsNotDeleted::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00371">InvariantCheck.cpp:371</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html">ripple::InvariantChecker_PROTOTYPE</a></div><div class="ttdoc">Prototype for invariant check implementations.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00046">InvariantCheck.h:47</a></div></div>
<div class="ttc" id="aclassbeast_1_1Journal_html"><div class="ttname"><a href="classbeast_1_1Journal.html">beast::Journal</a></div><div class="ttdoc">A generic endpoint for log messages.</div><div class="ttdef"><b>Definition</b> <a href="Journal_8h_source.html#l00059">Journal.h:60</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html">ripple::AccountRootsDeletedClean</a></div><div class="ttdoc">Invariant: a deleted account must not have any objects left.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00176">InvariantCheck.h:177</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_a15bc4ecdee698f74680dd8b153550bdb"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#a15bc4ecdee698f74680dd8b153550bdb">ripple::AccountRootsDeletedClean::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00417">InvariantCheck.cpp:417</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_a5ddee0e7936c0d3f07b8b96b5fb354ee"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#a5ddee0e7936c0d3f07b8b96b5fb354ee">ripple::AccountRootsDeletedClean::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00427">InvariantCheck.cpp:427</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsDeletedClean_html_af536e4b061b995d3168cde99d45de2d8"><div class="ttname"><a href="classripple_1_1AccountRootsDeletedClean.html#af536e4b061b995d3168cde99d45de2d8">ripple::AccountRootsDeletedClean::accountsDeleted_</a></div><div class="ttdeci">std::vector&lt; std::shared_ptr&lt; SLE const &gt; &gt; accountsDeleted_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00178">InvariantCheck.h:178</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html">ripple::AccountRootsNotDeleted</a></div><div class="ttdoc">Invariant: we cannot remove an account ledger entry.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00146">InvariantCheck.h:147</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_aab913bd4238bdbb13afc782195771684"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#aab913bd4238bdbb13afc782195771684">ripple::AccountRootsNotDeleted::accountsDeleted_</a></div><div class="ttdeci">std::uint32_t accountsDeleted_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00148">InvariantCheck.h:148</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_ac9c56906acc63ad481ec55c5bed92320"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#ac9c56906acc63ad481ec55c5bed92320">ripple::AccountRootsNotDeleted::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00361">InvariantCheck.cpp:361</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_ad4ccbae41922569ec64610d9b7730af1"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#ad4ccbae41922569ec64610d9b7730af1">ripple::AccountRootsNotDeleted::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00371">InvariantCheck.cpp:371</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html">ripple::InvariantChecker_PROTOTYPE</a></div><div class="ttdoc">Prototype for invariant check implementations.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00046">InvariantCheck.h:47</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a410221cb18ad5ae75d53a27411589eb9"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a410221cb18ad5ae75d53a27411589eb9">ripple::InvariantChecker_PROTOTYPE::visitEntry</a></div><div class="ttdeci">void visitEntry(bool isDelete, std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after)</div><div class="ttdoc">called for each ledger entry in the current transaction.</div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a445a0f690613a858e30cc85fe4f0c068"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a445a0f690613a858e30cc85fe4f0c068">ripple::InvariantChecker_PROTOTYPE::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;tx, TER const tec, XRPAmount const fee, ReadView const &amp;view, beast::Journal const &amp;j)</div><div class="ttdoc">called after all ledger entries have been visited to determine the final status of the check</div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a6e27c3f5b5f8d7576af7687873ba6890"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a6e27c3f5b5f8d7576af7687873ba6890">ripple::InvariantChecker_PROTOTYPE::InvariantChecker_PROTOTYPE</a></div><div class="ttdeci">InvariantChecker_PROTOTYPE()=default</div></div>
<div class="ttc" id="aclassripple_1_1Issue_html"><div class="ttname"><a href="classripple_1_1Issue.html">ripple::Issue</a></div><div class="ttdoc">A currency issued by an account.</div><div class="ttdef"><b>Definition:</b> <a href="Issue_8h_source.html#l00032">Issue.h:33</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html">ripple::LedgerEntryTypesMatch</a></div><div class="ttdoc">Invariant: corresponding modified ledger entries should match in type and added entries should be a v...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00227">InvariantCheck.h:228</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a02b2eb57dd2b4de9b16ff8f3869f1634"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a02b2eb57dd2b4de9b16ff8f3869f1634">ripple::LedgerEntryTypesMatch::invalidTypeAdded_</a></div><div class="ttdeci">bool invalidTypeAdded_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00230">InvariantCheck.h:230</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a36cdca4c6f0080c2d439197382caad1b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a36cdca4c6f0080c2d439197382caad1b">ripple::LedgerEntryTypesMatch::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00506">InvariantCheck.cpp:506</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a5e34cbf42f7065e304e55b483ca1976b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a5e34cbf42f7065e304e55b483ca1976b">ripple::LedgerEntryTypesMatch::typeMismatch_</a></div><div class="ttdeci">bool typeMismatch_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00229">InvariantCheck.h:229</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a8bd0465e5d8b43545afef7a256b29ba1"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a8bd0465e5d8b43545afef7a256b29ba1">ripple::LedgerEntryTypesMatch::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00555">InvariantCheck.cpp:555</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html">ripple::NFTokenCountTracking</a></div><div class="ttdoc">Invariant: Validates counts of NFTokens after all transaction types.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00511">InvariantCheck.h:512</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a19ef438f8da5f31136bf8b6e38399375"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">ripple::NFTokenCountTracking::afterMintedTotal</a></div><div class="ttdeci">std::uint32_t afterMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00515">InvariantCheck.h:515</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a2daba8debc363d4af0b30dbdc149aa91"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a2daba8debc363d4af0b30dbdc149aa91">ripple::NFTokenCountTracking::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01201">InvariantCheck.cpp:1201</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a52f1fceb89d454f4434a33d2286f4e22"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">ripple::NFTokenCountTracking::afterBurnedTotal</a></div><div class="ttdeci">std::uint32_t afterBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00516">InvariantCheck.h:516</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a601df47e97a991badedf492e4b73e4bc"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a601df47e97a991badedf492e4b73e4bc">ripple::NFTokenCountTracking::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01182">InvariantCheck.cpp:1182</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_ad24c33ca52f155408eff63e33ecd4862"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">ripple::NFTokenCountTracking::beforeBurnedTotal</a></div><div class="ttdeci">std::uint32_t beforeBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00514">InvariantCheck.h:514</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_af77964e7d6514639da668dca0b52e94a"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">ripple::NFTokenCountTracking::beforeMintedTotal</a></div><div class="ttdeci">std::uint32_t beforeMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00513">InvariantCheck.h:513</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html"><div class="ttname"><a href="classripple_1_1NoBadOffers.html">ripple::NoBadOffers</a></div><div class="ttdoc">Invariant: offers should be for non-negative amounts and must not be XRP to XRP.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00389">InvariantCheck.h:390</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a298674358a45f3dc26b82771928a3e0d"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a298674358a45f3dc26b82771928a3e0d">ripple::NoBadOffers::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00224">InvariantCheck.cpp:224</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a5a65f2a7289cfa8a5bcb7ae1ce222053"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a5a65f2a7289cfa8a5bcb7ae1ce222053">ripple::NoBadOffers::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00249">InvariantCheck.cpp:249</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_aa6e56a79b8dfcb8c2a0bee964746acb4"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#aa6e56a79b8dfcb8c2a0bee964746acb4">ripple::NoBadOffers::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00391">InvariantCheck.h:391</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html">ripple::NoDeepFreezeTrustLinesWithoutFreeze</a></div><div class="ttdoc">Invariant: Trust lines with deep freeze flag are not allowed if normal freeze flag is not set.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00281">InvariantCheck.h:282</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_a50f66ac35592daa4ef730d8a7e4bd787"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a50f66ac35592daa4ef730d8a7e4bd787">ripple::NoDeepFreezeTrustLinesWithoutFreeze::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00615">InvariantCheck.cpp:615</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_a6051f5cb3649968d2f76ba001e901576"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a6051f5cb3649968d2f76ba001e901576">ripple::NoDeepFreezeTrustLinesWithoutFreeze::deepFreezeWithoutFreeze_</a></div><div class="ttdeci">bool deepFreezeWithoutFreeze_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00283">InvariantCheck.h:283</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_aa8d401a74cba0186379a932c1666e7d3"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#aa8d401a74cba0186379a932c1666e7d3">ripple::NoDeepFreezeTrustLinesWithoutFreeze::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00635">InvariantCheck.cpp:635</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html">ripple::NoXRPTrustLines</a></div><div class="ttdoc">Invariant: Trust lines using XRP are not allowed.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00254">InvariantCheck.h:255</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_a2862dab9c386c9d07af0d5101997c9bf"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#a2862dab9c386c9d07af0d5101997c9bf">ripple::NoXRPTrustLines::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00598">InvariantCheck.cpp:598</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_a47eaa36a43a5b46071870cf0e2790fa3"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#a47eaa36a43a5b46071870cf0e2790fa3">ripple::NoXRPTrustLines::xrpTrustLine_</a></div><div class="ttdeci">bool xrpTrustLine_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00256">InvariantCheck.h:256</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_ac6e7394e744edb616917087be5576873"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#ac6e7394e744edb616917087be5576873">ripple::NoXRPTrustLines::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00581">InvariantCheck.cpp:581</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html">ripple::NoZeroEscrow</a></div><div class="ttdoc">Invariant: an escrow entry must take a value between 0 and INITIAL_XRP drops exclusive.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00413">InvariantCheck.h:414</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_a6415fd2672914617dd5c4314f6cd791a"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#a6415fd2672914617dd5c4314f6cd791a">ripple::NoZeroEscrow::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00268">InvariantCheck.cpp:268</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_acf5f8eea9716760dc7e1e4750af9bc91"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#acf5f8eea9716760dc7e1e4750af9bc91">ripple::NoZeroEscrow::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00342">InvariantCheck.cpp:342</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_af61dd1f2df81b452d0e68b6f6b3147fc"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#af61dd1f2df81b452d0e68b6f6b3147fc">ripple::NoZeroEscrow::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00415">InvariantCheck.h:415</a></div></div>
<div class="ttc" id="aclassripple_1_1ReadView_html"><div class="ttname"><a href="classripple_1_1ReadView.html">ripple::ReadView</a></div><div class="ttdoc">A view into a ledger.</div><div class="ttdef"><b>Definition:</b> <a href="ReadView_8h_source.html#l00051">ReadView.h:52</a></div></div>
<div class="ttc" id="aclassripple_1_1STAmount_html"><div class="ttname"><a href="classripple_1_1STAmount.html">ripple::STAmount</a></div><div class="ttdef"><b>Definition:</b> <a href="STAmount_8h_source.html#l00049">STAmount.h:50</a></div></div>
<div class="ttc" id="aclassripple_1_1STTx_html"><div class="ttname"><a href="classripple_1_1STTx.html">ripple::STTx</a></div><div class="ttdef"><b>Definition:</b> <a href="STTx_8h_source.html#l00047">STTx.h:48</a></div></div>
<div class="ttc" id="aclassripple_1_1Issue_html"><div class="ttname"><a href="classripple_1_1Issue.html">ripple::Issue</a></div><div class="ttdoc">A currency issued by an account.</div><div class="ttdef"><b>Definition</b> <a href="Issue_8h_source.html#l00032">Issue.h:33</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html">ripple::LedgerEntryTypesMatch</a></div><div class="ttdoc">Invariant: corresponding modified ledger entries should match in type and added entries should be a v...</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00227">InvariantCheck.h:228</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a02b2eb57dd2b4de9b16ff8f3869f1634"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a02b2eb57dd2b4de9b16ff8f3869f1634">ripple::LedgerEntryTypesMatch::invalidTypeAdded_</a></div><div class="ttdeci">bool invalidTypeAdded_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00230">InvariantCheck.h:230</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a36cdca4c6f0080c2d439197382caad1b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a36cdca4c6f0080c2d439197382caad1b">ripple::LedgerEntryTypesMatch::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00506">InvariantCheck.cpp:506</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a5e34cbf42f7065e304e55b483ca1976b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a5e34cbf42f7065e304e55b483ca1976b">ripple::LedgerEntryTypesMatch::typeMismatch_</a></div><div class="ttdeci">bool typeMismatch_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00229">InvariantCheck.h:229</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a8bd0465e5d8b43545afef7a256b29ba1"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a8bd0465e5d8b43545afef7a256b29ba1">ripple::LedgerEntryTypesMatch::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00555">InvariantCheck.cpp:555</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html">ripple::NFTokenCountTracking</a></div><div class="ttdoc">Invariant: Validates counts of NFTokens after all transaction types.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00511">InvariantCheck.h:512</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a19ef438f8da5f31136bf8b6e38399375"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">ripple::NFTokenCountTracking::afterMintedTotal</a></div><div class="ttdeci">std::uint32_t afterMintedTotal</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00515">InvariantCheck.h:515</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a2daba8debc363d4af0b30dbdc149aa91"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a2daba8debc363d4af0b30dbdc149aa91">ripple::NFTokenCountTracking::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01201">InvariantCheck.cpp:1201</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a52f1fceb89d454f4434a33d2286f4e22"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">ripple::NFTokenCountTracking::afterBurnedTotal</a></div><div class="ttdeci">std::uint32_t afterBurnedTotal</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00516">InvariantCheck.h:516</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a601df47e97a991badedf492e4b73e4bc"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a601df47e97a991badedf492e4b73e4bc">ripple::NFTokenCountTracking::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01182">InvariantCheck.cpp:1182</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_ad24c33ca52f155408eff63e33ecd4862"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">ripple::NFTokenCountTracking::beforeBurnedTotal</a></div><div class="ttdeci">std::uint32_t beforeBurnedTotal</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00514">InvariantCheck.h:514</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_af77964e7d6514639da668dca0b52e94a"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">ripple::NFTokenCountTracking::beforeMintedTotal</a></div><div class="ttdeci">std::uint32_t beforeMintedTotal</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00513">InvariantCheck.h:513</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html"><div class="ttname"><a href="classripple_1_1NoBadOffers.html">ripple::NoBadOffers</a></div><div class="ttdoc">Invariant: offers should be for non-negative amounts and must not be XRP to XRP.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00389">InvariantCheck.h:390</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a298674358a45f3dc26b82771928a3e0d"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a298674358a45f3dc26b82771928a3e0d">ripple::NoBadOffers::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00224">InvariantCheck.cpp:224</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a5a65f2a7289cfa8a5bcb7ae1ce222053"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a5a65f2a7289cfa8a5bcb7ae1ce222053">ripple::NoBadOffers::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00249">InvariantCheck.cpp:249</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_aa6e56a79b8dfcb8c2a0bee964746acb4"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#aa6e56a79b8dfcb8c2a0bee964746acb4">ripple::NoBadOffers::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00391">InvariantCheck.h:391</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html">ripple::NoDeepFreezeTrustLinesWithoutFreeze</a></div><div class="ttdoc">Invariant: Trust lines with deep freeze flag are not allowed if normal freeze flag is not set.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00281">InvariantCheck.h:282</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_a50f66ac35592daa4ef730d8a7e4bd787"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a50f66ac35592daa4ef730d8a7e4bd787">ripple::NoDeepFreezeTrustLinesWithoutFreeze::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00615">InvariantCheck.cpp:615</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_a6051f5cb3649968d2f76ba001e901576"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#a6051f5cb3649968d2f76ba001e901576">ripple::NoDeepFreezeTrustLinesWithoutFreeze::deepFreezeWithoutFreeze_</a></div><div class="ttdeci">bool deepFreezeWithoutFreeze_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00283">InvariantCheck.h:283</a></div></div>
<div class="ttc" id="aclassripple_1_1NoDeepFreezeTrustLinesWithoutFreeze_html_aa8d401a74cba0186379a932c1666e7d3"><div class="ttname"><a href="classripple_1_1NoDeepFreezeTrustLinesWithoutFreeze.html#aa8d401a74cba0186379a932c1666e7d3">ripple::NoDeepFreezeTrustLinesWithoutFreeze::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00635">InvariantCheck.cpp:635</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html">ripple::NoXRPTrustLines</a></div><div class="ttdoc">Invariant: Trust lines using XRP are not allowed.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00254">InvariantCheck.h:255</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_a2862dab9c386c9d07af0d5101997c9bf"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#a2862dab9c386c9d07af0d5101997c9bf">ripple::NoXRPTrustLines::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00598">InvariantCheck.cpp:598</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_a47eaa36a43a5b46071870cf0e2790fa3"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#a47eaa36a43a5b46071870cf0e2790fa3">ripple::NoXRPTrustLines::xrpTrustLine_</a></div><div class="ttdeci">bool xrpTrustLine_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00256">InvariantCheck.h:256</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_ac6e7394e744edb616917087be5576873"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#ac6e7394e744edb616917087be5576873">ripple::NoXRPTrustLines::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00581">InvariantCheck.cpp:581</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html">ripple::NoZeroEscrow</a></div><div class="ttdoc">Invariant: an escrow entry must take a value between 0 and INITIAL_XRP drops exclusive.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00413">InvariantCheck.h:414</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_a6415fd2672914617dd5c4314f6cd791a"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#a6415fd2672914617dd5c4314f6cd791a">ripple::NoZeroEscrow::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00268">InvariantCheck.cpp:268</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_acf5f8eea9716760dc7e1e4750af9bc91"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#acf5f8eea9716760dc7e1e4750af9bc91">ripple::NoZeroEscrow::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00342">InvariantCheck.cpp:342</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_af61dd1f2df81b452d0e68b6f6b3147fc"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#af61dd1f2df81b452d0e68b6f6b3147fc">ripple::NoZeroEscrow::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00415">InvariantCheck.h:415</a></div></div>
<div class="ttc" id="aclassripple_1_1ReadView_html"><div class="ttname"><a href="classripple_1_1ReadView.html">ripple::ReadView</a></div><div class="ttdoc">A view into a ledger.</div><div class="ttdef"><b>Definition</b> <a href="ReadView_8h_source.html#l00051">ReadView.h:52</a></div></div>
<div class="ttc" id="aclassripple_1_1STAmount_html"><div class="ttname"><a href="classripple_1_1STAmount.html">ripple::STAmount</a></div><div class="ttdef"><b>Definition</b> <a href="STAmount_8h_source.html#l00049">STAmount.h:50</a></div></div>
<div class="ttc" id="aclassripple_1_1STTx_html"><div class="ttname"><a href="classripple_1_1STTx.html">ripple::STTx</a></div><div class="ttdef"><b>Definition</b> <a href="STTx_8h_source.html#l00047">STTx.h:48</a></div></div>
<div class="ttc" id="aclassripple_1_1TERSubset_html"><div class="ttname"><a href="classripple_1_1TERSubset.html">ripple::TERSubset&lt; CanCvtToTER &gt;</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html">ripple::TransactionFeeCheck</a></div><div class="ttdoc">Invariant: We should never charge a transaction a negative fee or a fee that is larger than what the ...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00092">InvariantCheck.h:93</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html_a264923a4554dc24eaec0cd80c9be9c44"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html#a264923a4554dc24eaec0cd80c9be9c44">ripple::TransactionFeeCheck::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00040">InvariantCheck.cpp:40</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html_ac4519bf4df5f840ecc4c92beb06de582"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html#ac4519bf4df5f840ecc4c92beb06de582">ripple::TransactionFeeCheck::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00049">InvariantCheck.cpp:49</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html">ripple::TransfersNotFrozen</a></div><div class="ttdoc">Invariant: frozen trust line balance change is not allowed.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00307">InvariantCheck.h:308</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a175ba681a2dc2c0050d2bfc94f07beff"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a175ba681a2dc2c0050d2bfc94f07beff">ripple::TransfersNotFrozen::possibleIssuers_</a></div><div class="ttdeci">std::map&lt; AccountID, std::shared_ptr&lt; SLE const &gt; const &gt; possibleIssuers_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00324">InvariantCheck.h:324</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a183eece7452f3de380c2d9b6955a78b8"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a183eece7452f3de380c2d9b6955a78b8">ripple::TransfersNotFrozen::isValidEntry</a></div><div class="ttdeci">bool isValidEntry(std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00737">InvariantCheck.cpp:737</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a3d16a06989ce3255ca6a1a72f7fdf289"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a3d16a06989ce3255ca6a1a72f7fdf289">ripple::TransfersNotFrozen::recordBalance</a></div><div class="ttdeci">void recordBalance(Issue const &amp;issue, BalanceChange change)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00795">InvariantCheck.cpp:795</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a59198eab70737df521137a65b705da24"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a59198eab70737df521137a65b705da24">ripple::TransfersNotFrozen::findIssuer</a></div><div class="ttdeci">std::shared_ptr&lt; SLE const &gt; findIssuer(AccountID const &amp;issuerID, ReadView const &amp;view)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00828">InvariantCheck.cpp:828</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a5ae71ac75edf4b0e7407af690239e737"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a5ae71ac75edf4b0e7407af690239e737">ripple::TransfersNotFrozen::validateIssuerChanges</a></div><div class="ttdeci">bool validateIssuerChanges(std::shared_ptr&lt; SLE const &gt; const &amp;issuer, IssuerChanges const &amp;changes, STTx const &amp;tx, beast::Journal const &amp;j, bool enforce)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00839">InvariantCheck.cpp:839</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a6dba25ad381e147b109c6c1052ed14ee"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a6dba25ad381e147b109c6c1052ed14ee">ripple::TransfersNotFrozen::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00683">InvariantCheck.cpp:683</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a8ddbeaaeb7db0580dd5e4c3dbe3690d4"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a8ddbeaaeb7db0580dd5e4c3dbe3690d4">ripple::TransfersNotFrozen::calculateBalanceChange</a></div><div class="ttdeci">STAmount calculateBalanceChange(std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after, bool isDelete)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00766">InvariantCheck.cpp:766</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a958eb5fc4660b4442f0c80480f19285a"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a958eb5fc4660b4442f0c80480f19285a">ripple::TransfersNotFrozen::balanceChanges_</a></div><div class="ttdeci">ByIssuer balanceChanges_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00322">InvariantCheck.h:322</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a9a9f505d2f38b93faf10fc2c28314c73"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a9a9f505d2f38b93faf10fc2c28314c73">ripple::TransfersNotFrozen::recordBalanceChanges</a></div><div class="ttdeci">void recordBalanceChanges(std::shared_ptr&lt; SLE const &gt; const &amp;after, STAmount const &amp;balanceChange)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00809">InvariantCheck.cpp:809</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_ac75a0b46eaeb44c654f0bbce9e042c48"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#ac75a0b46eaeb44c654f0bbce9e042c48">ripple::TransfersNotFrozen::validateFrozenState</a></div><div class="ttdeci">bool validateFrozenState(BalanceChange const &amp;change, bool high, STTx const &amp;tx, beast::Journal const &amp;j, bool enforce, bool globalFreeze)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00882">InvariantCheck.cpp:882</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_adc3f91602d64e7dc4946bd3cbe1dd035"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#adc3f91602d64e7dc4946bd3cbe1dd035">ripple::TransfersNotFrozen::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00653">InvariantCheck.cpp:653</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html"><div class="ttname"><a href="classripple_1_1ValidAMM.html">ripple::ValidAMM</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00644">InvariantCheck.h:645</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a02646c3110d170ec3c7e3d03b6e91154"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154">ripple::ValidAMM::ZeroAllowed</a></div><div class="ttdeci">ZeroAllowed</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00652">InvariantCheck.h:652</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html">ripple::TransactionFeeCheck</a></div><div class="ttdoc">Invariant: We should never charge a transaction a negative fee or a fee that is larger than what the ...</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00092">InvariantCheck.h:93</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html_a264923a4554dc24eaec0cd80c9be9c44"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html#a264923a4554dc24eaec0cd80c9be9c44">ripple::TransactionFeeCheck::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00040">InvariantCheck.cpp:40</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html_ac4519bf4df5f840ecc4c92beb06de582"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html#ac4519bf4df5f840ecc4c92beb06de582">ripple::TransactionFeeCheck::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00049">InvariantCheck.cpp:49</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html">ripple::TransfersNotFrozen</a></div><div class="ttdoc">Invariant: frozen trust line balance change is not allowed.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00307">InvariantCheck.h:308</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a175ba681a2dc2c0050d2bfc94f07beff"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a175ba681a2dc2c0050d2bfc94f07beff">ripple::TransfersNotFrozen::possibleIssuers_</a></div><div class="ttdeci">std::map&lt; AccountID, std::shared_ptr&lt; SLE const &gt; const &gt; possibleIssuers_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00324">InvariantCheck.h:324</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a183eece7452f3de380c2d9b6955a78b8"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a183eece7452f3de380c2d9b6955a78b8">ripple::TransfersNotFrozen::isValidEntry</a></div><div class="ttdeci">bool isValidEntry(std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00737">InvariantCheck.cpp:737</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a3d16a06989ce3255ca6a1a72f7fdf289"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a3d16a06989ce3255ca6a1a72f7fdf289">ripple::TransfersNotFrozen::recordBalance</a></div><div class="ttdeci">void recordBalance(Issue const &amp;issue, BalanceChange change)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00795">InvariantCheck.cpp:795</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a59198eab70737df521137a65b705da24"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a59198eab70737df521137a65b705da24">ripple::TransfersNotFrozen::findIssuer</a></div><div class="ttdeci">std::shared_ptr&lt; SLE const &gt; findIssuer(AccountID const &amp;issuerID, ReadView const &amp;view)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00828">InvariantCheck.cpp:828</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a5ae71ac75edf4b0e7407af690239e737"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a5ae71ac75edf4b0e7407af690239e737">ripple::TransfersNotFrozen::validateIssuerChanges</a></div><div class="ttdeci">bool validateIssuerChanges(std::shared_ptr&lt; SLE const &gt; const &amp;issuer, IssuerChanges const &amp;changes, STTx const &amp;tx, beast::Journal const &amp;j, bool enforce)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00839">InvariantCheck.cpp:839</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a6dba25ad381e147b109c6c1052ed14ee"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a6dba25ad381e147b109c6c1052ed14ee">ripple::TransfersNotFrozen::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00683">InvariantCheck.cpp:683</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a8ddbeaaeb7db0580dd5e4c3dbe3690d4"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a8ddbeaaeb7db0580dd5e4c3dbe3690d4">ripple::TransfersNotFrozen::calculateBalanceChange</a></div><div class="ttdeci">STAmount calculateBalanceChange(std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after, bool isDelete)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00766">InvariantCheck.cpp:766</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a958eb5fc4660b4442f0c80480f19285a"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a958eb5fc4660b4442f0c80480f19285a">ripple::TransfersNotFrozen::balanceChanges_</a></div><div class="ttdeci">ByIssuer balanceChanges_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00322">InvariantCheck.h:322</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_a9a9f505d2f38b93faf10fc2c28314c73"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#a9a9f505d2f38b93faf10fc2c28314c73">ripple::TransfersNotFrozen::recordBalanceChanges</a></div><div class="ttdeci">void recordBalanceChanges(std::shared_ptr&lt; SLE const &gt; const &amp;after, STAmount const &amp;balanceChange)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00809">InvariantCheck.cpp:809</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_ac75a0b46eaeb44c654f0bbce9e042c48"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#ac75a0b46eaeb44c654f0bbce9e042c48">ripple::TransfersNotFrozen::validateFrozenState</a></div><div class="ttdeci">bool validateFrozenState(BalanceChange const &amp;change, bool high, STTx const &amp;tx, beast::Journal const &amp;j, bool enforce, bool globalFreeze)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00882">InvariantCheck.cpp:882</a></div></div>
<div class="ttc" id="aclassripple_1_1TransfersNotFrozen_html_adc3f91602d64e7dc4946bd3cbe1dd035"><div class="ttname"><a href="classripple_1_1TransfersNotFrozen.html#adc3f91602d64e7dc4946bd3cbe1dd035">ripple::TransfersNotFrozen::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00653">InvariantCheck.cpp:653</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html"><div class="ttname"><a href="classripple_1_1ValidAMM.html">ripple::ValidAMM</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00644">InvariantCheck.h:645</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a02646c3110d170ec3c7e3d03b6e91154"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154">ripple::ValidAMM::ZeroAllowed</a></div><div class="ttdeci">ZeroAllowed</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00652">InvariantCheck.h:652</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a02646c3110d170ec3c7e3d03b6e91154a93cba07454f06a4a960172bbd6e2a435"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154a93cba07454f06a4a960172bbd6e2a435">ripple::ValidAMM::ZeroAllowed::Yes</a></div><div class="ttdeci">@ Yes</div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a02646c3110d170ec3c7e3d03b6e91154abafd7322c6e97d25b6299b5d6fe8920b"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a02646c3110d170ec3c7e3d03b6e91154abafd7322c6e97d25b6299b5d6fe8920b">ripple::ValidAMM::ZeroAllowed::No</a></div><div class="ttdeci">@ No</div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a06a06235cded2a7325aea2af5fcd8814"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a06a06235cded2a7325aea2af5fcd8814">ripple::ValidAMM::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01985">InvariantCheck.cpp:1985</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a249f2a071df34f1361b17f11ce08c401"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a249f2a071df34f1361b17f11ce08c401">ripple::ValidAMM::finalizeWithdraw</a></div><div class="ttdeci">bool finalizeWithdraw(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01965">InvariantCheck.cpp:1965</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a2b6cef8bf320d2ba3deab49da6411e05"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a2b6cef8bf320d2ba3deab49da6411e05">ripple::ValidAMM::finalizeDEX</a></div><div class="ttdeci">bool finalizeDEX(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01883">InvariantCheck.cpp:1883</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a3575cb87e221377083ac11a74a26c505"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a3575cb87e221377083ac11a74a26c505">ripple::ValidAMM::ammPoolChanged_</a></div><div class="ttdeci">bool ammPoolChanged_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00649">InvariantCheck.h:649</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a4ff96005ce67d1c76f446609e315e6ea"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a4ff96005ce67d1c76f446609e315e6ea">ripple::ValidAMM::ValidAMM</a></div><div class="ttdeci">ValidAMM()</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00654">InvariantCheck.h:654</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a53702615ffa7b8193e3de5c1cdcb4e4a"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a53702615ffa7b8193e3de5c1cdcb4e4a">ripple::ValidAMM::lptAMMBalanceAfter_</a></div><div class="ttdeci">std::optional&lt; STAmount &gt; lptAMMBalanceAfter_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00647">InvariantCheck.h:647</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a5e25d8a373352de97bf05859b1c2fcff"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a5e25d8a373352de97bf05859b1c2fcff">ripple::ValidAMM::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01721">InvariantCheck.cpp:1721</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a6947ece2ba5e7733871f33d62b8bad54"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a6947ece2ba5e7733871f33d62b8bad54">ripple::ValidAMM::finalizeBid</a></div><div class="ttdeci">bool finalizeBid(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01793">InvariantCheck.cpp:1793</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a772eff070600010631264093f2fe7241"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a772eff070600010631264093f2fe7241">ripple::ValidAMM::ammAccount_</a></div><div class="ttdeci">std::optional&lt; AccountID &gt; ammAccount_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00646">InvariantCheck.h:646</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_aa5f3d2f4f64003715e7082064460ca7c"><div class="ttname"><a href="classripple_1_1ValidAMM.html#aa5f3d2f4f64003715e7082064460ca7c">ripple::ValidAMM::finalizeDelete</a></div><div class="ttdeci">bool finalizeDelete(bool enforce, TER res, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01865">InvariantCheck.cpp:1865</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_aba46069faf4417bbaff45bf65d50fa43"><div class="ttname"><a href="classripple_1_1ValidAMM.html#aba46069faf4417bbaff45bf65d50fa43">ripple::ValidAMM::finalizeCreate</a></div><div class="ttdeci">bool finalizeCreate(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01822">InvariantCheck.cpp:1822</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_ad6eccf30af133a4983809e3cf8c7e5a0"><div class="ttname"><a href="classripple_1_1ValidAMM.html#ad6eccf30af133a4983809e3cf8c7e5a0">ripple::ValidAMM::finalizeVote</a></div><div class="ttdeci">bool finalizeVote(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01774">InvariantCheck.cpp:1774</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_add72b831d2a3132b608dc89e29d251e0"><div class="ttname"><a href="classripple_1_1ValidAMM.html#add72b831d2a3132b608dc89e29d251e0">ripple::ValidAMM::finalizeDeposit</a></div><div class="ttdeci">bool finalizeDeposit(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01944">InvariantCheck.cpp:1944</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_ae859c751ca916fb28ec38462a33a990c"><div class="ttname"><a href="classripple_1_1ValidAMM.html#ae859c751ca916fb28ec38462a33a990c">ripple::ValidAMM::generalInvariant</a></div><div class="ttdeci">bool generalInvariant(STTx const &amp;, ReadView const &amp;, ZeroAllowed zeroAllowed, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01898">InvariantCheck.cpp:1898</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_afad11bb9c0dbd9158415cef6e65d72a2"><div class="ttname"><a href="classripple_1_1ValidAMM.html#afad11bb9c0dbd9158415cef6e65d72a2">ripple::ValidAMM::lptAMMBalanceBefore_</a></div><div class="ttdeci">std::optional&lt; STAmount &gt; lptAMMBalanceBefore_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00648">InvariantCheck.h:648</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html"><div class="ttname"><a href="classripple_1_1ValidClawback.html">ripple::ValidClawback</a></div><div class="ttdoc">Invariant: Token holder's trustline balance cannot be negative after Clawback.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00542">InvariantCheck.h:543</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a5e614f43f7cb0e11dfc2c4527c231be0"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a5e614f43f7cb0e11dfc2c4527c231be0">ripple::ValidClawback::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01289">InvariantCheck.cpp:1289</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a7e2187c69fb0d79fdafae3f9f24baed9"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a7e2187c69fb0d79fdafae3f9f24baed9">ripple::ValidClawback::trustlinesChanged</a></div><div class="ttdeci">std::uint32_t trustlinesChanged</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00544">InvariantCheck.h:544</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a7f4ae66a49513fa78d98df13aea2f9b5"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a7f4ae66a49513fa78d98df13aea2f9b5">ripple::ValidClawback::mptokensChanged</a></div><div class="ttdeci">std::uint32_t mptokensChanged</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00545">InvariantCheck.h:545</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_ae1743d3fcddc9394c99ff23a91baa353"><div class="ttname"><a href="classripple_1_1ValidClawback.html#ae1743d3fcddc9394c99ff23a91baa353">ripple::ValidClawback::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01302">InvariantCheck.cpp:1302</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html">ripple::ValidMPTIssuance</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00563">InvariantCheck.h:564</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a26fba2183c672447750eb4e4eec20e3c"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a26fba2183c672447750eb4e4eec20e3c">ripple::ValidMPTIssuance::mptIssuancesCreated_</a></div><div class="ttdeci">std::uint32_t mptIssuancesCreated_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00565">InvariantCheck.h:565</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a4558b199a7bd40300690bd1e2b1c75d1"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a4558b199a7bd40300690bd1e2b1c75d1">ripple::ValidMPTIssuance::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01367">InvariantCheck.cpp:1367</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a5d8eb39b0166951cecfd23f287f1bf76"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a5d8eb39b0166951cecfd23f287f1bf76">ripple::ValidMPTIssuance::mptokensCreated_</a></div><div class="ttdeci">std::uint32_t mptokensCreated_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00568">InvariantCheck.h:568</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a71240a32eb91d6944dfa750766e185e3"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a71240a32eb91d6944dfa750766e185e3">ripple::ValidMPTIssuance::mptIssuancesDeleted_</a></div><div class="ttdeci">std::uint32_t mptIssuancesDeleted_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00566">InvariantCheck.h:566</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a77927bb5434a28f8323c92d19c5ee1e8"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a77927bb5434a28f8323c92d19c5ee1e8">ripple::ValidMPTIssuance::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01390">InvariantCheck.cpp:1390</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_acafc2cd8b83296f221f6b0838390d762"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#acafc2cd8b83296f221f6b0838390d762">ripple::ValidMPTIssuance::mptokensDeleted_</a></div><div class="ttdeci">std::uint32_t mptokensDeleted_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00569">InvariantCheck.h:569</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html">ripple::ValidNFTokenPage</a></div><div class="ttdoc">Invariant: Validates several invariants for NFToken pages.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00472">InvariantCheck.h:473</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a26a8b25df06893e31e780c674a7dd025"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a26a8b25df06893e31e780c674a7dd025">ripple::ValidNFTokenPage::deletedFinalPage_</a></div><div class="ttdeci">bool deletedFinalPage_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00479">InvariantCheck.h:479</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a77d223ddeb402d859b67b109fe7f5376"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a77d223ddeb402d859b67b109fe7f5376">ripple::ValidNFTokenPage::deletedLink_</a></div><div class="ttdeci">bool deletedLink_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00480">InvariantCheck.h:480</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a7a5a99fe8658e2a2666ccae33539f662"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">ripple::ValidNFTokenPage::badEntry_</a></div><div class="ttdeci">bool badEntry_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00474">InvariantCheck.h:474</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a8d257e0b5fde0f4f2810ad3afdd052b1"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">ripple::ValidNFTokenPage::invalidSize_</a></div><div class="ttdeci">bool invalidSize_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00478">InvariantCheck.h:478</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_abe3ca9bc10170391c54d2458fe81ad1e"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">ripple::ValidNFTokenPage::badURI_</a></div><div class="ttdeci">bool badURI_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00477">InvariantCheck.h:477</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac62d97251ac3813d550fe11d5cd33642"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">ripple::ValidNFTokenPage::badSort_</a></div><div class="ttdeci">bool badSort_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00476">InvariantCheck.h:476</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac8b191d8882cac3ecaf3ab47650ed18b"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac8b191d8882cac3ecaf3ab47650ed18b">ripple::ValidNFTokenPage::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01018">InvariantCheck.cpp:1018</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aedafc736e929ed2f7e73d3ecfdaea336"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aedafc736e929ed2f7e73d3ecfdaea336">ripple::ValidNFTokenPage::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01125">InvariantCheck.cpp:1125</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aefc9e6916ce9a3bc7f8a68fd6790c738"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">ripple::ValidNFTokenPage::badLink_</a></div><div class="ttdeci">bool badLink_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00475">InvariantCheck.h:475</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html">ripple::ValidNewAccountRoot</a></div><div class="ttdoc">Invariant: a new account root must be the consequence of a payment, must have the right starting sequ...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00438">InvariantCheck.h:439</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a1356762586cd4fd2e294025d397d16c4"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a1356762586cd4fd2e294025d397d16c4">ripple::ValidNewAccountRoot::pseudoAccount_</a></div><div class="ttdeci">bool pseudoAccount_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00442">InvariantCheck.h:442</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a740634049ba95ba30b5d8a1e70a8e874"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a740634049ba95ba30b5d8a1e70a8e874">ripple::ValidNewAccountRoot::flags_</a></div><div class="ttdeci">std::uint32_t flags_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00443">InvariantCheck.h:443</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a8d38d98fa92b004b8414b51b5b84bf37"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a8d38d98fa92b004b8414b51b5b84bf37">ripple::ValidNewAccountRoot::accountsCreated_</a></div><div class="ttdeci">std::uint32_t accountsCreated_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00440">InvariantCheck.h:440</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ab9fab13b3ee2f99b7dd730d4bee54cb6"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ab9fab13b3ee2f99b7dd730d4bee54cb6">ripple::ValidNewAccountRoot::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00946">InvariantCheck.cpp:946</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ad7a129c4e5e2a27845d3bfcea9d65f57"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ad7a129c4e5e2a27845d3bfcea9d65f57">ripple::ValidNewAccountRoot::accountSeq_</a></div><div class="ttdeci">std::uint32_t accountSeq_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00441">InvariantCheck.h:441</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ae1f65001395bd02e6821430ca0a3457f"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ae1f65001395bd02e6821430ca0a3457f">ripple::ValidNewAccountRoot::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00931">InvariantCheck.cpp:931</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html">ripple::ValidPermissionedDEX</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00622">InvariantCheck.h:623</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a076cbf0cf674badecde211590894cf9d"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a076cbf0cf674badecde211590894cf9d">ripple::ValidPermissionedDEX::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01667">InvariantCheck.cpp:1667</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a4ca432e7b3891112136202fe54f9caa3"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a4ca432e7b3891112136202fe54f9caa3">ripple::ValidPermissionedDEX::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01638">InvariantCheck.cpp:1638</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a789c14d9473470d9a9d832986423e069"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a789c14d9473470d9a9d832986423e069">ripple::ValidPermissionedDEX::regularOffers_</a></div><div class="ttdeci">bool regularOffers_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00624">InvariantCheck.h:624</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_adee4ea4d29467bf4d90cfd47e4dc65a4"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#adee4ea4d29467bf4d90cfd47e4dc65a4">ripple::ValidPermissionedDEX::domains_</a></div><div class="ttdeci">hash_set&lt; uint256 &gt; domains_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00626">InvariantCheck.h:626</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_ae47cf7a269a95887724a0492869870f1"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#ae47cf7a269a95887724a0492869870f1">ripple::ValidPermissionedDEX::badHybrids_</a></div><div class="ttdeci">bool badHybrids_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00625">InvariantCheck.h:625</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html">ripple::ValidPermissionedDomain</a></div><div class="ttdoc">Invariants: Permissioned Domains must have some rules and AcceptedCredentials must have length betwee...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00597">InvariantCheck.h:598</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a2a5308be524a84862dddee3d07072c37"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a2a5308be524a84862dddee3d07072c37">ripple::ValidPermissionedDomain::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01539">InvariantCheck.cpp:1539</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a2ad00ba42b348e1907ca22022285fdb9"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a2ad00ba42b348e1907ca22022285fdb9">ripple::ValidPermissionedDomain::sleStatus_</a></div><div class="ttdeci">std::optional&lt; SleStatus &gt; sleStatus_[2]</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00604">InvariantCheck.h:604</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a85313633c324238644d48adeb651f368"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a85313633c324238644d48adeb651f368">ripple::ValidPermissionedDomain::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l01587">InvariantCheck.cpp:1587</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPAmount_html"><div class="ttname"><a href="classripple_1_1XRPAmount.html">ripple::XRPAmount</a></div><div class="ttdef"><b>Definition:</b> <a href="XRPAmount_8h_source.html#l00039">XRPAmount.h:43</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html">ripple::XRPBalanceChecks</a></div><div class="ttdoc">Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops,...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00203">InvariantCheck.h:204</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_a0b505e356180b127a71ecd9aa27a2076"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#a0b505e356180b127a71ecd9aa27a2076">ripple::XRPBalanceChecks::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00205">InvariantCheck.cpp:205</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_aa9807a563c543a40f75ef52659cd8692"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#aa9807a563c543a40f75ef52659cd8692">ripple::XRPBalanceChecks::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00205">InvariantCheck.h:205</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_afee02d705218098e2031c8362d8a58b4"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#afee02d705218098e2031c8362d8a58b4">ripple::XRPBalanceChecks::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00174">InvariantCheck.cpp:174</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html">ripple::XRPNotCreated</a></div><div class="ttdoc">Invariant: A transaction must not create XRP and should only destroy the XRP fee.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00118">InvariantCheck.h:119</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_a5666e79cabd15392100c936835f3a263"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#a5666e79cabd15392100c936835f3a263">ripple::XRPNotCreated::drops_</a></div><div class="ttdeci">std::int64_t drops_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00120">InvariantCheck.h:120</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_acf2afc81712280424390d02fb4e2275d"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#acf2afc81712280424390d02fb4e2275d">ripple::XRPNotCreated::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00088">InvariantCheck.cpp:88</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_af743b0758ac507e297c49dde6ccd9924"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#af743b0758ac507e297c49dde6ccd9924">ripple::XRPNotCreated::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00144">InvariantCheck.cpp:144</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a06a06235cded2a7325aea2af5fcd8814"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a06a06235cded2a7325aea2af5fcd8814">ripple::ValidAMM::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01985">InvariantCheck.cpp:1985</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a249f2a071df34f1361b17f11ce08c401"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a249f2a071df34f1361b17f11ce08c401">ripple::ValidAMM::finalizeWithdraw</a></div><div class="ttdeci">bool finalizeWithdraw(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01965">InvariantCheck.cpp:1965</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a2b6cef8bf320d2ba3deab49da6411e05"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a2b6cef8bf320d2ba3deab49da6411e05">ripple::ValidAMM::finalizeDEX</a></div><div class="ttdeci">bool finalizeDEX(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01883">InvariantCheck.cpp:1883</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a3575cb87e221377083ac11a74a26c505"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a3575cb87e221377083ac11a74a26c505">ripple::ValidAMM::ammPoolChanged_</a></div><div class="ttdeci">bool ammPoolChanged_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00649">InvariantCheck.h:649</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a4ff96005ce67d1c76f446609e315e6ea"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a4ff96005ce67d1c76f446609e315e6ea">ripple::ValidAMM::ValidAMM</a></div><div class="ttdeci">ValidAMM()</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00654">InvariantCheck.h:654</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a53702615ffa7b8193e3de5c1cdcb4e4a"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a53702615ffa7b8193e3de5c1cdcb4e4a">ripple::ValidAMM::lptAMMBalanceAfter_</a></div><div class="ttdeci">std::optional&lt; STAmount &gt; lptAMMBalanceAfter_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00647">InvariantCheck.h:647</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a5e25d8a373352de97bf05859b1c2fcff"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a5e25d8a373352de97bf05859b1c2fcff">ripple::ValidAMM::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01721">InvariantCheck.cpp:1721</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a6947ece2ba5e7733871f33d62b8bad54"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a6947ece2ba5e7733871f33d62b8bad54">ripple::ValidAMM::finalizeBid</a></div><div class="ttdeci">bool finalizeBid(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01793">InvariantCheck.cpp:1793</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_a772eff070600010631264093f2fe7241"><div class="ttname"><a href="classripple_1_1ValidAMM.html#a772eff070600010631264093f2fe7241">ripple::ValidAMM::ammAccount_</a></div><div class="ttdeci">std::optional&lt; AccountID &gt; ammAccount_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00646">InvariantCheck.h:646</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_aa5f3d2f4f64003715e7082064460ca7c"><div class="ttname"><a href="classripple_1_1ValidAMM.html#aa5f3d2f4f64003715e7082064460ca7c">ripple::ValidAMM::finalizeDelete</a></div><div class="ttdeci">bool finalizeDelete(bool enforce, TER res, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01865">InvariantCheck.cpp:1865</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_aba46069faf4417bbaff45bf65d50fa43"><div class="ttname"><a href="classripple_1_1ValidAMM.html#aba46069faf4417bbaff45bf65d50fa43">ripple::ValidAMM::finalizeCreate</a></div><div class="ttdeci">bool finalizeCreate(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01822">InvariantCheck.cpp:1822</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_ad6eccf30af133a4983809e3cf8c7e5a0"><div class="ttname"><a href="classripple_1_1ValidAMM.html#ad6eccf30af133a4983809e3cf8c7e5a0">ripple::ValidAMM::finalizeVote</a></div><div class="ttdeci">bool finalizeVote(bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01774">InvariantCheck.cpp:1774</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_add72b831d2a3132b608dc89e29d251e0"><div class="ttname"><a href="classripple_1_1ValidAMM.html#add72b831d2a3132b608dc89e29d251e0">ripple::ValidAMM::finalizeDeposit</a></div><div class="ttdeci">bool finalizeDeposit(STTx const &amp;, ReadView const &amp;, bool enforce, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01944">InvariantCheck.cpp:1944</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_ae859c751ca916fb28ec38462a33a990c"><div class="ttname"><a href="classripple_1_1ValidAMM.html#ae859c751ca916fb28ec38462a33a990c">ripple::ValidAMM::generalInvariant</a></div><div class="ttdeci">bool generalInvariant(STTx const &amp;, ReadView const &amp;, ZeroAllowed zeroAllowed, beast::Journal const &amp;) const</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01898">InvariantCheck.cpp:1898</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidAMM_html_afad11bb9c0dbd9158415cef6e65d72a2"><div class="ttname"><a href="classripple_1_1ValidAMM.html#afad11bb9c0dbd9158415cef6e65d72a2">ripple::ValidAMM::lptAMMBalanceBefore_</a></div><div class="ttdeci">std::optional&lt; STAmount &gt; lptAMMBalanceBefore_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00648">InvariantCheck.h:648</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html"><div class="ttname"><a href="classripple_1_1ValidClawback.html">ripple::ValidClawback</a></div><div class="ttdoc">Invariant: Token holder's trustline balance cannot be negative after Clawback.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00542">InvariantCheck.h:543</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a5e614f43f7cb0e11dfc2c4527c231be0"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a5e614f43f7cb0e11dfc2c4527c231be0">ripple::ValidClawback::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01289">InvariantCheck.cpp:1289</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a7e2187c69fb0d79fdafae3f9f24baed9"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a7e2187c69fb0d79fdafae3f9f24baed9">ripple::ValidClawback::trustlinesChanged</a></div><div class="ttdeci">std::uint32_t trustlinesChanged</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00544">InvariantCheck.h:544</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_a7f4ae66a49513fa78d98df13aea2f9b5"><div class="ttname"><a href="classripple_1_1ValidClawback.html#a7f4ae66a49513fa78d98df13aea2f9b5">ripple::ValidClawback::mptokensChanged</a></div><div class="ttdeci">std::uint32_t mptokensChanged</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00545">InvariantCheck.h:545</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidClawback_html_ae1743d3fcddc9394c99ff23a91baa353"><div class="ttname"><a href="classripple_1_1ValidClawback.html#ae1743d3fcddc9394c99ff23a91baa353">ripple::ValidClawback::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01302">InvariantCheck.cpp:1302</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html">ripple::ValidMPTIssuance</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00563">InvariantCheck.h:564</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a26fba2183c672447750eb4e4eec20e3c"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a26fba2183c672447750eb4e4eec20e3c">ripple::ValidMPTIssuance::mptIssuancesCreated_</a></div><div class="ttdeci">std::uint32_t mptIssuancesCreated_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00565">InvariantCheck.h:565</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a4558b199a7bd40300690bd1e2b1c75d1"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a4558b199a7bd40300690bd1e2b1c75d1">ripple::ValidMPTIssuance::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01367">InvariantCheck.cpp:1367</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a5d8eb39b0166951cecfd23f287f1bf76"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a5d8eb39b0166951cecfd23f287f1bf76">ripple::ValidMPTIssuance::mptokensCreated_</a></div><div class="ttdeci">std::uint32_t mptokensCreated_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00568">InvariantCheck.h:568</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a71240a32eb91d6944dfa750766e185e3"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a71240a32eb91d6944dfa750766e185e3">ripple::ValidMPTIssuance::mptIssuancesDeleted_</a></div><div class="ttdeci">std::uint32_t mptIssuancesDeleted_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00566">InvariantCheck.h:566</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_a77927bb5434a28f8323c92d19c5ee1e8"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#a77927bb5434a28f8323c92d19c5ee1e8">ripple::ValidMPTIssuance::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01390">InvariantCheck.cpp:1390</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidMPTIssuance_html_acafc2cd8b83296f221f6b0838390d762"><div class="ttname"><a href="classripple_1_1ValidMPTIssuance.html#acafc2cd8b83296f221f6b0838390d762">ripple::ValidMPTIssuance::mptokensDeleted_</a></div><div class="ttdeci">std::uint32_t mptokensDeleted_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00569">InvariantCheck.h:569</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html">ripple::ValidNFTokenPage</a></div><div class="ttdoc">Invariant: Validates several invariants for NFToken pages.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00472">InvariantCheck.h:473</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a26a8b25df06893e31e780c674a7dd025"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a26a8b25df06893e31e780c674a7dd025">ripple::ValidNFTokenPage::deletedFinalPage_</a></div><div class="ttdeci">bool deletedFinalPage_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00479">InvariantCheck.h:479</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a77d223ddeb402d859b67b109fe7f5376"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a77d223ddeb402d859b67b109fe7f5376">ripple::ValidNFTokenPage::deletedLink_</a></div><div class="ttdeci">bool deletedLink_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00480">InvariantCheck.h:480</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a7a5a99fe8658e2a2666ccae33539f662"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">ripple::ValidNFTokenPage::badEntry_</a></div><div class="ttdeci">bool badEntry_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00474">InvariantCheck.h:474</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a8d257e0b5fde0f4f2810ad3afdd052b1"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">ripple::ValidNFTokenPage::invalidSize_</a></div><div class="ttdeci">bool invalidSize_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00478">InvariantCheck.h:478</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_abe3ca9bc10170391c54d2458fe81ad1e"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">ripple::ValidNFTokenPage::badURI_</a></div><div class="ttdeci">bool badURI_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00477">InvariantCheck.h:477</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac62d97251ac3813d550fe11d5cd33642"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">ripple::ValidNFTokenPage::badSort_</a></div><div class="ttdeci">bool badSort_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00476">InvariantCheck.h:476</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac8b191d8882cac3ecaf3ab47650ed18b"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac8b191d8882cac3ecaf3ab47650ed18b">ripple::ValidNFTokenPage::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01018">InvariantCheck.cpp:1018</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aedafc736e929ed2f7e73d3ecfdaea336"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aedafc736e929ed2f7e73d3ecfdaea336">ripple::ValidNFTokenPage::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01125">InvariantCheck.cpp:1125</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aefc9e6916ce9a3bc7f8a68fd6790c738"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">ripple::ValidNFTokenPage::badLink_</a></div><div class="ttdeci">bool badLink_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00475">InvariantCheck.h:475</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html">ripple::ValidNewAccountRoot</a></div><div class="ttdoc">Invariant: a new account root must be the consequence of a payment, must have the right starting sequ...</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00438">InvariantCheck.h:439</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a1356762586cd4fd2e294025d397d16c4"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a1356762586cd4fd2e294025d397d16c4">ripple::ValidNewAccountRoot::pseudoAccount_</a></div><div class="ttdeci">bool pseudoAccount_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00442">InvariantCheck.h:442</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a740634049ba95ba30b5d8a1e70a8e874"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a740634049ba95ba30b5d8a1e70a8e874">ripple::ValidNewAccountRoot::flags_</a></div><div class="ttdeci">std::uint32_t flags_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00443">InvariantCheck.h:443</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_a8d38d98fa92b004b8414b51b5b84bf37"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#a8d38d98fa92b004b8414b51b5b84bf37">ripple::ValidNewAccountRoot::accountsCreated_</a></div><div class="ttdeci">std::uint32_t accountsCreated_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00440">InvariantCheck.h:440</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ab9fab13b3ee2f99b7dd730d4bee54cb6"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ab9fab13b3ee2f99b7dd730d4bee54cb6">ripple::ValidNewAccountRoot::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00946">InvariantCheck.cpp:946</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ad7a129c4e5e2a27845d3bfcea9d65f57"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ad7a129c4e5e2a27845d3bfcea9d65f57">ripple::ValidNewAccountRoot::accountSeq_</a></div><div class="ttdeci">std::uint32_t accountSeq_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00441">InvariantCheck.h:441</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ae1f65001395bd02e6821430ca0a3457f"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ae1f65001395bd02e6821430ca0a3457f">ripple::ValidNewAccountRoot::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00931">InvariantCheck.cpp:931</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html">ripple::ValidPermissionedDEX</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00622">InvariantCheck.h:623</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a076cbf0cf674badecde211590894cf9d"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a076cbf0cf674badecde211590894cf9d">ripple::ValidPermissionedDEX::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01667">InvariantCheck.cpp:1667</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a4ca432e7b3891112136202fe54f9caa3"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a4ca432e7b3891112136202fe54f9caa3">ripple::ValidPermissionedDEX::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01638">InvariantCheck.cpp:1638</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_a789c14d9473470d9a9d832986423e069"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#a789c14d9473470d9a9d832986423e069">ripple::ValidPermissionedDEX::regularOffers_</a></div><div class="ttdeci">bool regularOffers_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00624">InvariantCheck.h:624</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_adee4ea4d29467bf4d90cfd47e4dc65a4"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#adee4ea4d29467bf4d90cfd47e4dc65a4">ripple::ValidPermissionedDEX::domains_</a></div><div class="ttdeci">hash_set&lt; uint256 &gt; domains_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00626">InvariantCheck.h:626</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDEX_html_ae47cf7a269a95887724a0492869870f1"><div class="ttname"><a href="classripple_1_1ValidPermissionedDEX.html#ae47cf7a269a95887724a0492869870f1">ripple::ValidPermissionedDEX::badHybrids_</a></div><div class="ttdeci">bool badHybrids_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00625">InvariantCheck.h:625</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html">ripple::ValidPermissionedDomain</a></div><div class="ttdoc">Invariants: Permissioned Domains must have some rules and AcceptedCredentials must have length betwee...</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00597">InvariantCheck.h:598</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a2a5308be524a84862dddee3d07072c37"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a2a5308be524a84862dddee3d07072c37">ripple::ValidPermissionedDomain::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01539">InvariantCheck.cpp:1539</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a2ad00ba42b348e1907ca22022285fdb9"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a2ad00ba42b348e1907ca22022285fdb9">ripple::ValidPermissionedDomain::sleStatus_</a></div><div class="ttdeci">std::optional&lt; SleStatus &gt; sleStatus_[2]</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00604">InvariantCheck.h:604</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidPermissionedDomain_html_a85313633c324238644d48adeb651f368"><div class="ttname"><a href="classripple_1_1ValidPermissionedDomain.html#a85313633c324238644d48adeb651f368">ripple::ValidPermissionedDomain::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l01587">InvariantCheck.cpp:1587</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPAmount_html"><div class="ttname"><a href="classripple_1_1XRPAmount.html">ripple::XRPAmount</a></div><div class="ttdef"><b>Definition</b> <a href="XRPAmount_8h_source.html#l00039">XRPAmount.h:43</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html">ripple::XRPBalanceChecks</a></div><div class="ttdoc">Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops,...</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00203">InvariantCheck.h:204</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_a0b505e356180b127a71ecd9aa27a2076"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#a0b505e356180b127a71ecd9aa27a2076">ripple::XRPBalanceChecks::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00205">InvariantCheck.cpp:205</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_aa9807a563c543a40f75ef52659cd8692"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#aa9807a563c543a40f75ef52659cd8692">ripple::XRPBalanceChecks::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00205">InvariantCheck.h:205</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_afee02d705218098e2031c8362d8a58b4"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#afee02d705218098e2031c8362d8a58b4">ripple::XRPBalanceChecks::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00174">InvariantCheck.cpp:174</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html">ripple::XRPNotCreated</a></div><div class="ttdoc">Invariant: A transaction must not create XRP and should only destroy the XRP fee.</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00118">InvariantCheck.h:119</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_a5666e79cabd15392100c936835f3a263"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#a5666e79cabd15392100c936835f3a263">ripple::XRPNotCreated::drops_</a></div><div class="ttdeci">std::int64_t drops_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00120">InvariantCheck.h:120</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_acf2afc81712280424390d02fb4e2275d"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#acf2afc81712280424390d02fb4e2275d">ripple::XRPNotCreated::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00088">InvariantCheck.cpp:88</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_af743b0758ac507e297c49dde6ccd9924"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#af743b0758ac507e297c49dde6ccd9924">ripple::XRPNotCreated::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8cpp_source.html#l00144">InvariantCheck.cpp:144</a></div></div>
<div class="ttc" id="aclassripple_1_1base__uint_html"><div class="ttname"><a href="classripple_1_1base__uint.html">ripple::base_uint&lt; 160, detail::AccountIDTag &gt;</a></div></div>
<div class="ttc" id="acstdint_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/header/cstdint.html">cstdint</a></div></div>
<div class="ttc" id="ainteger_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/types/integer.html">std::int64_t</a></div></div>
<div class="ttc" id="amap_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/container/map.html">std::map&lt; Issue, IssuerChanges &gt;</a></div></div>
<div class="ttc" id="anamespaceripple_html"><div class="ttname"><a href="namespaceripple.html">ripple</a></div><div class="ttdoc">Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.</div><div class="ttdef"><b>Definition:</b> <a href="algorithm_8h_source.html#l00025">algorithm.h:25</a></div></div>
<div class="ttc" id="anamespaceripple_html_ac3e90afb749bb1f01e06729c7c860ba3"><div class="ttname"><a href="namespaceripple.html#ac3e90afb749bb1f01e06729c7c860ba3">ripple::after</a></div><div class="ttdeci">bool after(NetClock::time_point now, std::uint32_t mark)</div><div class="ttdoc">Has the specified time passed?</div><div class="ttdef"><b>Definition:</b> <a href="View_8cpp_source.html#l03097">View.cpp:3097</a></div></div>
<div class="ttc" id="anamespaceripple_html_aceaff96130b8a2fec303ae3a730d26c6"><div class="ttname"><a href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">ripple::getInvariantChecks</a></div><div class="ttdeci">InvariantChecks getInvariantChecks()</div><div class="ttdoc">get a tuple of all invariant checks</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00739">InvariantCheck.h:739</a></div></div>
<div class="ttc" id="anamespaceripple_html"><div class="ttname"><a href="namespaceripple.html">ripple</a></div><div class="ttdoc">Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.</div><div class="ttdef"><b>Definition</b> <a href="algorithm_8h_source.html#l00025">algorithm.h:25</a></div></div>
<div class="ttc" id="anamespaceripple_html_ac3e90afb749bb1f01e06729c7c860ba3"><div class="ttname"><a href="namespaceripple.html#ac3e90afb749bb1f01e06729c7c860ba3">ripple::after</a></div><div class="ttdeci">bool after(NetClock::time_point now, std::uint32_t mark)</div><div class="ttdoc">Has the specified time passed?</div><div class="ttdef"><b>Definition</b> <a href="View_8cpp_source.html#l03097">View.cpp:3097</a></div></div>
<div class="ttc" id="anamespaceripple_html_aceaff96130b8a2fec303ae3a730d26c6"><div class="ttname"><a href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">ripple::getInvariantChecks</a></div><div class="ttdeci">InvariantChecks getInvariantChecks()</div><div class="ttdoc">get a tuple of all invariant checks</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00739">InvariantCheck.h:739</a></div></div>
<div class="ttc" id="aoptional_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/utility/optional.html">std::optional</a></div></div>
<div class="ttc" id="ashared_ptr_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a></div></div>
<div class="ttc" id="asize_t_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/types/size_t.html">std::size_t</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html">ripple::TransfersNotFrozen::BalanceChange</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00309">InvariantCheck.h:310</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html_a62d1400964f877b9120cf039f78690cc"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a62d1400964f877b9120cf039f78690cc">ripple::TransfersNotFrozen::BalanceChange::balanceChangeSign</a></div><div class="ttdeci">int const balanceChangeSign</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00312">InvariantCheck.h:312</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html_a76465062378f6c914e7848258304d150"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a76465062378f6c914e7848258304d150">ripple::TransfersNotFrozen::BalanceChange::line</a></div><div class="ttdeci">std::shared_ptr&lt; SLE const &gt; const line</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00311">InvariantCheck.h:311</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html">ripple::TransfersNotFrozen::IssuerChanges</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00315">InvariantCheck.h:316</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html_a04ec7c5754c2781c4e3cf83add71cc9d"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a04ec7c5754c2781c4e3cf83add71cc9d">ripple::TransfersNotFrozen::IssuerChanges::receivers</a></div><div class="ttdeci">std::vector&lt; BalanceChange &gt; receivers</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00318">InvariantCheck.h:318</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html_a0e06ad087af1813be10702de16407a0a"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a0e06ad087af1813be10702de16407a0a">ripple::TransfersNotFrozen::IssuerChanges::senders</a></div><div class="ttdeci">std::vector&lt; BalanceChange &gt; senders</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00317">InvariantCheck.h:317</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html">ripple::ValidPermissionedDomain::SleStatus</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00599">InvariantCheck.h:600</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_a316c36c96373026d96b3fc24ef6fe32e"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a316c36c96373026d96b3fc24ef6fe32e">ripple::ValidPermissionedDomain::SleStatus::isSorted_</a></div><div class="ttdeci">bool isSorted_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00602">InvariantCheck.h:602</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_a5853fcba2630334a1a46006dd33727ea"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a5853fcba2630334a1a46006dd33727ea">ripple::ValidPermissionedDomain::SleStatus::credentialsSize_</a></div><div class="ttdeci">std::size_t credentialsSize_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00601">InvariantCheck.h:601</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_aa69c5bd7a62b0bbcb710f11635ababd7"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#aa69c5bd7a62b0bbcb710f11635ababd7">ripple::ValidPermissionedDomain::SleStatus::isUnique_</a></div><div class="ttdeci">bool isUnique_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00602">InvariantCheck.h:602</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html">ripple::TransfersNotFrozen::BalanceChange</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00309">InvariantCheck.h:310</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html_a62d1400964f877b9120cf039f78690cc"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a62d1400964f877b9120cf039f78690cc">ripple::TransfersNotFrozen::BalanceChange::balanceChangeSign</a></div><div class="ttdeci">int const balanceChangeSign</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00312">InvariantCheck.h:312</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1BalanceChange_html_a76465062378f6c914e7848258304d150"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1BalanceChange.html#a76465062378f6c914e7848258304d150">ripple::TransfersNotFrozen::BalanceChange::line</a></div><div class="ttdeci">std::shared_ptr&lt; SLE const &gt; const line</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00311">InvariantCheck.h:311</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html">ripple::TransfersNotFrozen::IssuerChanges</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00315">InvariantCheck.h:316</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html_a04ec7c5754c2781c4e3cf83add71cc9d"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a04ec7c5754c2781c4e3cf83add71cc9d">ripple::TransfersNotFrozen::IssuerChanges::receivers</a></div><div class="ttdeci">std::vector&lt; BalanceChange &gt; receivers</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00318">InvariantCheck.h:318</a></div></div>
<div class="ttc" id="astructripple_1_1TransfersNotFrozen_1_1IssuerChanges_html_a0e06ad087af1813be10702de16407a0a"><div class="ttname"><a href="structripple_1_1TransfersNotFrozen_1_1IssuerChanges.html#a0e06ad087af1813be10702de16407a0a">ripple::TransfersNotFrozen::IssuerChanges::senders</a></div><div class="ttdeci">std::vector&lt; BalanceChange &gt; senders</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00317">InvariantCheck.h:317</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html">ripple::ValidPermissionedDomain::SleStatus</a></div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00599">InvariantCheck.h:600</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_a316c36c96373026d96b3fc24ef6fe32e"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a316c36c96373026d96b3fc24ef6fe32e">ripple::ValidPermissionedDomain::SleStatus::isSorted_</a></div><div class="ttdeci">bool isSorted_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00602">InvariantCheck.h:602</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_a5853fcba2630334a1a46006dd33727ea"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#a5853fcba2630334a1a46006dd33727ea">ripple::ValidPermissionedDomain::SleStatus::credentialsSize_</a></div><div class="ttdeci">std::size_t credentialsSize_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00601">InvariantCheck.h:601</a></div></div>
<div class="ttc" id="astructripple_1_1ValidPermissionedDomain_1_1SleStatus_html_aa69c5bd7a62b0bbcb710f11635ababd7"><div class="ttname"><a href="structripple_1_1ValidPermissionedDomain_1_1SleStatus.html#aa69c5bd7a62b0bbcb710f11635ababd7">ripple::ValidPermissionedDomain::SleStatus::isUnique_</a></div><div class="ttdeci">bool isUnique_</div><div class="ttdef"><b>Definition</b> <a href="InvariantCheck_8h_source.html#l00602">InvariantCheck.h:602</a></div></div>
<div class="ttc" id="atuple_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/header/tuple.html">tuple</a></div></div>
<div class="ttc" id="aunordered_set_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/header/unordered_set.html">unordered_set</a></div></div>
<div class="ttc" id="avector_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a></div></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated 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.5
Generated 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
</small></address>
</body>
</html>