class StatementPattern |
|
\class StatementPattern statementpattern.h Soprano/Inference/StatementPattern
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.
Author Sebastian Trueg |
|
|
|
|
|
|
|
|