|
83 | 83 | <code>#include <iostream></code><br />
|
84 | 84 | <code>#include <tuple></code><br />
|
85 | 85 | <code>#include "<a class="el" href="tuple__hash_8h_source.html">tuple_hash.h</a>"</code><br />
|
86 |
| -<code>#include "<a class="el" href="_variable_8h_source.html">Variable.h</a>"</code><br /> |
| 86 | +<code>#include "<a class="el" href="variable_8h_source.html">variable.h</a>"</code><br /> |
| 87 | +<code>#include "<a class="el" href="tuple__binding_8h_source.html">tuple_binding.h</a>"</code><br /> |
87 | 88 | </div><div class="textblock"><div class="dynheader">
|
88 | 89 | Include dependency graph for Datalog.h:</div>
|
89 | 90 | <div class="dyncontent">
|
90 | 91 | <div class="center"><img src="_datalog_8h__incl.png" border="0" usemap="#src_2_datalog_8h" alt=""/></div>
|
91 | 92 | <map name="src_2_datalog_8h" id="src_2_datalog_8h">
|
92 |
| -<area shape="rect" title=" " alt="" coords="409,5,508,32"/> |
| 93 | +<area shape="rect" title=" " alt="" coords="457,5,556,32"/> |
93 | 94 | <area shape="rect" title=" " alt="" coords="5,80,45,107"/>
|
94 | 95 | <area shape="rect" title=" " alt="" coords="69,80,173,107"/>
|
95 | 96 | <area shape="rect" title=" " alt="" coords="198,80,266,107"/>
|
96 |
| -<area shape="rect" title=" " alt="" coords="589,155,656,181"/> |
| 97 | +<area shape="rect" title=" " alt="" coords="576,229,643,256"/> |
97 | 98 | <area shape="rect" title=" " alt="" coords="341,80,395,107"/>
|
98 | 99 | <area shape="rect" title=" " alt="" coords="419,80,498,107"/>
|
99 | 100 | <area shape="rect" title=" " alt="" coords="522,80,587,107"/>
|
100 | 101 | <area shape="rect" title=" " alt="" coords="612,80,684,107"/>
|
101 | 102 | <area shape="rect" title=" " alt="" coords="708,80,759,107"/>
|
102 | 103 | <area shape="rect" href="tuple__hash_8h.html" title=" " alt="" coords="783,80,878,107"/>
|
103 |
| -<area shape="rect" href="_variable_8h.html" title=" " alt="" coords="902,80,981,107"/> |
| 104 | +<area shape="rect" href="variable_8h.html" title=" " alt="" coords="877,155,955,181"/> |
| 105 | +<area shape="rect" href="tuple__binding_8h.html" title=" " alt="" coords="954,80,1062,107"/> |
104 | 106 | </map>
|
105 | 107 | </div>
|
106 | 108 | </div>
|
|
146 | 148 | Functions</h2></td></tr>
|
147 | 149 | <tr class="memitem:a417f9b9741e9b61e6b20d9c52191685b"><td class="memTemplParams" colspan="2">template<typename T > </td></tr>
|
148 | 150 | <tr class="memitem:a417f9b9741e9b61e6b20d9c52191685b"><td class="memTemplItemLeft" align="right" valign="top">Variable< T > * </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a417f9b9741e9b61e6b20d9c52191685b">datalog::var</a> ()</td></tr>
|
| 151 | +<tr class="memdesc:a417f9b9741e9b61e6b20d9c52191685b"><td class="mdescLeft"> </td><td class="mdescRight">create a new variable <a href="namespacedatalog.html#a417f9b9741e9b61e6b20d9c52191685b">More...</a><br /></td></tr> |
149 | 152 | <tr class="separator:a417f9b9741e9b61e6b20d9c52191685b"><td class="memSeparator" colspan="2"> </td></tr>
|
150 | 153 | <tr class="memitem:a1b657030dc65c11e9a8a75dc5d93f3d2"><td class="memTemplParams" colspan="2">template<typename T > </td></tr>
|
151 | 154 | <tr class="memitem:a1b657030dc65c11e9a8a75dc5d93f3d2"><td class="memTemplItemLeft" align="right" valign="top">T </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a1b657030dc65c11e9a8a75dc5d93f3d2">datalog::val</a> (Variable< T > *t)</td></tr>
|
| 155 | +<tr class="memdesc:a1b657030dc65c11e9a8a75dc5d93f3d2"><td class="mdescLeft"> </td><td class="mdescRight">get the value of a variable <a href="namespacedatalog.html#a1b657030dc65c11e9a8a75dc5d93f3d2">More...</a><br /></td></tr> |
152 | 156 | <tr class="separator:a1b657030dc65c11e9a8a75dc5d93f3d2"><td class="memSeparator" colspan="2"> </td></tr>
|
153 | 157 | <tr class="memitem:a9d68f6a6de3ce39f8d0a67f7fbb6fb0b"><td class="memTemplParams" colspan="2">template<typename T > </td></tr>
|
154 | 158 | <tr class="memitem:a9d68f6a6de3ce39f8d0a67f7fbb6fb0b"><td class="memTemplItemLeft" align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a9d68f6a6de3ce39f8d0a67f7fbb6fb0b">datalog::deleteVar</a> (Variable< T > *v)</td></tr>
|
| 159 | +<tr class="memdesc:a9d68f6a6de3ce39f8d0a67f7fbb6fb0b"><td class="mdescLeft"> </td><td class="mdescRight">delete a variable <a href="namespacedatalog.html#a9d68f6a6de3ce39f8d0a67f7fbb6fb0b">More...</a><br /></td></tr> |
155 | 160 | <tr class="separator:a9d68f6a6de3ce39f8d0a67f7fbb6fb0b"><td class="memSeparator" colspan="2"> </td></tr>
|
156 |
| -<tr class="memitem:a1e9ab7444b4667aa70988ed907755482"><td class="memTemplParams" colspan="2">template<typename T > </td></tr> |
157 |
| -<tr class="memitem:a1e9ab7444b4667aa70988ed907755482"><td class="memTemplItemLeft" align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a1e9ab7444b4667aa70988ed907755482">datalog::unbind</a> (Variable< T > *t)</td></tr> |
158 |
| -<tr class="separator:a1e9ab7444b4667aa70988ed907755482"><td class="memSeparator" colspan="2"> </td></tr> |
159 |
| -<tr class="memitem:aff960f716fe6b18bfd8888082d6e17d3"><td class="memTemplParams" colspan="2">template<typename T > </td></tr> |
160 |
| -<tr class="memitem:aff960f716fe6b18bfd8888082d6e17d3"><td class="memTemplItemLeft" align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#aff960f716fe6b18bfd8888082d6e17d3">datalog::unbind</a> (const T &t)</td></tr> |
161 |
| -<tr class="separator:aff960f716fe6b18bfd8888082d6e17d3"><td class="memSeparator" colspan="2"> </td></tr> |
162 |
| -<tr class="memitem:ac0c6dc70ec4fb5f991809ca57ea3c915"><td class="memTemplParams" colspan="2">template<typename... Ts> </td></tr> |
163 |
| -<tr class="memitem:ac0c6dc70ec4fb5f991809ca57ea3c915"><td class="memTemplItemLeft" align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#ac0c6dc70ec4fb5f991809ca57ea3c915">datalog::unbind</a> (const tuple< Ts... > &tuple)</td></tr> |
164 |
| -<tr class="separator:ac0c6dc70ec4fb5f991809ca57ea3c915"><td class="memSeparator" colspan="2"> </td></tr> |
165 | 161 | <tr class="memitem:a3bd504a9e3a4fce66f8b447452f0d71a"><td class="memTemplParams" colspan="2">template<typename T > </td></tr>
|
166 | 162 | <tr class="memitem:a3bd504a9e3a4fce66f8b447452f0d71a"><td class="memTemplItemLeft" align="right" valign="top">bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacedatalog.html#a3bd504a9e3a4fce66f8b447452f0d71a">datalog::bind</a> (const T &a, const T &b)</td></tr>
|
167 | 163 | <tr class="separator:a3bd504a9e3a4fce66f8b447452f0d71a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
0 commit comments