Soprano
2.7.4
|
Building block of an inference Rule. More...
#include <Soprano/Inference/StatementPattern>
Public Member Functions | |
StatementPattern () | |
StatementPattern (const NodePattern &, const NodePattern &, const NodePattern &) | |
StatementPattern (const StatementPattern &) | |
~StatementPattern () | |
StatementPattern | operator= (const StatementPattern &) |
NodePattern | subjectPattern () const |
NodePattern | predicatePattern () const |
NodePattern | objectPattern () const |
bool | match (const Statement &) const |
QString | createSparqlGraphPattern (const BindingSet &bindings) const |
bool | isValid () const |
Building block of an inference Rule.
A StatementPattern consists of three NodePattern that can either be variables or already bound ndoes.
StatementPattern is used to define preconditions and effects in Rule.
Definition at line 52 of file statementpattern.h.
Creates an invalid pattern
Soprano::Inference::StatementPattern::StatementPattern | ( | const NodePattern & | , |
const NodePattern & | , | ||
const NodePattern & | |||
) |
StatementPattern Soprano::Inference::StatementPattern::operator= | ( | const StatementPattern & | ) |
bool Soprano::Inference::StatementPattern::match | ( | const Statement & | ) | const |
QString Soprano::Inference::StatementPattern::createSparqlGraphPattern | ( | const BindingSet & | bindings | ) | const |
bool Soprano::Inference::StatementPattern::isValid | ( | ) | const |
true
if the pattern is valid.