npm - svf-tools - Versions diffs - 1.0.619 → 1.0.621 - Mend

svf-tools 1.0.619 → 1.0.621

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (454) hide show

package/SVF-doxygen/html/html/classOptionMultiple.html ADDED Viewed

@@ -0,0 +1,460 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: OptionMultiple&lt; T &gt; Class Template 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 style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</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">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
+<a href="classOptionMultiple-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">OptionMultiple&lt; T &gt; Class Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for OptionMultiple&lt; T &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classOptionMultiple.png" usemap="#OptionMultiple_3C_20T_20_3E_map" alt=""/>
+  <map id="OptionMultiple_3C_20T_20_3E_map" name="OptionMultiple_3C_20T_20_3E_map">
+<area href="classOptionBase.html" alt="OptionBase" shape="rect" coords="0,0,124,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
+Public Types</h2></td></tr>
+<tr class="memitem:a9513bc7ce4ade85cd16eccce9537887e"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a>&lt; T &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a></td></tr>
+<tr class="separator:a9513bc7ce4ade85cd16eccce9537887e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a00a2b17a8a0fefba400bc401f4392ed0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0">OptionMultiple</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a> <a class="el" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>)</td></tr>
+<tr class="separator:a00a2b17a8a0fefba400bc401f4392ed0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa582e95f6546ffd2fc8420699967bca9"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#aa582e95f6546ffd2fc8420699967bca9">canSet</a> (void) const override</td></tr>
+<tr class="memdesc:aa582e95f6546ffd2fc8420699967bca9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Can this option be set?  <a href="#aa582e95f6546ffd2fc8420699967bca9">More...</a><br /></td></tr>
+<tr class="separator:aa582e95f6546ffd2fc8420699967bca9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af175c4dde2e877dbf52eb20bd836615e"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">parseAndSetValue</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> s) override</td></tr>
+<tr class="memdesc:af175c4dde2e877dbf52eb20bd836615e"><td class="mdescLeft">&#160;</td><td class="mdescRight">From a given string, set the value of this option.  <a href="#af175c4dde2e877dbf52eb20bd836615e">More...</a><br /></td></tr>
+<tr class="separator:af175c4dde2e877dbf52eb20bd836615e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aebfc1b172ccde004333d9af7248dca4e"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e">isMultiple</a> (void) const override</td></tr>
+<tr class="memdesc:aebfc1b172ccde004333d9af7248dca4e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this option is an <a class="el" href="classOptionMultiple.html">OptionMultiple</a>.  <a href="#aebfc1b172ccde004333d9af7248dca4e">More...</a><br /></td></tr>
+<tr class="separator:aebfc1b172ccde004333d9af7248dca4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6de3b01c7773ea6fddf84cd57e7401f8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8">nothingSet</a> (void) const</td></tr>
+<tr class="memdesc:a6de3b01c7773ea6fddf84cd57e7401f8"><td class="mdescLeft">&#160;</td><td class="mdescRight">If the bitset is empty.  <a href="#a6de3b01c7773ea6fddf84cd57e7401f8">More...</a><br /></td></tr>
+<tr class="separator:a6de3b01c7773ea6fddf84cd57e7401f8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af3ce2d981843996c5e47de2918d1f569"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#af3ce2d981843996c5e47de2918d1f569">operator()</a> (const T v) const</td></tr>
+<tr class="memdesc:af3ce2d981843996c5e47de2918d1f569"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns whether the value v had been set as an option.  <a href="#af3ce2d981843996c5e47de2918d1f569">More...</a><br /></td></tr>
+<tr class="separator:af3ce2d981843996c5e47de2918d1f569"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:a037e34107c423615f1ba0c3fdab04b1f"><td class="memItemLeft" align="right" valign="top">std::unordered_map&lt; T, bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a></td></tr>
+<tr class="separator:a037e34107c423615f1ba0c3fdab04b1f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aec251294a810d232e1f352a40126d82a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a></td></tr>
+<tr class="separator:aec251294a810d232e1f352a40126d82a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_static_methods_classOptionBase"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classOptionBase')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classOptionBase.html">OptionBase</a></td></tr>
+<tr class="memitem:a4fb6c6e4a1754d702c6c1730f54457e5 inherit pub_static_methods_classOptionBase"><td class="memItemLeft" align="right" valign="top">static std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">parseOptions</a> (int argc, char *argv[], <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> callFormat)</td></tr>
+<tr class="separator:a4fb6c6e4a1754d702c6c1730f54457e5 inherit pub_static_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_types_classOptionBase"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classOptionBase')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classOptionBase.html">OptionBase</a></td></tr>
+<tr class="memitem:a0a048de2a9ea404cb6b6be6276e8f91e inherit pro_types_classOptionBase"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">PossibilityDescription</a></td></tr>
+<tr class="memdesc:a0a048de2a9ea404cb6b6be6276e8f91e inherit pro_types_classOptionBase"><td class="mdescLeft">&#160;</td><td class="mdescRight">Name/description pairs.  <a href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">More...</a><br /></td></tr>
+<tr class="separator:a0a048de2a9ea404cb6b6be6276e8f91e inherit pro_types_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adbecc317e1c8a157456c069ca0b4679c inherit pro_types_classOptionBase"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; std::pair&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a></td></tr>
+<tr class="separator:adbecc317e1c8a157456c069ca0b4679c inherit pro_types_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8cc760078ccd614db2190d0f87f5da0d inherit pro_types_classOptionBase"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a8cc760078ccd614db2190d0f87f5da0d inherit pro_types_classOptionBase"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a> = std::tuple&lt; T, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;</td></tr>
+<tr class="separator:a8cc760078ccd614db2190d0f87f5da0d inherit pro_types_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classOptionBase"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classOptionBase')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classOptionBase.html">OptionBase</a></td></tr>
+<tr class="memitem:ae99500409f218ce63d4dbce537884c7f inherit pro_methods_classOptionBase"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>)</td></tr>
+<tr class="separator:ae99500409f218ce63d4dbce537884c7f inherit pro_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3a30161a89e5dd22b3501b6a7de3eab4 inherit pro_methods_classOptionBase"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a> <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>)</td></tr>
+<tr class="separator:a3a30161a89e5dd22b3501b6a7de3eab4 inherit pro_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd2a32f510c026154665f7d874f3f362 inherit pro_methods_classOptionBase"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">isBool</a> (void) const</td></tr>
+<tr class="separator:acd2a32f510c026154665f7d874f3f362 inherit pro_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_static_methods_classOptionBase"><td colspan="2" onclick="javascript:toggleInherit('pro_static_methods_classOptionBase')"><img src="closed.png" alt="-"/>&#160;Static Protected Member Functions inherited from <a class="el" href="classOptionBase.html">OptionBase</a></td></tr>
+<tr class="memitem:a21e8ccc08eef254ceee53185a717301d inherit pro_static_methods_classOptionBase"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a21e8ccc08eef254ceee53185a717301d inherit pro_static_methods_classOptionBase"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a21e8ccc08eef254ceee53185a717301d">extractPossibilityDescriptions</a> (const std::vector&lt; <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a>&lt; T &gt;&gt; possibilities)</td></tr>
+<tr class="separator:a21e8ccc08eef254ceee53185a717301d inherit pro_static_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac68017dd45d05c5fe26ae04bb58f903c inherit pro_static_methods_classOptionBase"><td class="memItemLeft" align="right" valign="top">static std::map&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classOptionBase.html">OptionBase</a> * &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a> (void)</td></tr>
+<tr class="separator:ac68017dd45d05c5fe26ae04bb58f903c inherit pro_static_methods_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classOptionBase"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classOptionBase')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classOptionBase.html">OptionBase</a></td></tr>
+<tr class="memitem:a494ea256d6484e4f7e8751de499889fc inherit pro_attribs_classOptionBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a></td></tr>
+<tr class="separator:a494ea256d6484e4f7e8751de499889fc inherit pro_attribs_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8fbb1cde9e12a099617c8e8298424b5b inherit pro_attribs_classOptionBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a></td></tr>
+<tr class="separator:a8fbb1cde9e12a099617c8e8298424b5b inherit pro_attribs_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa6cc4a59e5801eff5d7dcdc0137e16a1 inherit pro_attribs_classOptionBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a></td></tr>
+<tr class="memdesc:aa6cc4a59e5801eff5d7dcdc0137e16a1 inherit pro_attribs_classOptionBase"><td class="mdescLeft">&#160;</td><td class="mdescRight">For when we have possibilities like in an <a class="el" href="classOptionMap.html">OptionMap</a>.  <a href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">More...</a><br /></td></tr>
+<tr class="separator:aa6cc4a59e5801eff5d7dcdc0137e16a1 inherit pro_attribs_classOptionBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;typename T&gt;<br />
+class OptionMultiple&lt; T &gt;</h3>
+<p>Options which form a kind of bit set. There are multiple names and n of them can be set. Opt(v) tests whether v had been set, aborting if v is invalid. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00454">454</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="a9513bc7ce4ade85cd16eccce9537887e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9513bc7ce4ade85cd16eccce9537887e">&#9670;&nbsp;</a></span>OptionPossibilities</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;<a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a>&lt;T&gt; &gt; <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::<a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00457">457</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a00a2b17a8a0fefba400bc401f4392ed0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a00a2b17a8a0fefba400bc401f4392ed0">&#9670;&nbsp;</a></span>OptionMultiple()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::<a class="el" href="classOptionMultiple.html">OptionMultiple</a> </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>description</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a>&#160;</td>
+          <td class="paramname"><em>possibilities</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00459">459</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;        : <a class="code" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>(<span class="stringliteral">&quot;&quot;</span>, <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="code" href="classOptionBase.html#a21e8ccc08eef254ceee53185a717301d">extractPossibilityDescriptions</a>(<a class="code" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>)), <a class="code" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>(<a class="code" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>)</div><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    {</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> OptionPossibility&lt;T&gt; &amp;op : <a class="code" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>)</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        {</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;            <a class="code" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a>[std::get&lt;0&gt;(op)] = <span class="keyword">false</span>;</div><div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;        }</div><div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;</div><div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> OptionPossibility&lt;T&gt; &amp;op : possibilities)</div><div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;        {</div><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> possibilityName = std::get&lt;1&gt;(op);</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;            <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>()[possibilityName] = <span class="keyword">this</span>;</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        }</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;    }</div><div class="ttc" id="classOptionMultiple_html_aec251294a810d232e1f352a40126d82a"><div class="ttname"><a href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">OptionMultiple::possibilities</a></div><div class="ttdeci">OptionPossibilities possibilities</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00524">CommandLine.h:524</a></div></div>
+<div class="ttc" id="classOptionBase_html_ac68017dd45d05c5fe26ae04bb58f903c"><div class="ttname"><a href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">OptionBase::getOptionsMap</a></div><div class="ttdeci">static std::map&lt; std::string, OptionBase * &gt; &amp; getOptionsMap(void)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00307">CommandLine.h:307</a></div></div>
+<div class="ttc" id="classOptionBase_html_a8fbb1cde9e12a099617c8e8298424b5b"><div class="ttname"><a href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase::description</a></div><div class="ttdeci">std::string description</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00317">CommandLine.h:317</a></div></div>
+<div class="ttc" id="classOptionBase_html_ae99500409f218ce63d4dbce537884c7f"><div class="ttname"><a href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase::OptionBase</a></div><div class="ttdeci">OptionBase(std::string name, std::string description)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00033">CommandLine.h:33</a></div></div>
+<div class="ttc" id="classOptionMultiple_html_a037e34107c423615f1ba0c3fdab04b1f"><div class="ttname"><a href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple::optionValues</a></div><div class="ttdeci">std::unordered_map&lt; T, bool &gt; optionValues</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00523">CommandLine.h:523</a></div></div>
+<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classOptionBase_html_a21e8ccc08eef254ceee53185a717301d"><div class="ttname"><a href="classOptionBase.html#a21e8ccc08eef254ceee53185a717301d">OptionBase::extractPossibilityDescriptions</a></div><div class="ttdeci">static PossibilityDescriptions extractPossibilityDescriptions(const std::vector&lt; OptionPossibility&lt; T &gt;&gt; possibilities)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00294">CommandLine.h:294</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="aa582e95f6546ffd2fc8420699967bca9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa582e95f6546ffd2fc8420699967bca9">&#9670;&nbsp;</a></span>canSet()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::canSet </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Can this option be set? </p>
+<p>Implements <a class="el" href="classOptionBase.html#a41b5697dffc86139fa9341210f7233d9">OptionBase</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00474">474</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;    {</div><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="aebfc1b172ccde004333d9af7248dca4e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aebfc1b172ccde004333d9af7248dca4e">&#9670;&nbsp;</a></span>isMultiple()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::isMultiple </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Whether this option is an <a class="el" href="classOptionMultiple.html">OptionMultiple</a>. </p>
+<p>Reimplemented from <a class="el" href="classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd">OptionBase</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00494">494</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a6de3b01c7773ea6fddf84cd57e7401f8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6de3b01c7773ea6fddf84cd57e7401f8">&#9670;&nbsp;</a></span>nothingSet()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::nothingSet </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>If the bitset is empty. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00500">500</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    {</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> std::pair&lt;T, bool&gt; tb : <a class="code" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a>)</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        {</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;            <span class="keywordflow">if</span> (tb.second) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        }</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    }</div><div class="ttc" id="classOptionMultiple_html_a037e34107c423615f1ba0c3fdab04b1f"><div class="ttname"><a href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple::optionValues</a></div><div class="ttdeci">std::unordered_map&lt; T, bool &gt; optionValues</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00523">CommandLine.h:523</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af3ce2d981843996c5e47de2918d1f569"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af3ce2d981843996c5e47de2918d1f569">&#9670;&nbsp;</a></span>operator()()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::operator() </td>
+          <td>(</td>
+          <td class="paramtype">const T&#160;</td>
+          <td class="paramname"><em>v</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Returns whether the value v had been set as an option. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00511">511</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;    {</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;        <span class="keyword">typename</span> std::unordered_map&lt;T, bool&gt;::const_iterator ovIt = <a class="code" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a>.find(v);</div><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;        <span class="comment">// TODO: disabled as we check for &quot;invalid&quot; values in some places.</span></div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        <span class="comment">// assert(ovIt != optionValues.end() &amp;&amp; &quot;OptionMultiple: bad value checked&quot;);</span></div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        <span class="keywordflow">if</span> (ovIt == <a class="code" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a>.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;        <span class="keywordflow">return</span> ovIt-&gt;second;</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;    }</div><div class="ttc" id="classOptionMultiple_html_a037e34107c423615f1ba0c3fdab04b1f"><div class="ttname"><a href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple::optionValues</a></div><div class="ttdeci">std::unordered_map&lt; T, bool &gt; optionValues</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00523">CommandLine.h:523</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af175c4dde2e877dbf52eb20bd836615e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af175c4dde2e877dbf52eb20bd836615e">&#9670;&nbsp;</a></span>parseAndSetValue()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::parseAndSetValue </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>value</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>From a given string, set the value of this option. </p>
+<p>Implements <a class="el" href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">OptionBase</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00479">479</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    {</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;        <span class="comment">// Like in OptionMap basically, except we can have many values.</span></div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> OptionPossibility&lt;T&gt; &amp;op : <a class="code" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">possibilities</a>)</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        {</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;            <span class="keywordflow">if</span> (s == std::get&lt;1&gt;(op))</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;            {</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;                <a class="code" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">optionValues</a>[std::get&lt;0&gt;(op)] = <span class="keyword">true</span>;</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;            }</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;        }</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    }</div><div class="ttc" id="classOptionMultiple_html_aec251294a810d232e1f352a40126d82a"><div class="ttname"><a href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">OptionMultiple::possibilities</a></div><div class="ttdeci">OptionPossibilities possibilities</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00524">CommandLine.h:524</a></div></div>
+<div class="ttc" id="classOptionMultiple_html_a037e34107c423615f1ba0c3fdab04b1f"><div class="ttname"><a href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple::optionValues</a></div><div class="ttdeci">std::unordered_map&lt; T, bool &gt; optionValues</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00523">CommandLine.h:523</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a037e34107c423615f1ba0c3fdab04b1f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a037e34107c423615f1ba0c3fdab04b1f">&#9670;&nbsp;</a></span>optionValues</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">std::unordered_map&lt;T, bool&gt; <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::optionValues</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>Is the option set? Use a map rather than a set because it's now easier in one DS to determine whether something is 1) valid, and 2) set. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00523">523</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<a id="aec251294a810d232e1f352a40126d82a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aec251294a810d232e1f352a40126d82a">&#9670;&nbsp;</a></span>possibilities</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionPossibilities</a> <a class="el" href="classOptionMultiple.html">OptionMultiple</a>&lt; T &gt;::possibilities</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="CommandLine_8h_source.html#l00524">524</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="CommandLine_8h_source.html">CommandLine.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/classOptionMultiple.png ADDED Viewed

Binary file

package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html CHANGED Viewed

@@ -500,12 +500,12 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a">SVF::AssignStmt</a>.</p>
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00072">72</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    std::stringstream rawstr(str);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;AddrStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>)</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    {</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00261">SVFStatements.h:261</a></div></div>
+<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    std::stringstream rawstr(str);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;AddrStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    {</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;}</div><div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00261">SVFStatements.h:261</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00680">LLVMUtil.cpp:680</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00265">SVFStatements.h:265</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00120">SVFStatements.h:120</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>