-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 80e009e
Showing
222 changed files
with
16,493 additions
and
0 deletions.
There are no files selected for viewing
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,131 @@ | ||
| <!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=9"/> | ||
| <meta name="generator" content="Doxygen 1.9.1"/> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1"/> | ||
| <title>Quantitative Timed Pattern Matching Developers Manual: Class 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> | ||
| <script type="text/x-mathjax-config"> | ||
| MathJax.Hub.Config({ | ||
| extensions: ["tex2jax.js"], | ||
| jax: ["input/TeX","output/HTML-CSS"], | ||
| }); | ||
| </script> | ||
| <script type="text/javascript" async="async" src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.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">Quantitative Timed Pattern Matching Developers Manual | ||
|  <span id="projectnumber">0.1.0</span> | ||
| </div> | ||
| </td> | ||
| </tr> | ||
| </tbody> | ||
| </table> | ||
| </div> | ||
| <!-- end header part --> | ||
| <!-- Generated by Doxygen 1.9.1 --> | ||
| <script type="text/javascript"> | ||
| /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */ | ||
| var searchBox = new SearchBox("searchBox", "search",false,'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:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */ | ||
| $(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:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */ | ||
| $(document).ready(function(){initNavTree('annotated.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">Class List</div> </div> | ||
| </div><!--header--> | ||
| <div class="contents"> | ||
| <div class="textblock">Here are the classes, structs, unions and interfaces with brief descriptions:</div><div class="directory"> | ||
| <table class="directory"> | ||
| <tr id="row_0_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structans__trait.html" target="_self">ans_trait</a></td><td class="desc"></td></tr> | ||
| <tr id="row_1_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structans__trait_3_01MaxMinSemiring_3_01double_01_4_01_4.html" target="_self">ans_trait< MaxMinSemiring< double > ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structans__trait_3_01MaxMinSemiring_3_01int_01_4_01_4.html" target="_self">ans_trait< MaxMinSemiring< int > ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_3_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structans__trait_3_01MinPlusSemiring_3_01double_01_4_01_4.html" target="_self">ans_trait< MinPlusSemiring< double > ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_4_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structans__trait_3_01MinPlusSemiring_3_01int_01_4_01_4.html" target="_self">ans_trait< MinPlusSemiring< int > ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_5_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classBooleanSemiring.html" target="_self">BooleanSemiring</a></td><td class="desc"></td></tr> | ||
| <tr id="row_6_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structBoostTAState.html" target="_self">BoostTAState</a></td><td class="desc"></td></tr> | ||
| <tr id="row_7_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structBoostTATransition.html" target="_self">BoostTATransition</a></td><td class="desc"></td></tr> | ||
| <tr id="row_8_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structBoostZoneGraphState.html" target="_self">BoostZoneGraphState</a></td><td class="desc"></td></tr> | ||
| <tr id="row_9_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structConstraint.html" target="_self">Constraint</a></td><td class="desc">A constraint in a guard of transitions </td></tr> | ||
| <tr id="row_10_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classConstraintMaker.html" target="_self">ConstraintMaker</a></td><td class="desc"></td></tr> | ||
| <tr id="row_11_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDBM.html" target="_self">DBM</a></td><td class="desc">Implementation of a zone with <a class="el" href="structDBM.html" title="Implementation of a zone with DBM DBM For the detail of DBMs, see for example .">DBM</a> <a class="el" href="structDBM.html" title="Implementation of a zone with DBM DBM For the detail of DBMs, see for example .">DBM</a> For the detail of DBMs, see for example <b>[BY03]</b> </td></tr> | ||
| <tr id="row_12_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classMaxMinSemiring.html" target="_self">MaxMinSemiring</a></td><td class="desc"></td></tr> | ||
| <tr id="row_13_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classMaxPlusSemiring.html" target="_self">MaxPlusSemiring</a></td><td class="desc"></td></tr> | ||
| <tr id="row_14_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classMinPlusSemiring.html" target="_self">MinPlusSemiring</a></td><td class="desc"></td></tr> | ||
| <tr id="row_15_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structnum__type__trait.html" target="_self">num_type_trait</a></td><td class="desc"></td></tr> | ||
| <tr id="row_16_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structnum__type__trait_3_01signed_01char_01_4.html" target="_self">num_type_trait< signed char ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_17_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structnum__type__trait_3_01unsigned_01char_01_4.html" target="_self">num_type_trait< unsigned char ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_18_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classQuantitativeTimedPatternMatching.html" target="_self">QuantitativeTimedPatternMatching</a></td><td class="desc">A class to execute quantitative timed pattern matching </td></tr> | ||
| <tr id="row_19_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structResetVars.html" target="_self">ResetVars</a></td><td class="desc"></td></tr> | ||
| <tr id="row_20_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structweight__label__writer.html" target="_self">weight_label_writer</a></td><td class="desc"></td></tr> | ||
| <tr id="row_21_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structZoneGraphLabelWriter.html" target="_self">ZoneGraphLabelWriter</a></td><td class="desc"></td></tr> | ||
| </table> | ||
| </div><!-- directory --> | ||
| </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 by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.1 </li> | ||
| </ul> | ||
| </div> | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,25 @@ | ||
| var annotated_dup = | ||
| [ | ||
| [ "ans_trait", "structans__trait.html", null ], | ||
| [ "ans_trait< MaxMinSemiring< double > >", "structans__trait_3_01MaxMinSemiring_3_01double_01_4_01_4.html", null ], | ||
| [ "ans_trait< MaxMinSemiring< int > >", "structans__trait_3_01MaxMinSemiring_3_01int_01_4_01_4.html", null ], | ||
| [ "ans_trait< MinPlusSemiring< double > >", "structans__trait_3_01MinPlusSemiring_3_01double_01_4_01_4.html", null ], | ||
| [ "ans_trait< MinPlusSemiring< int > >", "structans__trait_3_01MinPlusSemiring_3_01int_01_4_01_4.html", null ], | ||
| [ "BooleanSemiring", "classBooleanSemiring.html", "classBooleanSemiring" ], | ||
| [ "BoostTAState", "structBoostTAState.html", "structBoostTAState" ], | ||
| [ "BoostTATransition", "structBoostTATransition.html", "structBoostTATransition" ], | ||
| [ "BoostZoneGraphState", "structBoostZoneGraphState.html", "structBoostZoneGraphState" ], | ||
| [ "Constraint", "structConstraint.html", "structConstraint" ], | ||
| [ "ConstraintMaker", "classConstraintMaker.html", "classConstraintMaker" ], | ||
| [ "DBM", "structDBM.html", "structDBM" ], | ||
| [ "MaxMinSemiring", "classMaxMinSemiring.html", "classMaxMinSemiring" ], | ||
| [ "MaxPlusSemiring", "classMaxPlusSemiring.html", "classMaxPlusSemiring" ], | ||
| [ "MinPlusSemiring", "classMinPlusSemiring.html", "classMinPlusSemiring" ], | ||
| [ "num_type_trait", "structnum__type__trait.html", "structnum__type__trait" ], | ||
| [ "num_type_trait< signed char >", "structnum__type__trait_3_01signed_01char_01_4.html", "structnum__type__trait_3_01signed_01char_01_4" ], | ||
| [ "num_type_trait< unsigned char >", "structnum__type__trait_3_01unsigned_01char_01_4.html", "structnum__type__trait_3_01unsigned_01char_01_4" ], | ||
| [ "QuantitativeTimedPatternMatching", "classQuantitativeTimedPatternMatching.html", "classQuantitativeTimedPatternMatching" ], | ||
| [ "ResetVars", "structResetVars.html", "structResetVars" ], | ||
| [ "weight_label_writer", "structweight__label__writer.html", "structweight__label__writer" ], | ||
| [ "ZoneGraphLabelWriter", "structZoneGraphLabelWriter.html", "structZoneGraphLabelWriter" ] | ||
| ]; |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Oops, something went wrong.