199 lines
16 KiB
HTML
199 lines
16 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.13.2"/>
|
||
|
|
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
||
|
|
<title>SERiF: src/include/serif/model/execution_validation.hpp 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>
|
||
|
|
<script type="text/javascript" src="clipboard.js"></script>
|
||
|
|
<link href="navtree.css" rel="stylesheet" type="text/css"/>
|
||
|
|
<script type="text/javascript" src="navtreedata.js"></script>
|
||
|
|
<script type="text/javascript" src="navtree.js"></script>
|
||
|
|
<script type="text/javascript" src="resize.js"></script>
|
||
|
|
<script type="text/javascript" src="cookie.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" />
|
||
|
|
<link href="doxygen-awesome.css" rel="stylesheet" type="text/css"/>
|
||
|
|
<link href="doxygen-awesome-sidebar-only.css" rel="stylesheet" type="text/css"/>
|
||
|
|
<link href="doxygen-extra.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">SERiF<span id="projectnumber"> v0.0.1a</span>
|
||
|
|
</div>
|
||
|
|
<div id="projectbrief">Stellar Evolution and Rotation in Four Dimensions</div>
|
||
|
|
</td>
|
||
|
|
</tr>
|
||
|
|
</tbody>
|
||
|
|
</table>
|
||
|
|
</div>
|
||
|
|
<!-- end header part -->
|
||
|
|
<!-- Generated by Doxygen 1.13.2 -->
|
||
|
|
<script type="text/javascript">
|
||
|
|
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
|
||
|
|
var searchBox = new SearchBox("searchBox", "search/",'.html');
|
||
|
|
/* @license-end */
|
||
|
|
</script>
|
||
|
|
<script type="text/javascript">
|
||
|
|
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
|
||
|
|
$(function() { codefold.init(0); });
|
||
|
|
/* @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&dn=expat.txt MIT */
|
||
|
|
$(function() {
|
||
|
|
initMenu('',true,false,'search.php','Search',true);
|
||
|
|
$(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&dn=expat.txt MIT */
|
||
|
|
$(function(){initNavTree('execution__validation_8hpp.html',''); initResizable(true); });
|
||
|
|
/* @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">
|
||
|
|
<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 class="header">
|
||
|
|
<div class="summary">
|
||
|
|
<a href="#nested-classes">Classes</a> |
|
||
|
|
<a href="#namespaces">Namespaces</a> |
|
||
|
|
<a href="#concepts">Concepts</a> |
|
||
|
|
<a href="#typedef-members">Typedefs</a> |
|
||
|
|
<a href="#func-members">Functions</a> </div>
|
||
|
|
<div class="headertitle"><div class="title">execution_validation.hpp File Reference</div></div>
|
||
|
|
</div><!--header-->
|
||
|
|
<div class="contents">
|
||
|
|
<div class="textblock"><code>#include "<a class="el" href="equilibrium__plan_8hpp.html">serif/model/equilibrium_plan.hpp</a>"</code><br />
|
||
|
|
<code>#include "<a class="el" href="model_2validation_8hpp.html">serif/model/validation.hpp</a>"</code><br />
|
||
|
|
</div><div class="textblock"><div class="dynheader">
|
||
|
|
Include dependency graph for execution_validation.hpp:</div>
|
||
|
|
<div class="dyncontent">
|
||
|
|
<div class="center"><div class="zoom"><iframe scrolling="no" frameborder="0" src="execution__validation_8hpp__incl.svg" width="100%" height="600"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe></div></div>
|
||
|
|
</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"><div class="zoom"><iframe scrolling="no" frameborder="0" src="execution__validation_8hpp__dep__incl.svg" width="100%" height="600"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe></div></div>
|
||
|
|
</div>
|
||
|
|
</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  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_cartesian_couplings_3_01utils_1_1dependencies_1_1_key_list_3_1aeac7cb8e4197c8efc3cb5c64082687.html">serif::model::detail::CartesianCouplings< utils::dependencies::KeyList< Rows... >, utils::dependencies::KeyList< Fields... > ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_execution_surface.html">serif::model::detail::ExecutionSurface< Plan, typename ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_execution_surface_3_01_plan_00_01std_1_1void__t_3_01typename_01_plan_1_1_surface_01_4_01_4.html">serif::model::detail::ExecutionSurface< Plan, std::void_t< typename Plan::Surface > ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_execution_inputs.html">serif::model::detail::ExecutionInputs< Plan, typename ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_execution_inputs_3_01_plan_00_01std_1_1void__t_3_01typename_0fa90771a73a9f7619c8ad46d39189df1.html">serif::model::detail::ExecutionInputs< Plan, std::void_t< typename Plan::PhysicalInputs, typename Plan::InactiveRows > ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structserif_1_1model_1_1detail_1_1_equilibrium_couplings.html">serif::model::detail::EquilibriumCouplings< Description, Surface ></a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </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:"><td class="memItemLeft" align="right" valign="top">namespace  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceserif.html">serif</a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">namespace  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model.html">serif::model</a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">namespace  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model_1_1detail.html">serif::model::detail</a></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
</table><table class="memberdecls">
|
||
|
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="concepts" name="concepts"></a>
|
||
|
|
Concepts</h2></td></tr>
|
||
|
|
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">concept  </td><td class="memItemRight" valign="bottom"><a class="el" href="conceptserif_1_1model_1_1_executable_equilibrium_description.html">serif::model::ExecutableEquilibriumDescription</a></td></tr>
|
||
|
|
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">Recognize current equation backends without instantiating an invalid complete plan. <br /></td></tr>
|
||
|
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
</table><table class="memberdecls">
|
||
|
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="typedef-members" name="typedef-members"></a>
|
||
|
|
Typedefs</h2></td></tr>
|
||
|
|
<tr class="memitem:a1a9e18895b6021d27952932da09eb71b" id="r_a1a9e18895b6021d27952932da09eb71b"><td class="memTemplParams" colspan="2">template<ExecutableEquilibriumDescription Description, typename Plan> </td></tr>
|
||
|
|
<tr class="memitem:a1a9e18895b6021d27952932da09eb71b"><td class="memTemplItemLeft" align="right" valign="top">using </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model.html#a1a9e18895b6021d27952932da09eb71b">serif::model::ActualEquilibriumCouplings</a> = typename <a class="el" href="structserif_1_1model_1_1detail_1_1_equilibrium_couplings.html">detail::EquilibriumCouplings</a><Description, <a class="el" href="structserif_1_1model_1_1detail_1_1_execution_surface.html">detail::ExecutionSurface</a><Plan>>::Type</td></tr>
|
||
|
|
<tr class="memdesc:a1a9e18895b6021d27952932da09eb71b"><td class="mdescLeft"> </td><td class="mdescRight">Inspect the actual derivative producers admitted by the explicitly supplied physical formulation. <br /></td></tr>
|
||
|
|
<tr class="separator:a1a9e18895b6021d27952932da09eb71b"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
</table><table class="memberdecls">
|
||
|
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="func-members" name="func-members"></a>
|
||
|
|
Functions</h2></td></tr>
|
||
|
|
<tr class="memitem:afb30e6c6a4f8c30445f235bba5d44413" id="r_afb30e6c6a4f8c30445f235bba5d44413"><td class="memTemplParams" colspan="2">template<DimensionalScalarSpecification Specification, typename Rows, typename InactiveRows, typename Actual, typename Bindings> </td></tr>
|
||
|
|
<tr class="memitem:afb30e6c6a4f8c30445f235bba5d44413"><td class="memTemplItemLeft" align="right" valign="top">consteval bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model_1_1detail.html#afb30e6c6a4f8c30445f235bba5d44413">serif::model::detail::generated_physics_is_present</a> ()</td></tr>
|
||
|
|
<tr class="memdesc:afb30e6c6a4f8c30445f235bba5d44413"><td class="mdescLeft"> </td><td class="mdescRight">Demand an explicitly supplied generated equation and effect before inferring closed-row zeros. <br /></td></tr>
|
||
|
|
<tr class="separator:afb30e6c6a4f8c30445f235bba5d44413"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:a277ce1ffbd3bd2cc6afee1f566484846" id="r_a277ce1ffbd3bd2cc6afee1f566484846"><td class="memTemplParams" colspan="2">template<typename Rows, typename InactiveRows, typename Actual, typename Bindings, typename... Specifications> </td></tr>
|
||
|
|
<tr class="memitem:a277ce1ffbd3bd2cc6afee1f566484846"><td class="memTemplItemLeft" align="right" valign="top">consteval bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model_1_1detail.html#a277ce1ffbd3bd2cc6afee1f566484846">serif::model::detail::generated_physics_are_present</a> (<a class="el" href="structserif_1_1utils_1_1types_1_1_type_list.html">utils::types::TypeList</a>< Specifications... >)</td></tr>
|
||
|
|
<tr class="memdesc:a277ce1ffbd3bd2cc6afee1f566484846"><td class="mdescLeft"> </td><td class="mdescRight">Check only numerical-provider admission; physical endpoint ownership is checked separately. <br /></td></tr>
|
||
|
|
<tr class="separator:a277ce1ffbd3bd2cc6afee1f566484846"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:adcfc1df7cc2e1114d6d15b41fee9b712" id="r_adcfc1df7cc2e1114d6d15b41fee9b712"><td class="memTemplParams" colspan="2">template<typename Rows, typename... Required> </td></tr>
|
||
|
|
<tr class="memitem:adcfc1df7cc2e1114d6d15b41fee9b712"><td class="memTemplItemLeft" align="right" valign="top">consteval bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model_1_1detail.html#adcfc1df7cc2e1114d6d15b41fee9b712">serif::model::detail::equation_rows_exist</a> (<a class="el" href="structserif_1_1utils_1_1dependencies_1_1_key_list.html">utils::dependencies::KeyList</a>< Required... >)</td></tr>
|
||
|
|
<tr class="memdesc:adcfc1df7cc2e1114d6d15b41fee9b712"><td class="mdescLeft"> </td><td class="mdescRight">Every surface carrier must have an equation row in the selected layout. <br /></td></tr>
|
||
|
|
<tr class="separator:adcfc1df7cc2e1114d6d15b41fee9b712"><td class="memSeparator" colspan="2"> </td></tr>
|
||
|
|
<tr class="memitem:a85f2ca250e5b86d7c907d7db1428d852" id="r_a85f2ca250e5b86d7c907d7db1428d852"><td class="memTemplParams" colspan="2">template<typename Model, typename Description, typename Plan, typename Bindings = DefaultSpecificationBindings, typename ExplicitZeroCouplings = utils::dependencies::KeyList<>> </td></tr>
|
||
|
|
<tr class="memitem:a85f2ca250e5b86d7c907d7db1428d852"><td class="memTemplItemLeft" align="right" valign="top">consteval bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceserif_1_1model.html#a85f2ca250e5b86d7c907d7db1428d852">serif::model::executable_model_topology</a> ()</td></tr>
|
||
|
|
<tr class="memdesc:a85f2ca250e5b86d7c907d7db1428d852"><td class="mdescLeft"> </td><td class="mdescRight">Validate a complete selected formulation without inferring solvability or selecting physics. <br /></td></tr>
|
||
|
|
<tr class="separator:a85f2ca250e5b86d7c907d7db1428d852"><td class="memSeparator" colspan="2"> </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_b0856f6b0d80ccb263b2f415c91f9e17.html">include</a></li><li class="navelem"><a class="el" href="dir_e3fc9bd9804296f8660ca61563b995c5.html">serif</a></li><li class="navelem"><a class="el" href="dir_c6d007d78fd1e188923aaa983ad27a9c.html">model</a></li><li class="navelem"><a class="el" href="execution__validation_8hpp.html">execution_validation.hpp</a></li>
|
||
|
|
<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.13.2 </li>
|
||
|
|
</ul>
|
||
|
|
</div>
|
||
|
|
</body>
|
||
|
|
</html>
|