|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.rules.RulesToReteTranslator
public class RulesToReteTranslator
Title: Rules To Rete Translator
Description: Translates from the rules package rule objects to the rete package rules.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
RulesToReteTranslator(ABox abox)
|
|
| Method Summary | |
|---|---|
TermTuple |
translateAtom(RuleAtom atom,
DependencySet ds)
Translates a rule atom into a rete triple. |
Pair<aterm.ATermAppl,DependencySet> |
translateAtomObject(AtomObject obj)
Return a pair of a term, and a dependency set. |
java.util.List<TermTuple> |
translateAtoms(java.util.Collection<? extends RuleAtom> atoms,
DependencySet ds)
Translates a list of rule atoms into rete triples. |
Rule |
translateRule(Rule rule)
Translates a rule.Rule to a rete.Rule. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public RulesToReteTranslator(ABox abox)
| Method Detail |
|---|
public TermTuple translateAtom(RuleAtom atom,
DependencySet ds)
public Pair<aterm.ATermAppl,DependencySet> translateAtomObject(AtomObject obj)
public java.util.List<TermTuple> translateAtoms(java.util.Collection<? extends RuleAtom> atoms,
DependencySet ds)
public Rule translateRule(Rule rule)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||