Files
rippled/classripple_1_1ValidVault.html
2025-11-24 03:55:12 -08:00

429 lines
28 KiB
HTML

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<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.8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>rippled: ripple::ValidVault Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">rippled
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- 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');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
/* @license-end */
</script>
<div id="main-nav"></div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<div id="MSearchResults">
<div class="SRPage">
<div id="SRIndex">
<div id="SRResults"></div>
<div class="SRStatus" id="Loading">Loading...</div>
<div class="SRStatus" id="Searching">Searching...</div>
<div class="SRStatus" id="NoMatches">No Matches</div>
</div>
</div>
</div>
</div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="namespaceripple.html">ripple</a></li><li class="navelem"><a class="el" href="classripple_1_1ValidVault.html">ValidVault</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#pri-attribs">Private Attributes</a> &#124;
<a href="#pri-static-attribs">Static Private Attributes</a> &#124;
<a href="classripple_1_1ValidVault-members.html">List of all members</a> </div>
<div class="headertitle"><div class="title">ripple::ValidVault Class Reference</div></div>
</div><!--header-->
<div class="contents">
<p>Invariants: <a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a> object and MPTokenIssuance for vault shares.
<a href="classripple_1_1ValidVault.html#details">More...</a></p>
<p><code>#include &lt;<a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>&gt;</code></p>
<div class="dynheader">
Collaboration diagram for ripple::ValidVault:</div>
<div class="dyncontent">
<div class="center"><img src="classripple_1_1ValidVault__coll__graph.png" border="0" usemap="#aripple_1_1ValidVault_coll__map" alt="Collaboration graph"/></div>
<map name="aripple_1_1ValidVault_coll__map" id="aripple_1_1ValidVault_coll__map">
<area shape="rect" title="Invariants: Vault object and MPTokenIssuance for vault shares." alt="" coords="1828,437,1960,462"/>
<area shape="rect" href="classripple_1_1Number.html" title=" " alt="" coords="571,519,689,545"/>
<area shape="poly" title=" " alt="" coords="703,544,826,564,896,571,965,573,1617,573,1657,570,1697,560,1735,546,1771,529,1833,492,1875,460,1879,465,1836,496,1774,534,1737,551,1699,565,1658,575,1617,579,965,579,895,576,825,569,703,550"/>
<area shape="rect" href="structripple_1_1ValidVault_1_1Vault.html" title=" " alt="" coords="901,332,1033,372"/>
<area shape="poly" title=" " alt="" coords="702,519,798,499,839,485,865,470,876,451,877,430,878,408,889,385,906,370,910,374,893,388,883,409,882,430,881,452,869,474,841,490,799,504,703,524"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/container/unordered_map.html" title=" " alt="" coords="891,450,1043,505"/>
<area shape="poly" title=" " alt="" coords="703,538,782,539,825,536,866,528,896,517,924,502,927,507,898,522,867,533,825,541,782,545,703,543"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/types/integer.html" title=" " alt="" coords="258,519,353,545"/>
<area shape="poly" title=" " alt="" coords="366,529,571,529,571,535,366,535"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/container/vector.html" title=" " alt="" coords="1360,332,1511,372"/>
<area shape="poly" title=" " alt="" coords="1525,350,1658,362,1733,375,1805,395,1845,413,1877,434,1874,439,1842,418,1803,400,1732,380,1658,367,1524,356"/>
<area shape="poly" title=" " alt="" coords="1046,349,1360,349,1360,355,1046,355"/>
<area shape="rect" href="classripple_1_1base__uint.html" title=" " alt="" coords="559,349,701,389"/>
<area shape="poly" title=" " alt="" coords="714,362,900,353,900,358,715,368"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/types/size_t.html" title=" " alt="" coords="261,93,349,118"/>
<area shape="poly" title=" " alt="" coords="329,126,367,162,415,196,439,204,461,205,483,208,505,222,515,237,519,252,518,281,516,309,520,322,529,336,543,347,560,356,558,361,540,352,525,339,515,324,511,309,512,280,514,253,510,239,501,226,481,213,461,210,438,209,412,201,363,167,325,130"/>
<area shape="rect" href="classripple_1_1base__uint.html" title=" " alt="" coords="527,221,733,261"/>
<area shape="poly" title=" " alt="" coords="356,86,392,80,431,78,470,84,504,102,515,114,520,127,519,153,518,179,521,191,529,204,548,219,545,223,525,207,516,193,512,179,514,152,515,128,511,117,501,106,468,89,431,83,393,85,357,92"/>
<area shape="rect" href="classripple_1_1base__uint.html" title=" " alt="" coords="559,153,701,193"/>
<area shape="poly" title=" " alt="" coords="332,82,369,59,413,41,458,32,479,33,504,42,542,64,574,94,600,125,619,152,614,155,596,128,570,97,538,68,502,46,478,39,459,37,414,47,371,64,335,87"/>
<area shape="rect" href="classripple_1_1base__uint.html" title="Integers of any length that is a multiple of 32&#45;bits." alt="" coords="559,285,701,325"/>
<area shape="poly" title=" " alt="" coords="361,120,414,136,440,141,463,142,483,147,505,162,515,176,519,191,518,219,516,246,520,258,529,272,543,283,560,292,558,297,540,288,525,275,515,261,511,246,512,218,513,192,510,179,501,166,481,151,462,147,440,146,413,141,359,125"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/container/array.html" title=" " alt="" coords="221,288,389,328"/>
<area shape="poly" title=" " alt="" coords="359,331,414,351,488,363,559,367,559,373,488,368,413,356,357,336"/>
<area shape="poly" title=" " alt="" coords="403,299,453,292,502,281,526,271,560,259,562,264,528,276,503,287,454,298,404,305"/>
<area shape="poly" title=" " alt="" coords="373,281,413,267,459,255,479,249,501,237,513,222,525,207,558,190,560,194,528,211,517,226,504,241,481,254,461,260,414,272,375,286"/>
<area shape="poly" title=" " alt="" coords="403,326,414,327,458,330,502,327,559,318,559,324,503,332,458,335,413,332,403,331"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/types/integer.html" title=" " alt="" coords="5,295,108,321"/>
<area shape="poly" title=" " alt="" coords="122,305,221,305,221,311,122,311"/>
<area shape="rect" href="classripple_1_1Asset.html" title=" " alt="" coords="579,414,681,439"/>
<area shape="poly" title=" " alt="" coords="695,415,777,401,866,381,907,370,909,375,867,387,778,406,696,420"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/utility/variant.html" title=" " alt="" coords="231,407,380,447"/>
<area shape="poly" title=" " alt="" coords="394,424,579,424,579,429,394,429"/>
<area shape="poly" title=" " alt="" coords="747,259,817,274,868,288,907,308,940,330,937,334,904,312,866,293,816,279,746,264"/>
<area shape="poly" title=" " alt="" coords="702,195,758,215,789,222,814,225,839,230,868,243,895,263,919,286,954,330,950,333,915,290,892,267,865,248,837,235,813,230,788,227,757,220,700,200"/>
<area shape="rect" href="classripple_1_1MPTIssue.html" title=" " alt="" coords="902,221,1031,246"/>
<area shape="poly" title=" " alt="" coords="715,176,789,184,867,197,934,218,933,223,866,203,789,189,714,181"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/container/vector.html" title=" " alt="" coords="1535,400,1697,440"/>
<area shape="poly" title=" " alt="" coords="1711,427,1828,440,1827,445,1710,433"/>
<area shape="rect" href="structripple_1_1ValidVault_1_1Shares.html" title=" " alt="" coords="1204,392,1336,432"/>
<area shape="poly" title=" " alt="" coords="1350,411,1534,415,1534,421,1350,416"/>
<area shape="poly" title=" " alt="" coords="1017,248,1096,282,1181,330,1220,360,1252,390,1248,394,1217,364,1179,334,1094,287,1015,253"/>
<area shape="rect" target="_parent" href="http://en.cppreference.com/w/cpp/types/integer.html" title=" " alt="" coords="915,399,1018,425"/>
<area shape="poly" title=" " alt="" coords="1032,409,1204,409,1204,415,1032,415"/>
<area shape="poly" title=" " alt="" coords="1056,472,1828,449,1828,454,1056,477"/>
<area shape="poly" title=" " alt="" coords="715,304,805,313,843,322,868,335,878,347,883,360,884,385,883,409,886,422,893,434,907,448,903,452,889,438,881,424,877,410,878,385,878,361,874,350,865,339,841,327,804,318,714,310"/>
</map>
<center><span class="legend">[<a href="graph_legend.html">legend</a>]</span></center></div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="nested-classes" name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structripple_1_1ValidVault_1_1Shares.html">Shares</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pub-methods" name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:ae11aaf3fb7e06e75df4999c5058c44bc" id="r_ae11aaf3fb7e06e75df4999c5058c44bc"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#ae11aaf3fb7e06e75df4999c5058c44bc">visitEntry</a> (bool, <a class="elRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a>&lt; <a class="el" href="namespaceripple.html#abbba3966df1925ac76f6d04c0aa1abe3">SLE</a> const &gt; const &amp;, <a class="elRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a>&lt; <a class="el" href="namespaceripple.html#abbba3966df1925ac76f6d04c0aa1abe3">SLE</a> const &gt; const &amp;)</td></tr>
<tr class="separator:ae11aaf3fb7e06e75df4999c5058c44bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a1a23cf391b16d37da1fcde9354d3cce4" id="r_a1a23cf391b16d37da1fcde9354d3cce4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#a1a23cf391b16d37da1fcde9354d3cce4">finalize</a> (<a class="el" href="classripple_1_1STTx.html">STTx</a> const &amp;, <a class="el" href="namespaceripple.html#adfb760bc3e4ccb79d5d4f6ecff2f1817">TER</a> const, <a class="el" href="classripple_1_1XRPAmount.html">XRPAmount</a> const, <a class="el" href="classripple_1_1ReadView.html">ReadView</a> const &amp;, <a class="el" href="classbeast_1_1Journal.html">beast::Journal</a> const &amp;)</td></tr>
<tr class="separator:a1a23cf391b16d37da1fcde9354d3cce4"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pri-attribs" name="pri-attribs"></a>
Private Attributes</h2></td></tr>
<tr class="memitem:ac17f5ecdeea7b3564585752cee0d5235" id="r_ac17f5ecdeea7b3564585752cee0d5235"><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt; <a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#ac17f5ecdeea7b3564585752cee0d5235">afterVault_</a> = {}</td></tr>
<tr class="separator:ac17f5ecdeea7b3564585752cee0d5235"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:abfae7d007cf486b7c5a274ed4d3b1992" id="r_abfae7d007cf486b7c5a274ed4d3b1992"><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt; <a class="el" href="structripple_1_1ValidVault_1_1Shares.html">Shares</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#abfae7d007cf486b7c5a274ed4d3b1992">afterMPTs_</a> = {}</td></tr>
<tr class="separator:abfae7d007cf486b7c5a274ed4d3b1992"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a342a38cf8964dcc52a3249613ec187da" id="r_a342a38cf8964dcc52a3249613ec187da"><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt; <a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#a342a38cf8964dcc52a3249613ec187da">beforeVault_</a> = {}</td></tr>
<tr class="separator:a342a38cf8964dcc52a3249613ec187da"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a2f17d75c89bc964e6bf1fcece0238e6c" id="r_a2f17d75c89bc964e6bf1fcece0238e6c"><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt; <a class="el" href="structripple_1_1ValidVault_1_1Shares.html">Shares</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#a2f17d75c89bc964e6bf1fcece0238e6c">beforeMPTs_</a> = {}</td></tr>
<tr class="separator:a2f17d75c89bc964e6bf1fcece0238e6c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4099298b74da2e9b4bdedcc5aa6ad88f" id="r_a4099298b74da2e9b4bdedcc5aa6ad88f"><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/unordered_map.html">std::unordered_map</a>&lt; <a class="el" href="namespaceripple.html#a356c68147333a9a48a344718038576d9">uint256</a>, <a class="el" href="classripple_1_1Number.html">Number</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#a4099298b74da2e9b4bdedcc5aa6ad88f">deltas_</a> = {}</td></tr>
<tr class="separator:a4099298b74da2e9b4bdedcc5aa6ad88f"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pri-static-attribs" name="pri-static-attribs"></a>
Static Private Attributes</h2></td></tr>
<tr class="memitem:aa9ee40d033c2c8ac80df85735100cd0f" id="r_aa9ee40d033c2c8ac80df85735100cd0f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classripple_1_1Number.html">Number</a> constexpr&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classripple_1_1ValidVault.html#aa9ee40d033c2c8ac80df85735100cd0f">zero</a> {}</td></tr>
<tr class="separator:aa9ee40d033c2c8ac80df85735100cd0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p>Invariants: <a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a> object and MPTokenIssuance for vault shares. </p>
<ul>
<li>vault deleted and vault created is empty</li>
<li>vault created must be linked to pseudo-account for shares and assets</li>
<li>vault must have MPTokenIssuance for shares</li>
<li>vault without shares outstanding must have no shares</li>
<li>loss unrealized does not exceed the difference between assets total and assets available</li>
<li>assets available do not exceed assets total</li>
<li>vault deposit increases assets and share issuance, and adds to: total assets, assets available, shares outstanding</li>
<li>vault withdrawal and clawback reduce assets and share issuance, and subtracts from: total assets, assets available, shares outstanding</li>
<li>vault set must not alter the vault assets or shares balance</li>
<li>no vault transaction can change loss unrealized (it's updated by loan transactions) </li>
</ul>
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00737">737</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div><h2 class="groupheader">Member Function Documentation</h2>
<a id="ae11aaf3fb7e06e75df4999c5058c44bc" name="ae11aaf3fb7e06e75df4999c5058c44bc"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ae11aaf3fb7e06e75df4999c5058c44bc">&#9670;&#160;</a></span>visitEntry()</h2>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void ripple::ValidVault::visitEntry </td>
<td>(</td>
<td class="paramtype">bool&#160;</td>
<td class="paramname"><em>isDelete</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="elRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a>&lt; <a class="el" href="namespaceripple.html#abbba3966df1925ac76f6d04c0aa1abe3">SLE</a> const &gt; const &amp;&#160;</td>
<td class="paramname"><em>before</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="elRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a>&lt; <a class="el" href="namespaceripple.html#abbba3966df1925ac76f6d04c0aa1abe3">SLE</a> const &gt; const &amp;&#160;</td>
<td class="paramname"><em>after</em>&#160;</td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8cpp_source.html#l02197">2197</a> of file <a class="el" href="InvariantCheck_8cpp_source.html">InvariantCheck.cpp</a>.</p>
</div>
</div>
<a id="a1a23cf391b16d37da1fcde9354d3cce4" name="a1a23cf391b16d37da1fcde9354d3cce4"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a1a23cf391b16d37da1fcde9354d3cce4">&#9670;&#160;</a></span>finalize()</h2>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool ripple::ValidVault::finalize </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classripple_1_1STTx.html">STTx</a> const &amp;&#160;</td>
<td class="paramname"><em>tx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="namespaceripple.html#adfb760bc3e4ccb79d5d4f6ecff2f1817">TER</a> const&#160;</td>
<td class="paramname"><em>ret</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classripple_1_1XRPAmount.html">XRPAmount</a> const&#160;</td>
<td class="paramname"><em>fee</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classripple_1_1ReadView.html">ReadView</a> const &amp;&#160;</td>
<td class="paramname"><em>view</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classbeast_1_1Journal.html">beast::Journal</a> const &amp;&#160;</td>
<td class="paramname"><em>j</em>&#160;</td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8cpp_source.html#l02285">2285</a> of file <a class="el" href="InvariantCheck_8cpp_source.html">InvariantCheck.cpp</a>.</p>
</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a id="aa9ee40d033c2c8ac80df85735100cd0f" name="aa9ee40d033c2c8ac80df85735100cd0f"></a>
<h2 class="memtitle"><span class="permalink"><a href="#aa9ee40d033c2c8ac80df85735100cd0f">&#9670;&#160;</a></span>zero</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classripple_1_1Number.html">Number</a> constexpr ripple::ValidVault::zero {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">constexpr</span><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00739">739</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
<a id="ac17f5ecdeea7b3564585752cee0d5235" name="ac17f5ecdeea7b3564585752cee0d5235"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ac17f5ecdeea7b3564585752cee0d5235">&#9670;&#160;</a></span>afterVault_</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt;<a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a>&gt; ripple::ValidVault::afterVault_ = {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00764">764</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
<a id="abfae7d007cf486b7c5a274ed4d3b1992" name="abfae7d007cf486b7c5a274ed4d3b1992"></a>
<h2 class="memtitle"><span class="permalink"><a href="#abfae7d007cf486b7c5a274ed4d3b1992">&#9670;&#160;</a></span>afterMPTs_</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt;<a class="el" href="structripple_1_1ValidVault_1_1Shares.html">Shares</a>&gt; ripple::ValidVault::afterMPTs_ = {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00765">765</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
<a id="a342a38cf8964dcc52a3249613ec187da" name="a342a38cf8964dcc52a3249613ec187da"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a342a38cf8964dcc52a3249613ec187da">&#9670;&#160;</a></span>beforeVault_</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt;<a class="el" href="structripple_1_1ValidVault_1_1Vault.html">Vault</a>&gt; ripple::ValidVault::beforeVault_ = {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00766">766</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
<a id="a2f17d75c89bc964e6bf1fcece0238e6c" name="a2f17d75c89bc964e6bf1fcece0238e6c"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a2f17d75c89bc964e6bf1fcece0238e6c">&#9670;&#160;</a></span>beforeMPTs_</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/vector.html">std::vector</a>&lt;<a class="el" href="structripple_1_1ValidVault_1_1Shares.html">Shares</a>&gt; ripple::ValidVault::beforeMPTs_ = {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00767">767</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
<a id="a4099298b74da2e9b4bdedcc5aa6ad88f" name="a4099298b74da2e9b4bdedcc5aa6ad88f"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a4099298b74da2e9b4bdedcc5aa6ad88f">&#9670;&#160;</a></span>deltas_</h2>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="elRef" href="http://en.cppreference.com/w/cpp/container/unordered_map.html">std::unordered_map</a>&lt;<a class="el" href="namespaceripple.html#a356c68147333a9a48a344718038576d9">uint256</a>, <a class="el" href="classripple_1_1Number.html">Number</a>&gt; ripple::ValidVault::deltas_ = {}</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p class="definition">Definition at line <a class="el" href="InvariantCheck_8h_source.html#l00768">768</a> of file <a class="el" href="InvariantCheck_8h_source.html">InvariantCheck.h</a>.</p>
</div>
</div>
</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.8
</small></address>
</body>
</html>