|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.rules.ContinuousReteTransformer
public class ContinuousReteTransformer
Title: Rules To Continuous Rete Transformer
Description: Transforms rules for use with continuous rete.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static aterm.ATermAppl |
VARBINDING
|
| Constructor Summary | |
|---|---|
ContinuousReteTransformer(ABox abox)
|
|
| Method Summary | |
|---|---|
Rule |
transformRule(Rule rule)
Transform the rule as follows: |
Pair<Rule,VariableBinding> |
translateFact(Fact fact)
Translate inferred rule binding into a Rule-VariableBinding pair. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final aterm.ATermAppl VARBINDING
| Constructor Detail |
|---|
public ContinuousReteTransformer(ABox abox)
| Method Detail |
|---|
public Rule transformRule(Rule rule)
Transform the rule as follows:
public Pair<Rule,VariableBinding> translateFact(Fact fact)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||