| <!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/expression/predicate.h Source File</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> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| $(document).ready(function() { init_codefold(0); }); |
| /* @license-end */ |
| </script> |
| <!-- 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"><a class="el" href="dir_f51fe74ea6bc2b1b900619895eaa63be.html">iceberg</a></li><li class="navelem"><a class="el" href="dir_832d158f51fdfd219125f1a0f5099b44.html">expression</a></li> </ul> |
| </div> |
| </div><!-- top --> |
| <div class="header"> |
| <div class="headertitle"><div class="title">predicate.h</div></div> |
| </div><!--header--> |
| <div class="contents"> |
| <a href="predicate_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span><span class="comment">/*</span></div> |
| <div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span><span class="comment"> * Licensed to the Apache Software Foundation (ASF) under one</span></div> |
| <div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span><span class="comment"> * or more contributor license agreements. See the NOTICE file</span></div> |
| <div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="comment"> * distributed with this work for additional information</span></div> |
| <div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span><span class="comment"> * regarding copyright ownership. The ASF licenses this file</span></div> |
| <div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span><span class="comment"> * to you under the Apache License, Version 2.0 (the</span></div> |
| <div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span><span class="comment"> * "License"); you may not use this file except in compliance</span></div> |
| <div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="comment"> * with the License. You may obtain a copy of the License at</span></div> |
| <div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span><span class="comment"> *</span></div> |
| <div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span><span class="comment"> * http://www.apache.org/licenses/LICENSE-2.0</span></div> |
| <div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span><span class="comment"> *</span></div> |
| <div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span><span class="comment"> * Unless required by applicable law or agreed to in writing,</span></div> |
| <div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span><span class="comment"> * software distributed under the License is distributed on an</span></div> |
| <div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span><span class="comment"> * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY</span></div> |
| <div class="line"><a id="l00015" name="l00015"></a><span class="lineno"> 15</span><span class="comment"> * KIND, either express or implied. See the License for the</span></div> |
| <div class="line"><a id="l00016" name="l00016"></a><span class="lineno"> 16</span><span class="comment"> * specific language governing permissions and limitations</span></div> |
| <div class="line"><a id="l00017" name="l00017"></a><span class="lineno"> 17</span><span class="comment"> * under the License.</span></div> |
| <div class="line"><a id="l00018" name="l00018"></a><span class="lineno"> 18</span><span class="comment"> */</span></div> |
| <div class="line"><a id="l00019" name="l00019"></a><span class="lineno"> 19</span> </div> |
| <div class="line"><a id="l00020" name="l00020"></a><span class="lineno"> 20</span><span class="preprocessor">#pragma once</span></div> |
| <div class="line"><a id="l00021" name="l00021"></a><span class="lineno"> 21</span> </div> |
| <div class="line"><a id="l00024" name="l00024"></a><span class="lineno"> 24</span> </div> |
| <div class="line"><a id="l00025" name="l00025"></a><span class="lineno"> 25</span><span class="preprocessor">#include <unordered_set></span></div> |
| <div class="line"><a id="l00026" name="l00026"></a><span class="lineno"> 26</span> </div> |
| <div class="line"><a id="l00027" name="l00027"></a><span class="lineno"> 27</span><span class="preprocessor">#include "<a class="code" href="expression_8h.html">iceberg/expression/expression.h</a>"</span></div> |
| <div class="line"><a id="l00028" name="l00028"></a><span class="lineno"> 28</span><span class="preprocessor">#include "iceberg/expression/literal.h"</span></div> |
| <div class="line"><a id="l00029" name="l00029"></a><span class="lineno"> 29</span><span class="preprocessor">#include "<a class="code" href="term_8h.html">iceberg/expression/term.h</a>"</span></div> |
| <div class="line"><a id="l00030" name="l00030"></a><span class="lineno"> 30</span><span class="preprocessor">#include "iceberg/iceberg_export.h"</span></div> |
| <div class="line"><a id="l00031" name="l00031"></a><span class="lineno"> 31</span> </div> |
| <div class="line"><a id="l00032" name="l00032"></a><span class="lineno"> 32</span><span class="keyword">namespace </span>iceberg {</div> |
| <div class="line"><a id="l00033" name="l00033"></a><span class="lineno"> 33</span> </div> |
| <div class="line"><a id="l00037" name="l00037"></a><span class="lineno"> 37</span><span class="keyword">template</span> <TermType T></div> |
| <div class="foldopen" id="foldopen00038" data-start="{" data-end="};"> |
| <div class="line"><a id="l00038" name="l00038"></a><span class="lineno"><a class="line" href="classiceberg_1_1Predicate.html"> 38</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a> : <span class="keyword">public</span> <span class="keyword">virtual</span> <a class="code hl_class" href="classiceberg_1_1Expression.html">Expression</a> {</div> |
| <div class="line"><a id="l00039" name="l00039"></a><span class="lineno"> 39</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00040" name="l00040"></a><span class="lineno"> 40</span> <a class="code hl_class" href="classiceberg_1_1Predicate.html">~Predicate</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00041" name="l00041"></a><span class="lineno"> 41</span> </div> |
| <div class="line"><a id="l00042" name="l00042"></a><span class="lineno"><a class="line" href="classiceberg_1_1Predicate.html#a149508fc8ddf4cd5d4da0ae9f4c1c80f"> 42</a></span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> <a class="code hl_function" href="classiceberg_1_1Predicate.html#a149508fc8ddf4cd5d4da0ae9f4c1c80f">op</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> operation_; }</div> |
| <div class="line"><a id="l00043" name="l00043"></a><span class="lineno"> 43</span> </div> |
| <div class="line"><a id="l00045" name="l00045"></a><span class="lineno"><a class="line" href="classiceberg_1_1Predicate.html#acee9f864ef011a76e45d98f0d9bf42af"> 45</a></span> <span class="keyword">const</span> std::shared_ptr<T>& <a class="code hl_function" href="classiceberg_1_1Predicate.html#acee9f864ef011a76e45d98f0d9bf42af">term</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> term_; }</div> |
| <div class="line"><a id="l00046" name="l00046"></a><span class="lineno"> 46</span> </div> |
| <div class="line"><a id="l00047" name="l00047"></a><span class="lineno"> 47</span> <span class="keyword">protected</span>:</div> |
| <div class="line"><a id="l00052" name="l00052"></a><span class="lineno"> 52</span> <a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<T> term);</div> |
| <div class="line"><a id="l00053" name="l00053"></a><span class="lineno"> 53</span> </div> |
| <div class="line"><a id="l00054" name="l00054"></a><span class="lineno"> 54</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> operation_;</div> |
| <div class="line"><a id="l00055" name="l00055"></a><span class="lineno"> 55</span> std::shared_ptr<T> term_;</div> |
| <div class="line"><a id="l00056" name="l00056"></a><span class="lineno"> 56</span>};</div> |
| </div> |
| <div class="line"><a id="l00057" name="l00057"></a><span class="lineno"> 57</span> </div> |
| <div class="foldopen" id="foldopen00062" data-start="{" data-end="};"> |
| <div class="line"><a id="l00062" name="l00062"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html"> 62</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1UnboundPredicate.html">UnboundPredicate</a> : <span class="keyword">public</span> <span class="keyword">virtual</span> <a class="code hl_class" href="classiceberg_1_1Expression.html">Expression</a>,</div> |
| <div class="line"><a id="l00063" name="l00063"></a><span class="lineno"> 63</span> <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1Unbound.html">Unbound</a><Expression> {</div> |
| <div class="line"><a id="l00064" name="l00064"></a><span class="lineno"> 64</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00065" name="l00065"></a><span class="lineno"> 65</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicate.html">~UnboundPredicate</a>() <span class="keyword">override</span> = <span class="keywordflow">default</span>;</div> |
| <div class="line"><a id="l00066" name="l00066"></a><span class="lineno"> 66</span> </div> |
| <div class="line"><a id="l00068" name="l00068"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html#afc28a47f14049b5e3a9cbe27f557633e"> 68</a></span> std::shared_ptr<NamedReference> <a class="code hl_function" href="classiceberg_1_1UnboundPredicate.html#afc28a47f14049b5e3a9cbe27f557633e">reference</a>() <span class="keyword">override</span> = 0;</div> |
| <div class="line"><a id="l00069" name="l00069"></a><span class="lineno"> 69</span> </div> |
| <div class="line"><a id="l00071" name="l00071"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html#a59f8bba53fe0247d28327d23189f7dd1"> 71</a></span> Result<std::shared_ptr<Expression>> <a class="code hl_function" href="classiceberg_1_1UnboundPredicate.html#a59f8bba53fe0247d28327d23189f7dd1">Bind</a>(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Schema.html">Schema</a>& schema,</div> |
| <div class="line"><a id="l00072" name="l00072"></a><span class="lineno"> 72</span> <span class="keywordtype">bool</span> case_sensitive) <span class="keyword">const override</span> = 0;</div> |
| <div class="line"><a id="l00073" name="l00073"></a><span class="lineno"> 73</span> </div> |
| <div class="line"><a id="l00075" name="l00075"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html#a7c77c2d962a6965ca484a8b74cbf4b0d"> 75</a></span> Result<std::shared_ptr<Expression>> <a class="code hl_function" href="classiceberg_1_1UnboundPredicate.html#a7c77c2d962a6965ca484a8b74cbf4b0d">Negate</a>() <span class="keyword">const override</span> = 0;</div> |
| <div class="line"><a id="l00076" name="l00076"></a><span class="lineno"> 76</span> </div> |
| <div class="line"><a id="l00077" name="l00077"></a><span class="lineno"> 77</span> <span class="keywordtype">bool</span> is_unbound_predicate()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> <span class="keyword">true</span>; }</div> |
| <div class="line"><a id="l00078" name="l00078"></a><span class="lineno"> 78</span> </div> |
| <div class="line"><a id="l00080" name="l00080"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html#adddd7df2f07a9cb070abb41045046f93"> 80</a></span> <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Term.html">Term</a>& <a class="code hl_function" href="classiceberg_1_1UnboundPredicate.html#adddd7df2f07a9cb070abb41045046f93">unbound_term</a>() <span class="keyword">const</span> = 0;</div> |
| <div class="line"><a id="l00081" name="l00081"></a><span class="lineno"> 81</span> </div> |
| <div class="line"><a id="l00083" name="l00083"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicate.html#acead52fae79410808671f1a57d14fa07"> 83</a></span> <span class="keyword">virtual</span> std::span<const Literal> <a class="code hl_function" href="classiceberg_1_1UnboundPredicate.html#acead52fae79410808671f1a57d14fa07">literals</a>() <span class="keyword">const</span> = 0;</div> |
| <div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span> </div> |
| <div class="line"><a id="l00085" name="l00085"></a><span class="lineno"> 85</span> <span class="keyword">protected</span>:</div> |
| <div class="line"><a id="l00086" name="l00086"></a><span class="lineno"> 86</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicate.html">UnboundPredicate</a>() = <span class="keywordflow">default</span>;</div> |
| <div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span>};</div> |
| </div> |
| <div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span> </div> |
| <div class="line"><a id="l00093" name="l00093"></a><span class="lineno"> 93</span><span class="keyword">template</span> <<span class="keyword">typename</span> B></div> |
| <div class="foldopen" id="foldopen00094" data-start="{" data-end="};"> |
| <div class="line"><a id="l00094" name="l00094"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicateImpl.html"> 94</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1UnboundPredicateImpl.html">UnboundPredicateImpl</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicate.html">UnboundPredicate</a>,</div> |
| <div class="line"><a id="l00095" name="l00095"></a><span class="lineno"> 95</span> <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a><UnboundTerm<B>> {</div> |
| <div class="line"><a id="l00096" name="l00096"></a><span class="lineno"> 96</span> <span class="keyword">using </span><a class="code hl_class" href="classiceberg_1_1Predicate.html">BASE</a> = <a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate<UnboundTerm<B></a>>;</div> |
| <div class="line"><a id="l00097" name="l00097"></a><span class="lineno"> 97</span> </div> |
| <div class="line"><a id="l00098" name="l00098"></a><span class="lineno"> 98</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00104" name="l00104"></a><span class="lineno"> 104</span> <span class="keyword">static</span> Result<std::unique_ptr<UnboundPredicateImpl<B>>> Make(</div> |
| <div class="line"><a id="l00105" name="l00105"></a><span class="lineno"> 105</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term);</div> |
| <div class="line"><a id="l00106" name="l00106"></a><span class="lineno"> 106</span> </div> |
| <div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> <span class="keyword">static</span> Result<std::unique_ptr<UnboundPredicateImpl<B>>> Make(</div> |
| <div class="line"><a id="l00114" name="l00114"></a><span class="lineno"> 114</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term, <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a> value);</div> |
| <div class="line"><a id="l00115" name="l00115"></a><span class="lineno"> 115</span> </div> |
| <div class="line"><a id="l00122" name="l00122"></a><span class="lineno"> 122</span> <span class="keyword">static</span> Result<std::unique_ptr<UnboundPredicateImpl<B>>> Make(</div> |
| <div class="line"><a id="l00123" name="l00123"></a><span class="lineno"> 123</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term,</div> |
| <div class="line"><a id="l00124" name="l00124"></a><span class="lineno"> 124</span> std::vector<Literal> values);</div> |
| <div class="line"><a id="l00125" name="l00125"></a><span class="lineno"> 125</span> </div> |
| <div class="line"><a id="l00126" name="l00126"></a><span class="lineno"> 126</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicateImpl.html">~UnboundPredicateImpl</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00127" name="l00127"></a><span class="lineno"> 127</span> </div> |
| <div class="foldopen" id="foldopen00128" data-start="{" data-end="}"> |
| <div class="line"><a id="l00128" name="l00128"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicateImpl.html#adf9d6125fc9e654129c760e9039c6f7a"> 128</a></span> std::shared_ptr<NamedReference> <a class="code hl_function" href="classiceberg_1_1UnboundPredicateImpl.html#adf9d6125fc9e654129c760e9039c6f7a">reference</a>()<span class="keyword"> override </span>{</div> |
| <div class="line"><a id="l00129" name="l00129"></a><span class="lineno"> 129</span> <span class="keywordflow">return</span> BASE::term()->reference();</div> |
| <div class="line"><a id="l00130" name="l00130"></a><span class="lineno"> 130</span> }</div> |
| </div> |
| <div class="line"><a id="l00131" name="l00131"></a><span class="lineno"> 131</span> </div> |
| <div class="line"><a id="l00132" name="l00132"></a><span class="lineno"> 132</span> std::string ToString() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00133" name="l00133"></a><span class="lineno"> 133</span> </div> |
| <div class="line"><a id="l00134" name="l00134"></a><span class="lineno"> 134</span> Result<std::shared_ptr<Expression>> Bind(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Schema.html">Schema</a>& schema,</div> |
| <div class="line"><a id="l00135" name="l00135"></a><span class="lineno"> 135</span> <span class="keywordtype">bool</span> case_sensitive) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00136" name="l00136"></a><span class="lineno"> 136</span> </div> |
| <div class="line"><a id="l00137" name="l00137"></a><span class="lineno"> 137</span> Result<std::shared_ptr<Expression>> Negate() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00138" name="l00138"></a><span class="lineno"> 138</span> </div> |
| <div class="line"><a id="l00139" name="l00139"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicateImpl.html#a69a16eae16d9eccef5765d7d76e72f4a"> 139</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Term.html">Term</a>& <a class="code hl_function" href="classiceberg_1_1UnboundPredicateImpl.html#a69a16eae16d9eccef5765d7d76e72f4a">unbound_term</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> *BASE::term(); }</div> |
| <div class="line"><a id="l00140" name="l00140"></a><span class="lineno"> 140</span> </div> |
| <div class="line"><a id="l00141" name="l00141"></a><span class="lineno"><a class="line" href="classiceberg_1_1UnboundPredicateImpl.html#ad40cf48a35854efea99fac3fe9aec4ba"> 141</a></span> std::span<const Literal> <a class="code hl_function" href="classiceberg_1_1UnboundPredicateImpl.html#ad40cf48a35854efea99fac3fe9aec4ba">literals</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> values_; }</div> |
| <div class="line"><a id="l00142" name="l00142"></a><span class="lineno"> 142</span> </div> |
| <div class="line"><a id="l00143" name="l00143"></a><span class="lineno"> 143</span> <span class="keyword">private</span>:</div> |
| <div class="line"><a id="l00144" name="l00144"></a><span class="lineno"> 144</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicateImpl.html">UnboundPredicateImpl</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term);</div> |
| <div class="line"><a id="l00145" name="l00145"></a><span class="lineno"> 145</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicateImpl.html">UnboundPredicateImpl</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term,</div> |
| <div class="line"><a id="l00146" name="l00146"></a><span class="lineno"> 146</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a> value);</div> |
| <div class="line"><a id="l00147" name="l00147"></a><span class="lineno"> 147</span> <a class="code hl_class" href="classiceberg_1_1UnboundPredicateImpl.html">UnboundPredicateImpl</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<<a class="code hl_class" href="classiceberg_1_1UnboundTerm.html">UnboundTerm<B></a>> term,</div> |
| <div class="line"><a id="l00148" name="l00148"></a><span class="lineno"> 148</span> std::vector<Literal> values);</div> |
| <div class="line"><a id="l00149" name="l00149"></a><span class="lineno"> 149</span> </div> |
| <div class="line"><a id="l00150" name="l00150"></a><span class="lineno"> 150</span> Result<std::shared_ptr<Expression>> BindUnaryOperation(</div> |
| <div class="line"><a id="l00151" name="l00151"></a><span class="lineno"> 151</span> std::shared_ptr<B> bound_term) <span class="keyword">const</span>;</div> |
| <div class="line"><a id="l00152" name="l00152"></a><span class="lineno"> 152</span> Result<std::shared_ptr<Expression>> BindLiteralOperation(</div> |
| <div class="line"><a id="l00153" name="l00153"></a><span class="lineno"> 153</span> std::shared_ptr<B> bound_term) <span class="keyword">const</span>;</div> |
| <div class="line"><a id="l00154" name="l00154"></a><span class="lineno"> 154</span> Result<std::shared_ptr<Expression>> BindInOperation(</div> |
| <div class="line"><a id="l00155" name="l00155"></a><span class="lineno"> 155</span> std::shared_ptr<B> bound_term) <span class="keyword">const</span>;</div> |
| <div class="line"><a id="l00156" name="l00156"></a><span class="lineno"> 156</span> </div> |
| <div class="line"><a id="l00157" name="l00157"></a><span class="lineno"> 157</span> <span class="keyword">private</span>:</div> |
| <div class="line"><a id="l00158" name="l00158"></a><span class="lineno"> 158</span> std::vector<Literal> values_;</div> |
| <div class="line"><a id="l00159" name="l00159"></a><span class="lineno"> 159</span>};</div> |
| </div> |
| <div class="line"><a id="l00160" name="l00160"></a><span class="lineno"> 160</span> </div> |
| <div class="foldopen" id="foldopen00162" data-start="{" data-end="};"> |
| <div class="line"><a id="l00162" name="l00162"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundPredicate.html"> 162</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">BoundPredicate</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a><BoundTerm>, <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1Bound.html">Bound</a> {</div> |
| <div class="line"><a id="l00163" name="l00163"></a><span class="lineno"> 163</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00164" name="l00164"></a><span class="lineno"> 164</span> <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">~BoundPredicate</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00165" name="l00165"></a><span class="lineno"> 165</span> </div> |
| <div class="line"><a id="l00166" name="l00166"></a><span class="lineno"> 166</span> <span class="keyword">using </span><a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a><<a class="code hl_class" href="classiceberg_1_1BoundTerm.html">BoundTerm</a>>::op;</div> |
| <div class="line"><a id="l00167" name="l00167"></a><span class="lineno"> 167</span> </div> |
| <div class="line"><a id="l00168" name="l00168"></a><span class="lineno"> 168</span> <span class="keyword">using </span><a class="code hl_class" href="classiceberg_1_1Predicate.html">Predicate</a><<a class="code hl_class" href="classiceberg_1_1BoundTerm.html">BoundTerm</a>>::term;</div> |
| <div class="line"><a id="l00169" name="l00169"></a><span class="lineno"> 169</span> </div> |
| <div class="line"><a id="l00170" name="l00170"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundPredicate.html#aa3c404fbe4dc5a3f194c675d03cf50b7"> 170</a></span> std::shared_ptr<BoundReference> <a class="code hl_function" href="classiceberg_1_1BoundPredicate.html#aa3c404fbe4dc5a3f194c675d03cf50b7">reference</a>()<span class="keyword"> override </span>{ <span class="keywordflow">return</span> term_->reference(); }</div> |
| <div class="line"><a id="l00171" name="l00171"></a><span class="lineno"> 171</span> </div> |
| <div class="line"><a id="l00172" name="l00172"></a><span class="lineno"> 172</span> Result<Literal> Evaluate(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1StructLike.html">StructLike</a>& data) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00173" name="l00173"></a><span class="lineno"> 173</span> </div> |
| <div class="line"><a id="l00174" name="l00174"></a><span class="lineno"> 174</span> <span class="keywordtype">bool</span> is_bound_predicate()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> <span class="keyword">true</span>; }</div> |
| <div class="line"><a id="l00175" name="l00175"></a><span class="lineno"> 175</span> </div> |
| <div class="line"><a id="l00180" name="l00180"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundPredicate.html#a77c567c25ebc867a38447a141ddc83d1"> 180</a></span> <span class="keyword">virtual</span> Result<bool> <a class="code hl_function" href="classiceberg_1_1BoundPredicate.html#a77c567c25ebc867a38447a141ddc83d1">Test</a>(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& value) <span class="keyword">const</span> = 0;</div> |
| <div class="line"><a id="l00181" name="l00181"></a><span class="lineno"> 181</span> </div> |
| <div class="line"><a id="l00182" name="l00182"></a><span class="lineno"> 182</span> <span class="keyword">enum class</span> Kind : int8_t {</div> |
| <div class="line"><a id="l00183" name="l00183"></a><span class="lineno"> 183</span> <span class="comment">// A unary predicate (tests for null, not-null, etc.).</span></div> |
| <div class="line"><a id="l00184" name="l00184"></a><span class="lineno"> 184</span> kUnary = 0,</div> |
| <div class="line"><a id="l00185" name="l00185"></a><span class="lineno"> 185</span> <span class="comment">// A literal predicate (compares against a literal).</span></div> |
| <div class="line"><a id="l00186" name="l00186"></a><span class="lineno"> 186</span> kLiteral,</div> |
| <div class="line"><a id="l00187" name="l00187"></a><span class="lineno"> 187</span> <span class="comment">// A set predicate (tests membership in a set).</span></div> |
| <div class="line"><a id="l00188" name="l00188"></a><span class="lineno"> 188</span> kSet,</div> |
| <div class="line"><a id="l00189" name="l00189"></a><span class="lineno"> 189</span> };</div> |
| <div class="line"><a id="l00190" name="l00190"></a><span class="lineno"> 190</span> </div> |
| <div class="line"><a id="l00192" name="l00192"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundPredicate.html#a0c55acc20da1543acab053040834b2c3"> 192</a></span> <span class="keyword">virtual</span> Kind <a class="code hl_function" href="classiceberg_1_1BoundPredicate.html#a0c55acc20da1543acab053040834b2c3">kind</a>() <span class="keyword">const</span> = 0;</div> |
| <div class="line"><a id="l00193" name="l00193"></a><span class="lineno"> 193</span> </div> |
| <div class="line"><a id="l00194" name="l00194"></a><span class="lineno"> 194</span> <span class="keyword">protected</span>:</div> |
| <div class="line"><a id="l00195" name="l00195"></a><span class="lineno"> 195</span> <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">BoundPredicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term);</div> |
| <div class="line"><a id="l00196" name="l00196"></a><span class="lineno"> 196</span>};</div> |
| </div> |
| <div class="line"><a id="l00197" name="l00197"></a><span class="lineno"> 197</span> </div> |
| <div class="foldopen" id="foldopen00199" data-start="{" data-end="};"> |
| <div class="line"><a id="l00199" name="l00199"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundUnaryPredicate.html"> 199</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1BoundUnaryPredicate.html">BoundUnaryPredicate</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">BoundPredicate</a> {</div> |
| <div class="line"><a id="l00200" name="l00200"></a><span class="lineno"> 200</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00206" name="l00206"></a><span class="lineno"> 206</span> <span class="keyword">static</span> Result<std::unique_ptr<BoundUnaryPredicate>> Make(</div> |
| <div class="line"><a id="l00207" name="l00207"></a><span class="lineno"> 207</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term);</div> |
| <div class="line"><a id="l00208" name="l00208"></a><span class="lineno"> 208</span> </div> |
| <div class="line"><a id="l00209" name="l00209"></a><span class="lineno"> 209</span> <a class="code hl_class" href="classiceberg_1_1BoundUnaryPredicate.html">~BoundUnaryPredicate</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00210" name="l00210"></a><span class="lineno"> 210</span> </div> |
| <div class="line"><a id="l00211" name="l00211"></a><span class="lineno"> 211</span> Result<bool> Test(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& value) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00212" name="l00212"></a><span class="lineno"> 212</span> </div> |
| <div class="line"><a id="l00213" name="l00213"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundUnaryPredicate.html#a8c70db8cf8110480995edb4852a6edf8"> 213</a></span> Kind <a class="code hl_function" href="classiceberg_1_1BoundUnaryPredicate.html#a8c70db8cf8110480995edb4852a6edf8">kind</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> Kind::kUnary; }</div> |
| <div class="line"><a id="l00214" name="l00214"></a><span class="lineno"> 214</span> </div> |
| <div class="line"><a id="l00215" name="l00215"></a><span class="lineno"> 215</span> std::string ToString() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00216" name="l00216"></a><span class="lineno"> 216</span> </div> |
| <div class="line"><a id="l00217" name="l00217"></a><span class="lineno"> 217</span> Result<std::shared_ptr<Expression>> Negate() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00218" name="l00218"></a><span class="lineno"> 218</span> </div> |
| <div class="line"><a id="l00219" name="l00219"></a><span class="lineno"> 219</span> <span class="keywordtype">bool</span> Equals(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Expression.html">Expression</a>& other) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00220" name="l00220"></a><span class="lineno"> 220</span> </div> |
| <div class="line"><a id="l00221" name="l00221"></a><span class="lineno"> 221</span> <span class="keyword">private</span>:</div> |
| <div class="line"><a id="l00222" name="l00222"></a><span class="lineno"> 222</span> <a class="code hl_class" href="classiceberg_1_1BoundUnaryPredicate.html">BoundUnaryPredicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term);</div> |
| <div class="line"><a id="l00223" name="l00223"></a><span class="lineno"> 223</span>};</div> |
| </div> |
| <div class="line"><a id="l00224" name="l00224"></a><span class="lineno"> 224</span> </div> |
| <div class="foldopen" id="foldopen00226" data-start="{" data-end="};"> |
| <div class="line"><a id="l00226" name="l00226"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundLiteralPredicate.html"> 226</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1BoundLiteralPredicate.html">BoundLiteralPredicate</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">BoundPredicate</a> {</div> |
| <div class="line"><a id="l00227" name="l00227"></a><span class="lineno"> 227</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00234" name="l00234"></a><span class="lineno"> 234</span> <span class="keyword">static</span> Result<std::unique_ptr<BoundLiteralPredicate>> Make(</div> |
| <div class="line"><a id="l00235" name="l00235"></a><span class="lineno"> 235</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term, <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a> literal);</div> |
| <div class="line"><a id="l00236" name="l00236"></a><span class="lineno"> 236</span> </div> |
| <div class="line"><a id="l00237" name="l00237"></a><span class="lineno"> 237</span> <a class="code hl_class" href="classiceberg_1_1BoundLiteralPredicate.html">~BoundLiteralPredicate</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00238" name="l00238"></a><span class="lineno"> 238</span> </div> |
| <div class="line"><a id="l00240" name="l00240"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundLiteralPredicate.html#a7cf15071d083afd590de0ac290083a78"> 240</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& <a class="code hl_function" href="classiceberg_1_1BoundLiteralPredicate.html#a7cf15071d083afd590de0ac290083a78">literal</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> literal_; }</div> |
| <div class="line"><a id="l00241" name="l00241"></a><span class="lineno"> 241</span> </div> |
| <div class="line"><a id="l00242" name="l00242"></a><span class="lineno"> 242</span> Result<bool> Test(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& value) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00243" name="l00243"></a><span class="lineno"> 243</span> </div> |
| <div class="line"><a id="l00244" name="l00244"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundLiteralPredicate.html#a640e009720aa6f376f599533eaf1f415"> 244</a></span> Kind <a class="code hl_function" href="classiceberg_1_1BoundLiteralPredicate.html#a640e009720aa6f376f599533eaf1f415">kind</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> Kind::kLiteral; }</div> |
| <div class="line"><a id="l00245" name="l00245"></a><span class="lineno"> 245</span> </div> |
| <div class="line"><a id="l00246" name="l00246"></a><span class="lineno"> 246</span> std::string ToString() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00247" name="l00247"></a><span class="lineno"> 247</span> </div> |
| <div class="line"><a id="l00248" name="l00248"></a><span class="lineno"> 248</span> Result<std::shared_ptr<Expression>> Negate() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00249" name="l00249"></a><span class="lineno"> 249</span> </div> |
| <div class="line"><a id="l00250" name="l00250"></a><span class="lineno"> 250</span> <span class="keywordtype">bool</span> Equals(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Expression.html">Expression</a>& other) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00251" name="l00251"></a><span class="lineno"> 251</span> </div> |
| <div class="line"><a id="l00252" name="l00252"></a><span class="lineno"> 252</span> <span class="keyword">private</span>:</div> |
| <div class="line"><a id="l00253" name="l00253"></a><span class="lineno"> 253</span> <a class="code hl_class" href="classiceberg_1_1BoundLiteralPredicate.html">BoundLiteralPredicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term,</div> |
| <div class="line"><a id="l00254" name="l00254"></a><span class="lineno"> 254</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a> literal);</div> |
| <div class="line"><a id="l00255" name="l00255"></a><span class="lineno"> 255</span> </div> |
| <div class="line"><a id="l00256" name="l00256"></a><span class="lineno"> 256</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a> literal_;</div> |
| <div class="line"><a id="l00257" name="l00257"></a><span class="lineno"> 257</span>};</div> |
| </div> |
| <div class="line"><a id="l00258" name="l00258"></a><span class="lineno"> 258</span> </div> |
| <div class="foldopen" id="foldopen00260" data-start="{" data-end="};"> |
| <div class="line"><a id="l00260" name="l00260"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundSetPredicate.html"> 260</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1BoundSetPredicate.html">BoundSetPredicate</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1BoundPredicate.html">BoundPredicate</a> {</div> |
| <div class="line"><a id="l00261" name="l00261"></a><span class="lineno"> 261</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00262" name="l00262"></a><span class="lineno"> 262</span> <span class="keyword">using </span>LiteralSet = std::unordered_set<Literal, LiteralHash>;</div> |
| <div class="line"><a id="l00263" name="l00263"></a><span class="lineno"> 263</span> </div> |
| <div class="line"><a id="l00270" name="l00270"></a><span class="lineno"> 270</span> <span class="keyword">static</span> Result<std::unique_ptr<BoundSetPredicate>> Make(</div> |
| <div class="line"><a id="l00271" name="l00271"></a><span class="lineno"> 271</span> <a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term,</div> |
| <div class="line"><a id="l00272" name="l00272"></a><span class="lineno"> 272</span> std::span<const Literal> literals);</div> |
| <div class="line"><a id="l00273" name="l00273"></a><span class="lineno"> 273</span> </div> |
| <div class="line"><a id="l00280" name="l00280"></a><span class="lineno"> 280</span> <span class="keyword">static</span> Result<std::unique_ptr<BoundSetPredicate>> Make(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op,</div> |
| <div class="line"><a id="l00281" name="l00281"></a><span class="lineno"> 281</span> std::shared_ptr<BoundTerm> term,</div> |
| <div class="line"><a id="l00282" name="l00282"></a><span class="lineno"> 282</span> LiteralSet value_set);</div> |
| <div class="line"><a id="l00283" name="l00283"></a><span class="lineno"> 283</span> </div> |
| <div class="line"><a id="l00284" name="l00284"></a><span class="lineno"> 284</span> <a class="code hl_class" href="classiceberg_1_1BoundSetPredicate.html">~BoundSetPredicate</a>() <span class="keyword">override</span>;</div> |
| <div class="line"><a id="l00285" name="l00285"></a><span class="lineno"> 285</span> </div> |
| <div class="line"><a id="l00287" name="l00287"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundSetPredicate.html#a49821789f2f23d14d8ccf18ea5c9eeb1"> 287</a></span> <span class="keyword">const</span> LiteralSet& <a class="code hl_function" href="classiceberg_1_1BoundSetPredicate.html#a49821789f2f23d14d8ccf18ea5c9eeb1">literal_set</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> value_set_; }</div> |
| <div class="line"><a id="l00288" name="l00288"></a><span class="lineno"> 288</span> </div> |
| <div class="line"><a id="l00289" name="l00289"></a><span class="lineno"> 289</span> Result<bool> Test(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& value) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00290" name="l00290"></a><span class="lineno"> 290</span> </div> |
| <div class="line"><a id="l00291" name="l00291"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundSetPredicate.html#a1771793f38e5bbcb6ca43e0051558da9"> 291</a></span> Kind <a class="code hl_function" href="classiceberg_1_1BoundSetPredicate.html#a1771793f38e5bbcb6ca43e0051558da9">kind</a>()<span class="keyword"> const override </span>{ <span class="keywordflow">return</span> Kind::kSet; }</div> |
| <div class="line"><a id="l00292" name="l00292"></a><span class="lineno"> 292</span> </div> |
| <div class="line"><a id="l00293" name="l00293"></a><span class="lineno"> 293</span> std::string ToString() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00294" name="l00294"></a><span class="lineno"> 294</span> </div> |
| <div class="line"><a id="l00295" name="l00295"></a><span class="lineno"> 295</span> Result<std::shared_ptr<Expression>> Negate() <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00296" name="l00296"></a><span class="lineno"> 296</span> </div> |
| <div class="line"><a id="l00297" name="l00297"></a><span class="lineno"> 297</span> <span class="keywordtype">bool</span> Equals(<span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Expression.html">Expression</a>& other) <span class="keyword">const override</span>;</div> |
| <div class="line"><a id="l00298" name="l00298"></a><span class="lineno"> 298</span> </div> |
| <div class="line"><a id="l00299" name="l00299"></a><span class="lineno"> 299</span> <span class="keyword">private</span>:</div> |
| <div class="line"><a id="l00300" name="l00300"></a><span class="lineno"> 300</span> <a class="code hl_class" href="classiceberg_1_1BoundSetPredicate.html">BoundSetPredicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term,</div> |
| <div class="line"><a id="l00301" name="l00301"></a><span class="lineno"> 301</span> std::span<const Literal> literals);</div> |
| <div class="line"><a id="l00302" name="l00302"></a><span class="lineno"> 302</span> </div> |
| <div class="line"><a id="l00303" name="l00303"></a><span class="lineno"> 303</span> <a class="code hl_class" href="classiceberg_1_1BoundSetPredicate.html">BoundSetPredicate</a>(<a class="code hl_enumeration" href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">Expression::Operation</a> op, std::shared_ptr<BoundTerm> term,</div> |
| <div class="line"><a id="l00304" name="l00304"></a><span class="lineno"> 304</span> LiteralSet value_set);</div> |
| <div class="line"><a id="l00305" name="l00305"></a><span class="lineno"> 305</span> </div> |
| <div class="line"><a id="l00306" name="l00306"></a><span class="lineno"> 306</span> LiteralSet value_set_;</div> |
| <div class="line"><a id="l00307" name="l00307"></a><span class="lineno"> 307</span>};</div> |
| </div> |
| <div class="line"><a id="l00308" name="l00308"></a><span class="lineno"> 308</span> </div> |
| <div class="line"><a id="l00309" name="l00309"></a><span class="lineno"> 309</span>} <span class="comment">// namespace iceberg</span></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundLiteralPredicate_html"><div class="ttname"><a href="classiceberg_1_1BoundLiteralPredicate.html">iceberg::BoundLiteralPredicate</a></div><div class="ttdoc">Bound literal predicate (comparison against a single value).</div><div class="ttdef"><b>Definition</b> predicate.h:226</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundLiteralPredicate_html_a640e009720aa6f376f599533eaf1f415"><div class="ttname"><a href="classiceberg_1_1BoundLiteralPredicate.html#a640e009720aa6f376f599533eaf1f415">iceberg::BoundLiteralPredicate::kind</a></div><div class="ttdeci">Kind kind() const override</div><div class="ttdoc">Returns the kind of this bound predicate.</div><div class="ttdef"><b>Definition</b> predicate.h:244</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundLiteralPredicate_html_a7cf15071d083afd590de0ac290083a78"><div class="ttname"><a href="classiceberg_1_1BoundLiteralPredicate.html#a7cf15071d083afd590de0ac290083a78">iceberg::BoundLiteralPredicate::literal</a></div><div class="ttdeci">const Literal & literal() const</div><div class="ttdoc">Returns the literal being compared against.</div><div class="ttdef"><b>Definition</b> predicate.h:240</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundPredicate_html"><div class="ttname"><a href="classiceberg_1_1BoundPredicate.html">iceberg::BoundPredicate</a></div><div class="ttdoc">Bound predicates contain bound terms and can be evaluated.</div><div class="ttdef"><b>Definition</b> predicate.h:162</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundPredicate_html_a0c55acc20da1543acab053040834b2c3"><div class="ttname"><a href="classiceberg_1_1BoundPredicate.html#a0c55acc20da1543acab053040834b2c3">iceberg::BoundPredicate::kind</a></div><div class="ttdeci">virtual Kind kind() const =0</div><div class="ttdoc">Returns the kind of this bound predicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundPredicate_html_a77c567c25ebc867a38447a141ddc83d1"><div class="ttname"><a href="classiceberg_1_1BoundPredicate.html#a77c567c25ebc867a38447a141ddc83d1">iceberg::BoundPredicate::Test</a></div><div class="ttdeci">virtual Result< bool > Test(const Literal &value) const =0</div><div class="ttdoc">Test a value against this predicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundPredicate_html_aa3c404fbe4dc5a3f194c675d03cf50b7"><div class="ttname"><a href="classiceberg_1_1BoundPredicate.html#aa3c404fbe4dc5a3f194c675d03cf50b7">iceberg::BoundPredicate::reference</a></div><div class="ttdeci">std::shared_ptr< BoundReference > reference() override</div><div class="ttdoc">Returns the underlying bound reference for this term.</div><div class="ttdef"><b>Definition</b> predicate.h:170</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundSetPredicate_html"><div class="ttname"><a href="classiceberg_1_1BoundSetPredicate.html">iceberg::BoundSetPredicate</a></div><div class="ttdoc">Bound set predicate (membership testing against a set of values).</div><div class="ttdef"><b>Definition</b> predicate.h:260</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundSetPredicate_html_a1771793f38e5bbcb6ca43e0051558da9"><div class="ttname"><a href="classiceberg_1_1BoundSetPredicate.html#a1771793f38e5bbcb6ca43e0051558da9">iceberg::BoundSetPredicate::kind</a></div><div class="ttdeci">Kind kind() const override</div><div class="ttdoc">Returns the kind of this bound predicate.</div><div class="ttdef"><b>Definition</b> predicate.h:291</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundSetPredicate_html_a49821789f2f23d14d8ccf18ea5c9eeb1"><div class="ttname"><a href="classiceberg_1_1BoundSetPredicate.html#a49821789f2f23d14d8ccf18ea5c9eeb1">iceberg::BoundSetPredicate::literal_set</a></div><div class="ttdeci">const LiteralSet & literal_set() const</div><div class="ttdoc">Returns the set of literals to test against.</div><div class="ttdef"><b>Definition</b> predicate.h:287</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundTerm_html"><div class="ttname"><a href="classiceberg_1_1BoundTerm.html">iceberg::BoundTerm</a></div><div class="ttdoc">Base class for bound terms.</div><div class="ttdef"><b>Definition</b> term.h:64</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundUnaryPredicate_html"><div class="ttname"><a href="classiceberg_1_1BoundUnaryPredicate.html">iceberg::BoundUnaryPredicate</a></div><div class="ttdoc">Bound unary predicate (null, not-null, etc.).</div><div class="ttdef"><b>Definition</b> predicate.h:199</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundUnaryPredicate_html_a8c70db8cf8110480995edb4852a6edf8"><div class="ttname"><a href="classiceberg_1_1BoundUnaryPredicate.html#a8c70db8cf8110480995edb4852a6edf8">iceberg::BoundUnaryPredicate::kind</a></div><div class="ttdeci">Kind kind() const override</div><div class="ttdoc">Returns the kind of this bound predicate.</div><div class="ttdef"><b>Definition</b> predicate.h:213</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Bound_html"><div class="ttname"><a href="classiceberg_1_1Bound.html">iceberg::Bound</a></div><div class="ttdoc">Interface for bound expressions that can be evaluated.</div><div class="ttdef"><b>Definition</b> expression.h:360</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Expression_html"><div class="ttname"><a href="classiceberg_1_1Expression.html">iceberg::Expression</a></div><div class="ttdoc">Represents a boolean expression tree.</div><div class="ttdef"><b>Definition</b> expression.h:37</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Expression_html_a433076bdc34ce0b6d359313c6c7b8a9c"><div class="ttname"><a href="classiceberg_1_1Expression.html#a433076bdc34ce0b6d359313c6c7b8a9c">iceberg::Expression::Operation</a></div><div class="ttdeci">Operation</div><div class="ttdoc">Operation types for expressions.</div><div class="ttdef"><b>Definition</b> expression.h:40</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Literal_html"><div class="ttname"><a href="classiceberg_1_1Literal.html">iceberg::Literal</a></div><div class="ttdoc">Literal is a literal value that is associated with a primitive type.</div><div class="ttdef"><b>Definition</b> literal.h:39</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Predicate_html"><div class="ttname"><a href="classiceberg_1_1Predicate.html">iceberg::Predicate</a></div><div class="ttdoc">A predicate is a boolean expression that tests a term against some criteria.</div><div class="ttdef"><b>Definition</b> predicate.h:38</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Predicate_html_a149508fc8ddf4cd5d4da0ae9f4c1c80f"><div class="ttname"><a href="classiceberg_1_1Predicate.html#a149508fc8ddf4cd5d4da0ae9f4c1c80f">iceberg::Predicate::op</a></div><div class="ttdeci">Expression::Operation op() const override</div><div class="ttdoc">Returns the operation for an expression node.</div><div class="ttdef"><b>Definition</b> predicate.h:42</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Predicate_html_acee9f864ef011a76e45d98f0d9bf42af"><div class="ttname"><a href="classiceberg_1_1Predicate.html#acee9f864ef011a76e45d98f0d9bf42af">iceberg::Predicate::term</a></div><div class="ttdeci">const std::shared_ptr< T > & term() const</div><div class="ttdoc">Returns the term this predicate tests.</div><div class="ttdef"><b>Definition</b> predicate.h:45</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Schema_html"><div class="ttname"><a href="classiceberg_1_1Schema.html">iceberg::Schema</a></div><div class="ttdoc">A schema for a Table.</div><div class="ttdef"><b>Definition</b> schema.h:49</div></div> |
| <div class="ttc" id="aclassiceberg_1_1StructLike_html"><div class="ttname"><a href="classiceberg_1_1StructLike.html">iceberg::StructLike</a></div><div class="ttdoc">An immutable struct-like wrapper.</div><div class="ttdef"><b>Definition</b> struct_like.h:62</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Term_html"><div class="ttname"><a href="classiceberg_1_1Term.html">iceberg::Term</a></div><div class="ttdoc">A term is an expression node that produces a typed value when evaluated.</div><div class="ttdef"><b>Definition</b> term.h:38</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicateImpl_html"><div class="ttname"><a href="classiceberg_1_1UnboundPredicateImpl.html">iceberg::UnboundPredicateImpl</a></div><div class="ttdoc">Unbound predicates contain unbound terms and must be bound to a concrete schema before they can be ev...</div><div class="ttdef"><b>Definition</b> predicate.h:95</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicateImpl_html_a69a16eae16d9eccef5765d7d76e72f4a"><div class="ttname"><a href="classiceberg_1_1UnboundPredicateImpl.html#a69a16eae16d9eccef5765d7d76e72f4a">iceberg::UnboundPredicateImpl::unbound_term</a></div><div class="ttdeci">const Term & unbound_term() const override</div><div class="ttdoc">Returns the term of this predicate as a base Term reference.</div><div class="ttdef"><b>Definition</b> predicate.h:139</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicateImpl_html_ad40cf48a35854efea99fac3fe9aec4ba"><div class="ttname"><a href="classiceberg_1_1UnboundPredicateImpl.html#ad40cf48a35854efea99fac3fe9aec4ba">iceberg::UnboundPredicateImpl::literals</a></div><div class="ttdeci">std::span< const Literal > literals() const override</div><div class="ttdoc">Returns the literals of this predicate.</div><div class="ttdef"><b>Definition</b> predicate.h:141</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicateImpl_html_adf9d6125fc9e654129c760e9039c6f7a"><div class="ttname"><a href="classiceberg_1_1UnboundPredicateImpl.html#adf9d6125fc9e654129c760e9039c6f7a">iceberg::UnboundPredicateImpl::reference</a></div><div class="ttdeci">std::shared_ptr< NamedReference > reference() override</div><div class="ttdoc">Returns the reference of this UnboundPredicate.</div><div class="ttdef"><b>Definition</b> predicate.h:128</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html">iceberg::UnboundPredicate</a></div><div class="ttdoc">Non-template base class for all UnboundPredicate instances.</div><div class="ttdef"><b>Definition</b> predicate.h:63</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html_a59f8bba53fe0247d28327d23189f7dd1"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html#a59f8bba53fe0247d28327d23189f7dd1">iceberg::UnboundPredicate::Bind</a></div><div class="ttdeci">Result< std::shared_ptr< Expression > > Bind(const Schema &schema, bool case_sensitive) const override=0</div><div class="ttdoc">Bind this UnboundPredicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html_a7c77c2d962a6965ca484a8b74cbf4b0d"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html#a7c77c2d962a6965ca484a8b74cbf4b0d">iceberg::UnboundPredicate::Negate</a></div><div class="ttdeci">Result< std::shared_ptr< Expression > > Negate() const override=0</div><div class="ttdoc">Negate this UnboundPredicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html_acead52fae79410808671f1a57d14fa07"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html#acead52fae79410808671f1a57d14fa07">iceberg::UnboundPredicate::literals</a></div><div class="ttdeci">virtual std::span< const Literal > literals() const =0</div><div class="ttdoc">Returns the literals of this predicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html_adddd7df2f07a9cb070abb41045046f93"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html#adddd7df2f07a9cb070abb41045046f93">iceberg::UnboundPredicate::unbound_term</a></div><div class="ttdeci">virtual const Term & unbound_term() const =0</div><div class="ttdoc">Returns the term of this predicate as a base Term reference.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundPredicate_html_afc28a47f14049b5e3a9cbe27f557633e"><div class="ttname"><a href="classiceberg_1_1UnboundPredicate.html#afc28a47f14049b5e3a9cbe27f557633e">iceberg::UnboundPredicate::reference</a></div><div class="ttdeci">std::shared_ptr< NamedReference > reference() override=0</div><div class="ttdoc">Returns the reference of this UnboundPredicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1UnboundTerm_html"><div class="ttname"><a href="classiceberg_1_1UnboundTerm.html">iceberg::UnboundTerm</a></div><div class="ttdoc">Base class for unbound terms.</div><div class="ttdef"><b>Definition</b> term.h:56</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Unbound_html"><div class="ttname"><a href="classiceberg_1_1Unbound.html">iceberg::Unbound</a></div><div class="ttdoc">Interface for unbound expressions that need schema binding.</div><div class="ttdef"><b>Definition</b> expression.h:339</div></div> |
| <div class="ttc" id="aexpression_8h_html"><div class="ttname"><a href="expression_8h.html">expression.h</a></div></div> |
| <div class="ttc" id="aterm_8h_html"><div class="ttname"><a href="term_8h.html">term.h</a></div></div> |
| </div><!-- fragment --></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> |
