<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <title>Soprano: Soprano::Inference::StatementPattern Class Reference</title> <link href="tabs.css" rel="stylesheet" type="text/css"/> <link href="doxygen.css" rel="stylesheet" type="text/css"/> </head> <body> <!-- Generated by Doxygen 1.7.1 --> <script type="text/javascript"> function hasClass(ele,cls) { return ele.className.match(new RegExp('(\\s|^)'+cls+'(\\s|$)')); } function addClass(ele,cls) { if (!this.hasClass(ele,cls)) ele.className += " "+cls; } function removeClass(ele,cls) { if (hasClass(ele,cls)) { var reg = new RegExp('(\\s|^)'+cls+'(\\s|$)'); ele.className=ele.className.replace(reg,' '); } } function toggleVisibility(linkObj) { var base = linkObj.getAttribute('id'); var summary = document.getElementById(base + '-summary'); var content = document.getElementById(base + '-content'); var trigger = document.getElementById(base + '-trigger'); if ( hasClass(linkObj,'closed') ) { summary.style.display = 'none'; content.style.display = 'block'; trigger.src = 'open.png'; removeClass(linkObj,'closed'); addClass(linkObj,'opened'); } else if ( hasClass(linkObj,'opened') ) { summary.style.display = 'block'; content.style.display = 'none'; trigger.src = 'closed.png'; removeClass(linkObj,'opened'); addClass(linkObj,'closed'); } return false; } </script> <div class="navigation" id="top"> <div class="tabs"> <ul class="tablist"> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs2"> <ul class="tablist"> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="classes.html"><span>Class Index</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div class="navpath"> <ul> <li><a class="el" href="namespaceSoprano.html">Soprano</a> </li> <li><a class="el" href="namespaceSoprano_1_1Inference.html">Inference</a> </li> <li><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">Soprano::Inference::StatementPattern</a> </li> </ul> </div> </div> <div class="header"> <div class="summary"> <a href="#pub-methods">Public Member Functions</a> </div> <div class="headertitle"> <h1>Soprano::Inference::StatementPattern Class Reference</h1> </div> </div> <div class="contents"> <!-- doxytag: class="Soprano::Inference::StatementPattern" --> <p>Building block of an inference <a class="el" href="classSoprano_1_1Inference_1_1Rule.html" title="A rule used by the InferenceModel to generate inferenced statements.">Rule</a>. <a href="#_details">More...</a></p> <p><code>#include <<a class="el" href="statementpattern_8h_source.html">Soprano/Inference/StatementPattern</a>></code></p> <p><a href="classSoprano_1_1Inference_1_1StatementPattern-members.html">List of all members.</a></p> <table class="memberdecls"> <tr><td colspan="2"><h2><a name="pub-methods"></a> Public Member Functions</h2></td></tr> <tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a607ed7fd2cf51e884791905f4f7dfd74">StatementPattern</a> ()</td></tr> <tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a2e09f56f450aea54b34cacbba45d91b0">StatementPattern</a> (const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> &, const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> &, const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> &)</td></tr> <tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#ac0fbdfd4f889c51fd996177b6719c81f">StatementPattern</a> (const <a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> &)</td></tr> <tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a1b745834073b622b3dd65e2e530ac4e2">~StatementPattern</a> ()</td></tr> <tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#ade1320afacd62f9a0da596e69a4c12e3">operator=</a> (const <a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> &)</td></tr> <tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a4119496c59e11a3b5b00a7fd91e45a72">subjectPattern</a> () const </td></tr> <tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a5ab75b53a7acfb3e7e3ed3233e72add2">predicatePattern</a> () const </td></tr> <tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a0f3bf1183c22911dbdf31f1ebd5c81e2">objectPattern</a> () const </td></tr> <tr><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a42eacdbac67f108858c3b5efac2e7685">match</a> (const <a class="el" href="classSoprano_1_1Statement.html">Statement</a> &) const </td></tr> <tr><td class="memItemLeft" align="right" valign="top"><a class="elRef" href="qstring.html">QString</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#a2ea0fe463dfb95b68b8a1ab08ff6b6f6">createSparqlGraphPattern</a> (const <a class="el" href="classSoprano_1_1BindingSet.html">BindingSet</a> &bindings) const </td></tr> <tr><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html#aa501329dbaf6fe6a0a200307f90ef3ba">isValid</a> () const </td></tr> </table> <hr/><a name="_details"></a><h2>Detailed Description</h2> <p>Building block of an inference <a class="el" href="classSoprano_1_1Inference_1_1Rule.html" title="A rule used by the InferenceModel to generate inferenced statements.">Rule</a>. </p> <p>A <a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html" title="Building block of an inference Rule.">StatementPattern</a> consists of three <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html" title="Smallest building block of an inference Rule.">NodePattern</a> that can either be variables or already bound ndoes.</p> <p><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html" title="Building block of an inference Rule.">StatementPattern</a> is used to define preconditions and effects in <a class="el" href="classSoprano_1_1Inference_1_1Rule.html" title="A rule used by the InferenceModel to generate inferenced statements.">Rule</a>.</p> <dl class="author"><dt><b>Author:</b></dt><dd>Sebastian Trueg <<a href="mailto:trueg@kde.org">trueg@kde.org</a>> </dd></dl> <p>Definition at line <a class="el" href="statementpattern_8h_source.html#l00052">52</a> of file <a class="el" href="statementpattern_8h_source.html">statementpattern.h</a>.</p> <hr/><h2>Constructor & Destructor Documentation</h2> <a class="anchor" id="a607ed7fd2cf51e884791905f4f7dfd74"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::StatementPattern" ref="a607ed7fd2cf51e884791905f4f7dfd74" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">Soprano::Inference::StatementPattern::StatementPattern </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p>Creates an invalid pattern </p> </div> </div> <a class="anchor" id="a2e09f56f450aea54b34cacbba45d91b0"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::StatementPattern" ref="a2e09f56f450aea54b34cacbba45d91b0" args="(const NodePattern &, const NodePattern &, const NodePattern &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">Soprano::Inference::StatementPattern::StatementPattern </td> <td>(</td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> & </td> <td class="paramname">, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> & </td> <td class="paramname">, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> & </td> <td class="paramname"></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td></td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="ac0fbdfd4f889c51fd996177b6719c81f"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::StatementPattern" ref="ac0fbdfd4f889c51fd996177b6719c81f" args="(const StatementPattern &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">Soprano::Inference::StatementPattern::StatementPattern </td> <td>(</td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> & </td> <td class="paramname"></td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a1b745834073b622b3dd65e2e530ac4e2"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::~StatementPattern" ref="a1b745834073b622b3dd65e2e530ac4e2" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">Soprano::Inference::StatementPattern::~StatementPattern </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> </div> </div> <hr/><h2>Member Function Documentation</h2> <a class="anchor" id="ade1320afacd62f9a0da596e69a4c12e3"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::operator=" ref="ade1320afacd62f9a0da596e69a4c12e3" args="(const StatementPattern &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> Soprano::Inference::StatementPattern::operator= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Inference_1_1StatementPattern.html">StatementPattern</a> & </td> <td class="paramname"></td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a4119496c59e11a3b5b00a7fd91e45a72"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::subjectPattern" ref="a4119496c59e11a3b5b00a7fd91e45a72" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> Soprano::Inference::StatementPattern::subjectPattern </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a5ab75b53a7acfb3e7e3ed3233e72add2"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::predicatePattern" ref="a5ab75b53a7acfb3e7e3ed3233e72add2" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> Soprano::Inference::StatementPattern::predicatePattern </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a0f3bf1183c22911dbdf31f1ebd5c81e2"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::objectPattern" ref="a0f3bf1183c22911dbdf31f1ebd5c81e2" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classSoprano_1_1Inference_1_1NodePattern.html">NodePattern</a> Soprano::Inference::StatementPattern::objectPattern </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a42eacdbac67f108858c3b5efac2e7685"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::match" ref="a42eacdbac67f108858c3b5efac2e7685" args="(const Statement &) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool Soprano::Inference::StatementPattern::match </td> <td>(</td> <td class="paramtype">const <a class="el" href="classSoprano_1_1Statement.html">Statement</a> & </td> <td class="paramname"></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="a2ea0fe463dfb95b68b8a1ab08ff6b6f6"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::createSparqlGraphPattern" ref="a2ea0fe463dfb95b68b8a1ab08ff6b6f6" args="(const BindingSet &bindings) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="elRef" href="qstring.html">QString</a> Soprano::Inference::StatementPattern::createSparqlGraphPattern </td> <td>(</td> <td class="paramtype">const <a class="el" href="classSoprano_1_1BindingSet.html">BindingSet</a> & </td> <td class="paramname"> <em>bindings</em></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> </div> </div> <a class="anchor" id="aa501329dbaf6fe6a0a200307f90ef3ba"></a><!-- doxytag: member="Soprano::Inference::StatementPattern::isValid" ref="aa501329dbaf6fe6a0a200307f90ef3ba" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool Soprano::Inference::StatementPattern::isValid </td> <td>(</td> <td class="paramname"></td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <dl class="return"><dt><b>Returns:</b></dt><dd><code>true</code> if the pattern is valid.</dd></dl> <dl class="since"><dt><b>Since:</b></dt><dd>2.3 </dd></dl> </div> </div> <hr/>The documentation for this class was generated from the following file:<ul> <li>/builddir/build/BUILD/soprano-2.5.2/soprano/inference/<a class="el" href="statementpattern_8h_source.html">statementpattern.h</a></li> </ul> </div> <hr class="footer"/><address class="footer"><small>Generated on Thu Oct 21 2010 for Soprano by <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.1 </small></address> </body> </html>