| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| <html xmlns="http://www.w3.org/1999/xhtml" lang="en-US"> |
| <head> |
| <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> |
| <meta http-equiv="X-UA-Compatible" content="IE=11"/> |
| <meta name="generator" content="Doxygen 1.9.8"/> |
| <meta name="viewport" content="width=device-width, initial-scale=1"/> |
| <title>iceberg-cpp: iceberg::And Class Reference</title> |
| <link href="tabs.css" rel="stylesheet" type="text/css"/> |
| <script type="text/javascript" src="jquery.js"></script> |
| <script type="text/javascript" src="dynsections.js"></script> |
| <link href="search/search.css" rel="stylesheet" type="text/css"/> |
| <script type="text/javascript" src="search/searchdata.js"></script> |
| <script type="text/javascript" src="search/search.js"></script> |
| <link href="doxygen.css" rel="stylesheet" type="text/css" /> |
| </head> |
| <body> |
| <div id="top"><!-- do not remove this div, it is closed by doxygen! --> |
| <div id="titlearea"> |
| <table cellspacing="0" cellpadding="0"> |
| <tbody> |
| <tr id="projectrow"> |
| <td id="projectalign"> |
| <div id="projectname">iceberg-cpp |
| </div> |
| </td> |
| </tr> |
| </tbody> |
| </table> |
| </div> |
| <!-- end header part --> |
| <!-- Generated by Doxygen 1.9.8 --> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| var searchBox = new SearchBox("searchBox", "search/",'.html'); |
| /* @license-end */ |
| </script> |
| <script type="text/javascript" src="menudata.js"></script> |
| <script type="text/javascript" src="menu.js"></script> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| $(function() { |
| initMenu('',true,false,'search.php','Search'); |
| $(document).ready(function() { init_search(); }); |
| }); |
| /* @license-end */ |
| </script> |
| <div id="main-nav"></div> |
| <!-- window showing the filter options --> |
| <div id="MSearchSelectWindow" |
| onmouseover="return searchBox.OnSearchSelectShow()" |
| onmouseout="return searchBox.OnSearchSelectHide()" |
| onkeydown="return searchBox.OnSearchSelectKey(event)"> |
| </div> |
| |
| <!-- iframe showing the search results (closed by default) --> |
| <div id="MSearchResultsWindow"> |
| <div id="MSearchResults"> |
| <div class="SRPage"> |
| <div id="SRIndex"> |
| <div id="SRResults"></div> |
| <div class="SRStatus" id="Loading">Loading...</div> |
| <div class="SRStatus" id="Searching">Searching...</div> |
| <div class="SRStatus" id="NoMatches">No Matches</div> |
| </div> |
| </div> |
| </div> |
| </div> |
| |
| <div id="nav-path" class="navpath"> |
| <ul> |
| <li class="navelem"><b>iceberg</b></li><li class="navelem"><a class="el" href="classiceberg_1_1And.html">And</a></li> </ul> |
| </div> |
| </div><!-- top --> |
| <div class="header"> |
| <div class="summary"> |
| <a href="#pub-methods">Public Member Functions</a> | |
| <a href="#pub-static-methods">Static Public Member Functions</a> | |
| <a href="classiceberg_1_1And-members.html">List of all members</a> </div> |
| <div class="headertitle"><div class="title">iceberg::And Class Reference</div></div> |
| </div><!--header--> |
| <div class="contents"> |
| |
| <p>An <a class="el" href="classiceberg_1_1Expression.html" title="Represents a boolean expression tree.">Expression</a> that represents a logical AND operation between two expressions. |
| <a href="classiceberg_1_1And.html#details">More...</a></p> |
| |
| <p><code>#include <<a class="el" href="expression_8h_source.html">expression.h</a>></code></p> |
| <div class="dynheader"> |
| Inheritance diagram for iceberg::And:</div> |
| <div class="dyncontent"> |
| <div class="center"> |
| <img src="classiceberg_1_1And.png" usemap="#iceberg::And_map" alt=""/> |
| <map id="iceberg::And_map" name="iceberg::And_map"> |
| <area href="classiceberg_1_1Expression.html" title="Represents a boolean expression tree." alt="iceberg::Expression" shape="rect" coords="0,56,149,80"/> |
| <area href="classiceberg_1_1util_1_1Formattable.html" title="Interface for objects that can be formatted via std::format." alt="iceberg::util::Formattable" shape="rect" coords="0,0,149,24"/> |
| </map> |
| </div></div> |
| <table class="memberdecls"> |
| <tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pub-methods" name="pub-methods"></a> |
| Public Member Functions</h2></td></tr> |
| <tr class="memitem:aa0fe46e4caa3f8e9186cd7ad329050c1" id="r_aa0fe46e4caa3f8e9186cd7ad329050c1"><td class="memItemLeft" align="right" valign="top">const std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#aa0fe46e4caa3f8e9186cd7ad329050c1">left</a> () const</td></tr> |
| <tr class="memdesc:aa0fe46e4caa3f8e9186cd7ad329050c1"><td class="mdescLeft"> </td><td class="mdescRight">Returns the left operand of the AND expression. <br /></td></tr> |
| <tr class="separator:aa0fe46e4caa3f8e9186cd7ad329050c1"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:ab4c47df2ecd1a4040d637e38897bb7f9" id="r_ab4c47df2ecd1a4040d637e38897bb7f9"><td class="memItemLeft" align="right" valign="top">const std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > & </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#ab4c47df2ecd1a4040d637e38897bb7f9">right</a> () const</td></tr> |
| <tr class="memdesc:ab4c47df2ecd1a4040d637e38897bb7f9"><td class="mdescLeft"> </td><td class="mdescRight">Returns the right operand of the AND expression. <br /></td></tr> |
| <tr class="separator:ab4c47df2ecd1a4040d637e38897bb7f9"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a8d680f4240a81b08ed533e9bf89479c9" id="r_a8d680f4240a81b08ed533e9bf89479c9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Operation</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#a8d680f4240a81b08ed533e9bf89479c9">op</a> () const override</td></tr> |
| <tr class="memdesc:a8d680f4240a81b08ed533e9bf89479c9"><td class="mdescLeft"> </td><td class="mdescRight">Returns the operation for an expression node. <br /></td></tr> |
| <tr class="separator:a8d680f4240a81b08ed533e9bf89479c9"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:ad237230ab73f94bec0876c9f49db6850" id="r_ad237230ab73f94bec0876c9f49db6850"><td class="memItemLeft" align="right" valign="top">std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#ad237230ab73f94bec0876c9f49db6850">ToString</a> () const override</td></tr> |
| <tr class="memdesc:ad237230ab73f94bec0876c9f49db6850"><td class="mdescLeft"> </td><td class="mdescRight">Get a user-readable string representation. <br /></td></tr> |
| <tr class="separator:ad237230ab73f94bec0876c9f49db6850"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a24a38d7c3faaac99a71b51e6dfb4b0d6" id="r_a24a38d7c3faaac99a71b51e6dfb4b0d6"><td class="memItemLeft" align="right" valign="top">Result< std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#a24a38d7c3faaac99a71b51e6dfb4b0d6">Negate</a> () const override</td></tr> |
| <tr class="memdesc:a24a38d7c3faaac99a71b51e6dfb4b0d6"><td class="mdescLeft"> </td><td class="mdescRight">Returns the negation of this expression, equivalent to not(this). <br /></td></tr> |
| <tr class="separator:a24a38d7c3faaac99a71b51e6dfb4b0d6"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:aa1b15d267e484f7b4c32eb5b7dc647f5" id="r_aa1b15d267e484f7b4c32eb5b7dc647f5"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#aa1b15d267e484f7b4c32eb5b7dc647f5">Equals</a> (const <a class="el" href="classiceberg_1_1Expression.html">Expression</a> &other) const override</td></tr> |
| <tr class="memdesc:aa1b15d267e484f7b4c32eb5b7dc647f5"><td class="mdescLeft"> </td><td class="mdescRight">Returns whether this expression will accept the same values as another. <br /></td></tr> |
| <tr class="separator:aa1b15d267e484f7b4c32eb5b7dc647f5"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="inherit_header pub_methods_classiceberg_1_1Expression"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classiceberg_1_1Expression')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classiceberg_1_1Expression.html">iceberg::Expression</a></td></tr> |
| <tr class="memitem:a2e9c204f698d069ebc0fefb9e5269ab6 inherit pub_methods_classiceberg_1_1Expression" id="r_a2e9c204f698d069ebc0fefb9e5269ab6"><td class="memItemLeft" align="right" valign="top">std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1Expression.html#a2e9c204f698d069ebc0fefb9e5269ab6">ToString</a> () const override</td></tr> |
| <tr class="memdesc:a2e9c204f698d069ebc0fefb9e5269ab6 inherit pub_methods_classiceberg_1_1Expression"><td class="mdescLeft"> </td><td class="mdescRight">Get a user-readable string representation. <br /></td></tr> |
| <tr class="separator:a2e9c204f698d069ebc0fefb9e5269ab6 inherit pub_methods_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a96e614d02433117161d21989f7ff1257 inherit pub_methods_classiceberg_1_1Expression" id="r_a96e614d02433117161d21989f7ff1257"><td class="memItemLeft" align="right" valign="top"> |
| virtual bool </td><td class="memItemRight" valign="bottom"><b>is_unbound_predicate</b> () const</td></tr> |
| <tr class="separator:a96e614d02433117161d21989f7ff1257 inherit pub_methods_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a8807793506a834a71384dac034e6c62f inherit pub_methods_classiceberg_1_1Expression" id="r_a8807793506a834a71384dac034e6c62f"><td class="memItemLeft" align="right" valign="top"> |
| virtual bool </td><td class="memItemRight" valign="bottom"><b>is_bound_predicate</b> () const</td></tr> |
| <tr class="separator:a8807793506a834a71384dac034e6c62f inherit pub_methods_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a9d17c720a2f03ee4924b8c36f0420ff1 inherit pub_methods_classiceberg_1_1Expression" id="r_a9d17c720a2f03ee4924b8c36f0420ff1"><td class="memItemLeft" align="right" valign="top"> |
| virtual bool </td><td class="memItemRight" valign="bottom"><b>is_unbound_aggregate</b> () const</td></tr> |
| <tr class="separator:a9d17c720a2f03ee4924b8c36f0420ff1 inherit pub_methods_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:ab760f80ffc03ab40301be7d59c621a4a inherit pub_methods_classiceberg_1_1Expression" id="r_ab760f80ffc03ab40301be7d59c621a4a"><td class="memItemLeft" align="right" valign="top"> |
| virtual bool </td><td class="memItemRight" valign="bottom"><b>is_bound_aggregate</b> () const</td></tr> |
| <tr class="separator:ab760f80ffc03ab40301be7d59c621a4a inherit pub_methods_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| </table><table class="memberdecls"> |
| <tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pub-static-methods" name="pub-static-methods"></a> |
| Static Public Member Functions</h2></td></tr> |
| <tr class="memitem:a3091da0e23f4e1673f6b14bd778767fd" id="r_a3091da0e23f4e1673f6b14bd778767fd"><td class="memItemLeft" align="right" valign="top">static Result< std::unique_ptr< <a class="el" href="classiceberg_1_1And.html">And</a> > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#a3091da0e23f4e1673f6b14bd778767fd">Make</a> (std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > <a class="el" href="classiceberg_1_1And.html#aa0fe46e4caa3f8e9186cd7ad329050c1">left</a>, std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > <a class="el" href="classiceberg_1_1And.html#ab4c47df2ecd1a4040d637e38897bb7f9">right</a>)</td></tr> |
| <tr class="memdesc:a3091da0e23f4e1673f6b14bd778767fd"><td class="mdescLeft"> </td><td class="mdescRight">Creates an <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression from two sub-expressions. <br /></td></tr> |
| <tr class="separator:a3091da0e23f4e1673f6b14bd778767fd"><td class="memSeparator" colspan="2"> </td></tr> |
| <tr class="memitem:a49ca97f9f05d72c4a6eec393084e7919" id="r_a49ca97f9f05d72c4a6eec393084e7919"><td class="memTemplParams" colspan="2">template<typename... Args> <br /> |
| requires std::conjunction_v<std::is_same<Args, std::shared_ptr<<a class="el" href="classiceberg_1_1Expression.html">Expression</a>>>...></td></tr> |
| <tr class="memitem:a49ca97f9f05d72c4a6eec393084e7919"><td class="memTemplItemLeft" align="right" valign="top">static Result< std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > > </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classiceberg_1_1And.html#a49ca97f9f05d72c4a6eec393084e7919">MakeFolded</a> (std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > <a class="el" href="classiceberg_1_1And.html#aa0fe46e4caa3f8e9186cd7ad329050c1">left</a>, std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > <a class="el" href="classiceberg_1_1And.html#ab4c47df2ecd1a4040d637e38897bb7f9">right</a>, Args &&... args)</td></tr> |
| <tr class="memdesc:a49ca97f9f05d72c4a6eec393084e7919"><td class="mdescLeft"> </td><td class="mdescRight">Creates a folded <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression from two sub-expressions. <br /></td></tr> |
| <tr class="separator:a49ca97f9f05d72c4a6eec393084e7919"><td class="memSeparator" colspan="2"> </td></tr> |
| </table><table class="memberdecls"> |
| <tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="inherited" name="inherited"></a> |
| Additional Inherited Members</h2></td></tr> |
| <tr class="inherit_header pub_types_classiceberg_1_1Expression"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classiceberg_1_1Expression')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="classiceberg_1_1Expression.html">iceberg::Expression</a></td></tr> |
| <tr class="memitem:a433076bdc34ce0b6d359313c6c7b8a9c inherit pub_types_classiceberg_1_1Expression" id="r_a433076bdc34ce0b6d359313c6c7b8a9c"><td class="memItemLeft" align="right" valign="top"><a id="a433076bdc34ce0b6d359313c6c7b8a9c" name="a433076bdc34ce0b6d359313c6c7b8a9c"></a>enum class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Operation</a> { <br /> |
|   <b>kTrue</b> |
| , <b>kFalse</b> |
| , <b>kIsNull</b> |
| , <b>kNotNull</b> |
| , <br /> |
|   <b>kIsNan</b> |
| , <b>kNotNan</b> |
| , <b>kLt</b> |
| , <b>kLtEq</b> |
| , <br /> |
|   <b>kGt</b> |
| , <b>kGtEq</b> |
| , <b>kEq</b> |
| , <b>kNotEq</b> |
| , <br /> |
|   <b>kIn</b> |
| , <b>kNotIn</b> |
| , <b>kNot</b> |
| , <b>kAnd</b> |
| , <br /> |
|   <b>kOr</b> |
| , <b>kStartsWith</b> |
| , <b>kNotStartsWith</b> |
| , <b>kCount</b> |
| , <br /> |
|   <b>kCountNull</b> |
| , <b>kCountStar</b> |
| , <b>kMax</b> |
| , <b>kMin</b> |
| <br /> |
| }</td></tr> |
| <tr class="memdesc:a433076bdc34ce0b6d359313c6c7b8a9c"><td class="mdescLeft"> </td><td class="mdescRight">Operation types for expressions. <br /></td></tr> |
| <tr class="separator:a433076bdc34ce0b6d359313c6c7b8a9c inherit pub_types_classiceberg_1_1Expression"><td class="memSeparator" colspan="2"> </td></tr> |
| </table> |
| <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2> |
| <div class="textblock"><p>An <a class="el" href="classiceberg_1_1Expression.html" title="Represents a boolean expression tree.">Expression</a> that represents a logical AND operation between two expressions. </p> |
| <p>This expression evaluates to true if and only if both of its child expressions evaluate to true. </p> |
| </div><h2 class="groupheader">Member Function Documentation</h2> |
| <a id="aa1b15d267e484f7b4c32eb5b7dc647f5" name="aa1b15d267e484f7b4c32eb5b7dc647f5"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#aa1b15d267e484f7b4c32eb5b7dc647f5">◆ </a></span>Equals()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">bool iceberg::And::Equals </td> |
| <td>(</td> |
| <td class="paramtype">const <a class="el" href="classiceberg_1_1Expression.html">Expression</a> & </td> |
| <td class="paramname"><em>other</em></td><td>)</td> |
| <td> const</td> |
| </tr> |
| </table> |
| </td> |
| <td class="mlabels-right"> |
| <span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td> |
| </tr> |
| </table> |
| </div><div class="memdoc"> |
| |
| <p>Returns whether this expression will accept the same values as another. </p> |
| <dl class="params"><dt>Parameters</dt><dd> |
| <table class="params"> |
| <tr><td class="paramname">other</td><td>another expression </td></tr> |
| </table> |
| </dd> |
| </dl> |
| <dl class="section return"><dt>Returns</dt><dd>true if the expressions are equivalent </dd></dl> |
| |
| <p>Reimplemented from <a class="el" href="classiceberg_1_1Expression.html#a5f62190ba4e74757afb0fba05acb1e6a">iceberg::Expression</a>.</p> |
| |
| </div> |
| </div> |
| <a id="aa0fe46e4caa3f8e9186cd7ad329050c1" name="aa0fe46e4caa3f8e9186cd7ad329050c1"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#aa0fe46e4caa3f8e9186cd7ad329050c1">◆ </a></span>left()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">const std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > & iceberg::And::left </td> |
| <td>(</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>Returns the left operand of the AND expression. </p> |
| <dl class="section return"><dt>Returns</dt><dd>The left operand of the AND expression </dd></dl> |
| |
| </div> |
| </div> |
| <a id="a3091da0e23f4e1673f6b14bd778767fd" name="a3091da0e23f4e1673f6b14bd778767fd"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#a3091da0e23f4e1673f6b14bd778767fd">◆ </a></span>Make()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">Result< std::unique_ptr< <a class="el" href="classiceberg_1_1And.html">And</a> > > iceberg::And::Make </td> |
| <td>(</td> |
| <td class="paramtype">std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > </td> |
| <td class="paramname"><em>left</em>, </td> |
| </tr> |
| <tr> |
| <td class="paramkey"></td> |
| <td></td> |
| <td class="paramtype">std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > </td> |
| <td class="paramname"><em>right</em> </td> |
| </tr> |
| <tr> |
| <td></td> |
| <td>)</td> |
| <td></td><td></td> |
| </tr> |
| </table> |
| </td> |
| <td class="mlabels-right"> |
| <span class="mlabels"><span class="mlabel">static</span></span> </td> |
| </tr> |
| </table> |
| </div><div class="memdoc"> |
| |
| <p>Creates an <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression from two sub-expressions. </p> |
| <dl class="params"><dt>Parameters</dt><dd> |
| <table class="params"> |
| <tr><td class="paramname">left</td><td>The left operand of the AND expression </td></tr> |
| <tr><td class="paramname">right</td><td>The right operand of the AND expression </td></tr> |
| </table> |
| </dd> |
| </dl> |
| |
| </div> |
| </div> |
| <a id="a49ca97f9f05d72c4a6eec393084e7919" name="a49ca97f9f05d72c4a6eec393084e7919"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#a49ca97f9f05d72c4a6eec393084e7919">◆ </a></span>MakeFolded()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <div class="memtemplate"> |
| template<typename... Args> <br /> |
| requires std::conjunction_v<std::is_same<Args, std::shared_ptr<<a class="el" href="classiceberg_1_1Expression.html">Expression</a>>>...></div> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">static Result< std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > > iceberg::And::MakeFolded </td> |
| <td>(</td> |
| <td class="paramtype">std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > </td> |
| <td class="paramname"><em>left</em>, </td> |
| </tr> |
| <tr> |
| <td class="paramkey"></td> |
| <td></td> |
| <td class="paramtype">std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > </td> |
| <td class="paramname"><em>right</em>, </td> |
| </tr> |
| <tr> |
| <td class="paramkey"></td> |
| <td></td> |
| <td class="paramtype">Args &&... </td> |
| <td class="paramname"><em>args</em> </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 class="mlabel">static</span></span> </td> |
| </tr> |
| </table> |
| </div><div class="memdoc"> |
| |
| <p>Creates a folded <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression from two sub-expressions. </p> |
| <dl class="params"><dt>Parameters</dt><dd> |
| <table class="params"> |
| <tr><td class="paramname">left</td><td>The left operand of the AND expression </td></tr> |
| <tr><td class="paramname">right</td><td>The right operand of the AND expression </td></tr> |
| <tr><td class="paramname">args</td><td>Additional operands of the AND expression </td></tr> |
| </table> |
| </dd> |
| </dl> |
| <dl class="section return"><dt>Returns</dt><dd>A Result containing a shared pointer to the folded <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression, or an error if left or right is nullptr </dd></dl> |
| <dl class="section note"><dt>Note</dt><dd>A folded <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> expression is an expression that is equivalent to the original expression, but with the <a class="el" href="classiceberg_1_1And.html" title="An Expression that represents a logical AND operation between two expressions.">And</a> operation removed. For example, (true and x) = x. </dd></dl> |
| |
| </div> |
| </div> |
| <a id="a24a38d7c3faaac99a71b51e6dfb4b0d6" name="a24a38d7c3faaac99a71b51e6dfb4b0d6"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#a24a38d7c3faaac99a71b51e6dfb4b0d6">◆ </a></span>Negate()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">Result< std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > > iceberg::And::Negate </td> |
| <td>(</td> |
| <td class="paramname"></td><td>)</td> |
| <td> const</td> |
| </tr> |
| </table> |
| </td> |
| <td class="mlabels-right"> |
| <span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td> |
| </tr> |
| </table> |
| </div><div class="memdoc"> |
| |
| <p>Returns the negation of this expression, equivalent to not(this). </p> |
| |
| <p>Reimplemented from <a class="el" href="classiceberg_1_1Expression.html#a7ce9433b8cc063b06ac6371d6d56815c">iceberg::Expression</a>.</p> |
| |
| </div> |
| </div> |
| <a id="a8d680f4240a81b08ed533e9bf89479c9" name="a8d680f4240a81b08ed533e9bf89479c9"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#a8d680f4240a81b08ed533e9bf89479c9">◆ </a></span>op()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname"><a class="el" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Operation</a> iceberg::And::op </td> |
| <td>(</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>Returns the operation for an expression node. </p> |
| |
| <p>Implements <a class="el" href="classiceberg_1_1Expression.html#a5a16ee5d023305b50e4a2216b4047eff">iceberg::Expression</a>.</p> |
| |
| </div> |
| </div> |
| <a id="ab4c47df2ecd1a4040d637e38897bb7f9" name="ab4c47df2ecd1a4040d637e38897bb7f9"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#ab4c47df2ecd1a4040d637e38897bb7f9">◆ </a></span>right()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">const std::shared_ptr< <a class="el" href="classiceberg_1_1Expression.html">Expression</a> > & iceberg::And::right </td> |
| <td>(</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>Returns the right operand of the AND expression. </p> |
| <dl class="section return"><dt>Returns</dt><dd>The right operand of the AND expression </dd></dl> |
| |
| </div> |
| </div> |
| <a id="ad237230ab73f94bec0876c9f49db6850" name="ad237230ab73f94bec0876c9f49db6850"></a> |
| <h2 class="memtitle"><span class="permalink"><a href="#ad237230ab73f94bec0876c9f49db6850">◆ </a></span>ToString()</h2> |
| |
| <div class="memitem"> |
| <div class="memproto"> |
| <table class="mlabels"> |
| <tr> |
| <td class="mlabels-left"> |
| <table class="memname"> |
| <tr> |
| <td class="memname">std::string iceberg::And::ToString </td> |
| <td>(</td> |
| <td class="paramname"></td><td>)</td> |
| <td> const</td> |
| </tr> |
| </table> |
| </td> |
| <td class="mlabels-right"> |
| <span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td> |
| </tr> |
| </table> |
| </div><div class="memdoc"> |
| |
| <p>Get a user-readable string representation. </p> |
| |
| <p>Implements <a class="el" href="classiceberg_1_1util_1_1Formattable.html#a79618aca5b3bf63610d9c87ac5ae0386">iceberg::util::Formattable</a>.</p> |
| |
| </div> |
| </div> |
| <hr/>The documentation for this class was generated from the following files:<ul> |
| <li>iceberg/expression/<a class="el" href="expression_8h_source.html">expression.h</a></li> |
| <li>iceberg/expression/<b>expression.cc</b></li> |
| </ul> |
| </div><!-- contents --> |
| <!-- start footer part --> |
| <hr class="footer"/><address class="footer"><small> |
| 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.8 |
| </small></address> |
| </body> |
| </html> |
