deploy: moves-rwth/storm@b3e08d7

moves-rwth · Sep 27, 2023 · a12cda8 · a12cda8
commit a12cda8
Show file tree

Hide file tree

Showing 25,850 changed files with 2,118,974 additions and 0 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/annotated.html b/annotated.html
diff --git a/annotated_dup.js b/annotated_dup.js
diff --git a/bc_s.png b/bc_s.png
diff --git a/bdwn.png b/bdwn.png
diff --git a/classes.html b/classes.html
diff --git a/closed.png b/closed.png
diff --git a/d0/d00/structstorm_1_1generator_1_1_boolean_variable_information-members.html b/d0/d00/structstorm_1_1generator_1_1_boolean_variable_information-members.html
@@ -0,0 +1,107 @@
+<!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">
+<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.4"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Storm: Member List</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="../../navtree.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="../../resize.js"></script>
+<script type="text/javascript" src="../../navtreedata.js"></script>
+<script type="text/javascript" src="../../navtree.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">Storm
+   </div>
+   <div id="projectbrief">A Modern Probabilistic Model Checker</div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.9.4 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
+var searchBox = new SearchBox("searchBox", "../../search",'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>
+</div><!-- top -->
+<div id="side-nav" class="ui-resizable side-nav-resizable">
+  <div id="nav-tree">
+    <div id="nav-tree-contents">
+      <div id="nav-sync" class="sync"></div>
+    </div>
+  </div>
+  <div id="splitbar" style="-moz-user-select:none;" 
+       class="ui-resizable-handle">
+  </div>
+</div>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
+$(document).ready(function(){initNavTree('d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html','../../'); initResizable(); });
+/* @license-end */
+</script>
+<div id="doc-content">
+<!-- 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 class="header">
+  <div class="headertitle"><div class="title">storm::generator::BooleanVariableInformation Member List</div></div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#a1cd9712f85e6fbb8a9f3c3c2dce9f7f7">bitOffset</a></td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"></td></tr>
+  <tr class="odd"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#afb7df9d8e99afa8553c7d9443c4cedb9">BooleanVariableInformation</a>(storm::expressions::Variable const &amp;variable, uint_fast64_t bitOffset, bool global, bool observable)</td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#a0ddfa68cfed004664847cd32a91c775c">getName</a>() const</td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="odd"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#a05d5b539c382e7b39aa11b93d1713beb">global</a></td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#a078a79e0bac3ea63b99363e20c722aa2">observable</a></td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"></td></tr>
+  <tr class="odd"><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html#a5a1406296f85266b3c10f767df711581">variable</a></td><td class="entry"><a class="el" href="../../d0/d1f/structstorm_1_1generator_1_1_boolean_variable_information.html">storm::generator::BooleanVariableInformation</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+</div><!-- doc-content -->
+<!-- start footer part -->
+<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
+  <ul>
+    <li class="footer">Generated on Wed Sep 27 2023 08:18:48 for Storm by <a href="https://www.doxygen.org/index.html"><img class="footer" src="../../doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.4 </li>
+  </ul>
+</div>
+</body>
+</html>
diff --git a/d0/d01/_explicit_qualitative_game_result_min_max_8h.html b/d0/d01/_explicit_qualitative_game_result_min_max_8h.html
@@ -0,0 +1,188 @@
+<!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">
+<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.4"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Storm: src/storm/abstraction/ExplicitQualitativeGameResultMinMax.h File 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="../../navtree.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="../../resize.js"></script>
+<script type="text/javascript" src="../../navtreedata.js"></script>
+<script type="text/javascript" src="../../navtree.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">Storm
+   </div>
+   <div id="projectbrief">A Modern Probabilistic Model Checker</div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.9.4 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
+var searchBox = new SearchBox("searchBox", "../../search",'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>
+</div><!-- top -->
+<div id="side-nav" class="ui-resizable side-nav-resizable">
+  <div id="nav-tree">
+    <div id="nav-tree-contents">
+      <div id="nav-sync" class="sync"></div>
+    </div>
+  </div>
+  <div id="splitbar" style="-moz-user-select:none;" 
+       class="ui-resizable-handle">
+  </div>
+</div>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
+$(document).ready(function(){initNavTree('d0/d01/_explicit_qualitative_game_result_min_max_8h.html','../../'); initResizable(); });
+/* @license-end */
+</script>
+<div id="doc-content">
+<!-- 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 class="header">
+  <div class="summary">
+<a href="#nested-classes">Classes</a> &#124;
+<a href="#namespaces">Namespaces</a>  </div>
+  <div class="headertitle"><div class="title">ExplicitQualitativeGameResultMinMax.h File Reference</div></div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &quot;<a class="el" href="../../da/d3e/_explicit_qualitative_game_result_8h_source.html">storm/abstraction/ExplicitQualitativeGameResult.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="../../d8/d2d/_explicit_qualitative_result_min_max_8h_source.html">storm/abstraction/ExplicitQualitativeResultMinMax.h</a>&quot;</code><br />
+</div><div class="textblock"><div class="dynheader">
+Include dependency graph for ExplicitQualitativeGameResultMinMax.h:</div>
+<div class="dyncontent">
+<div class="center"><img src="../../d7/d2c/_explicit_qualitative_game_result_min_max_8h__incl.png" border="0" usemap="#asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8h" alt=""/></div>
+<map name="asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8h" id="asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8h">
+<area shape="rect" title=" " alt="" coords="3614,5,3841,61"/>
+<area shape="rect" href="../../da/d3e/_explicit_qualitative_game_result_8h.html" title=" " alt="" coords="3567,109,3757,151"/>
+<area shape="rect" href="../../d8/d2d/_explicit_qualitative_result_min_max_8h.html" title=" " alt="" coords="2980,541,3179,583"/>
+<area shape="rect" href="../../da/dce/_explicit_qualitative_result_8h.html" title=" " alt="" coords="3975,541,4165,583"/>
+<area shape="rect" href="../../d6/df3/graph_8h.html" title=" " alt="" coords="1905,199,2059,225"/>
+<area shape="rect" href="../../d3/d5c/_dd_type_8h.html" title=" " alt="" coords="3663,727,3861,754"/>
+<area shape="rect" href="../../d0/dfe/_qualitative_result_8h.html" title=" " alt="" coords="4026,631,4239,672"/>
+<area shape="rect" title=" " alt="" coords="2086,281,2145,307"/>
+<area shape="rect" title=" " alt="" coords="2977,727,3019,754"/>
+<area shape="rect" href="../../dc/d20/_strongly_connected_component_8h.html" title=" " alt="" coords="402,273,642,315"/>
+<area shape="rect" href="../../d5/d49/_state_type_8h.html" title=" " alt="" coords="1179,720,1339,761"/>
+<area shape="rect" href="../../d7/de1/_optimization_direction_8h.html" title=" " alt="" coords="761,720,953,761"/>
+<area shape="rect" href="../../de/d1f/_os_detection_8h.html" title=" " alt="" coords="537,727,736,754"/>
+<area shape="rect" href="../../d6/d8d/sparse_2_deterministic_model_8h.html" title=" " alt="" coords="813,363,980,404"/>
+<area shape="rect" href="../../dd/dcd/sparse_2_nondeterministic_model_8h.html" title=" " alt="" coords="1979,363,2169,404"/>
+<area shape="rect" href="../../d4/dfa/_scheduler_8h.html" title=" " alt="" coords="1819,281,2011,307"/>
+<area shape="rect" href="../../de/d25/_bdd_8h.html" title=" " alt="" coords="3581,459,3756,486"/>
+<area shape="rect" href="../../d6/dd0/_decomposition_8h.html" title=" " alt="" coords="1005,370,1231,397"/>
+<area shape="rect" href="../../d3/d32/_state_block_8h.html" title=" " alt="" coords="263,638,461,665"/>
+<area shape="rect" title=" " alt="" coords="1091,809,1158,836"/>
+<area shape="rect" title=" " alt="" coords="1387,809,1463,836"/>
+<area shape="rect" title=" " alt="" coords="2187,809,2249,836"/>
+<area shape="rect" href="../../d2/dfd/models_2sparse_2_model_8h.html" title=" " alt="" coords="1404,452,1563,493"/>
+<area shape="rect" href="../../d4/d63/_sparse_matrix_8h.html" title=" " alt="" coords="859,638,1073,665"/>
+<area shape="rect" title=" " alt="" coords="1301,549,1375,575"/>
+<area shape="rect" title=" " alt="" coords="1771,727,1895,754"/>
+<area shape="rect" href="../../d9/d6f/models_2_model_8h.html" title=" " alt="" coords="1399,549,1567,575"/>
+<area shape="rect" href="../../dd/d40/_model_representation_8h.html" title=" " alt="" coords="2437,638,2703,665"/>
+<area shape="rect" href="../../d4/d07/_choice_labeling_8h.html" title=" " alt="" coords="1971,720,2129,761"/>
+<area shape="rect" href="../../d9/dd5/_state_labeling_8h.html" title=" " alt="" coords="1435,631,1593,672"/>
+<area shape="rect" href="../../d1/da0/_choice_origins_8h.html" title=" " alt="" coords="1871,631,2031,672"/>
+<area shape="rect" href="../../d9/d8d/_model_components_8h.html" title=" " alt="" coords="1642,541,1802,583"/>
+<area shape="rect" href="../../d9/d90/_state_valuations_8h.html" title=" " alt="" coords="1250,631,1410,672"/>
+<area shape="rect" href="../../d9/d36/_bit_vector_8h.html" title=" " alt="" coords="1497,727,1683,754"/>
+<area shape="rect" title=" " alt="" coords="1581,809,1644,836"/>
+<area shape="rect" title=" " alt="" coords="3244,809,3331,836"/>
+<area shape="rect" title=" " alt="" coords="1487,809,1557,836"/>
+<area shape="rect" title=" " alt="" coords="817,809,897,836"/>
+<area shape="rect" title=" " alt="" coords="2778,638,2855,665"/>
+<area shape="rect" title=" " alt="" coords="48,720,236,761"/>
+<area shape="rect" href="../../d3/df0/_boost_types_8h.html" title=" " alt="" coords="261,727,463,754"/>
+<area shape="rect" href="../../db/d49/_state_action_pair_8h.html" title=" " alt="" coords="2514,452,2706,493"/>
+<area shape="rect" href="../../da/dcf/_scheduler_choice_8h.html" title=" " alt="" coords="2059,459,2297,486"/>
+<area shape="rect" href="../../d1/daa/_memory_structure_8h.html" title=" " alt="" coords="2193,363,2424,404"/>
+<area shape="rect" href="../../db/d02/storage_2_distribution_8h.html" title=" " alt="" coords="2207,638,2413,665"/>
+<area shape="rect" href="../../df/df8/storage_2dd_2dd_8h.html" title=" " alt="" coords="3083,638,3249,665"/>
+<area shape="rect" href="../../d3/d4d/_pair_hash_8h.html" title=" " alt="" coords="3253,549,3439,575"/>
+<area shape="rect" href="../../d7/da8/_internal_bdd_8h.html" title=" " alt="" coords="3663,631,3850,672"/>
+<area shape="rect" href="../../da/df3/_internal_cudd_bdd_8h.html" title=" " alt="" coords="3463,541,3631,583"/>
+<area shape="rect" href="../../d4/df5/_qualitative_result_min_max_8h.html" title=" " alt="" coords="3325,631,3538,672"/>
+</map>
+</div>
+</div><div class="textblock"><div class="dynheader">
+This graph shows which files directly or indirectly include this file:</div>
+<div class="dyncontent">
+<div class="center"><img src="../../d7/da8/_explicit_qualitative_game_result_min_max_8h__dep__incl.png" border="0" usemap="#asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8hdep" alt=""/></div>
+<map name="asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8hdep" id="asrc_2storm_2abstraction_2_explicit_qualitative_game_result_min_max_8hdep">
+<area shape="rect" title=" " alt="" coords="229,5,456,61"/>
+<area shape="rect" href="../../d4/d1c/_explicit_qualitative_game_result_min_max_8cpp.html" title=" " alt="" coords="5,109,232,165"/>
+<area shape="rect" href="../../db/d79/_menu_game_refiner_8cpp.html" title=" " alt="" coords="256,117,429,158"/>
+<area shape="rect" href="../../d7/db9/_game_based_mdp_model_checker_8cpp.html" title=" " alt="" coords="453,109,704,165"/>
+</map>
+</div>
+</div>
+<p><a href="../../d0/d01/_explicit_qualitative_game_result_min_max_8h_source.html">Go to the source code of this file.</a></p>
+<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">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../d4/d07/classstorm_1_1abstraction_1_1_explicit_qualitative_game_result_min_max.html">storm::abstraction::ExplicitQualitativeGameResultMinMax</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="namespaces" name="namespaces"></a>
+Namespaces</h2></td></tr>
+<tr class="memitem:db/d5a/namespacestorm"><td class="memItemLeft" align="right" valign="top">namespace &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d5a/namespacestorm.html">storm</a></td></tr>
+<tr class="memdesc:db/d5a/namespacestorm"><td class="mdescLeft">&#160;</td><td class="mdescRight">LabParser.cpp. <br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:d1/d87/namespacestorm_1_1abstraction"><td class="memItemLeft" align="right" valign="top">namespace &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../d1/d87/namespacestorm_1_1abstraction.html">storm::abstraction</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+</div><!-- contents -->
+</div><!-- doc-content -->
+<!-- start footer part -->
+<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
+  <ul>
+    <li class="navelem"><a class="el" href="../../dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="../../dir_a5f1938ea56cb617cb7626ad4420b793.html">storm</a></li><li class="navelem"><a class="el" href="../../dir_2841c8727c539fe05791f9daa335a1a2.html">abstraction</a></li><li class="navelem"><a class="el" href="../../d0/d01/_explicit_qualitative_game_result_min_max_8h.html">ExplicitQualitativeGameResultMinMax.h</a></li>
+    <li class="footer">Generated on Wed Sep 27 2023 08:18:44 for Storm by <a href="https://www.doxygen.org/index.html"><img class="footer" src="../../doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.4 </li>
+  </ul>
+</div>
+</body>
+</html>
diff --git a/d0/d01/_explicit_qualitative_game_result_min_max_8h.js b/d0/d01/_explicit_qualitative_game_result_min_max_8h.js
@@ -0,0 +1,4 @@
+var _explicit_qualitative_game_result_min_max_8h =
+[
+    [ "storm::abstraction::ExplicitQualitativeGameResultMinMax", "d4/d07/classstorm_1_1abstraction_1_1_explicit_qualitative_game_result_min_max.html", "d4/d07/classstorm_1_1abstraction_1_1_explicit_qualitative_game_result_min_max" ]
+];