com.clarkparsia.pellet.rules
Class RulesToATermTranslator

java.lang.Object
  extended by com.clarkparsia.pellet.rules.RulesToATermTranslator
All Implemented Interfaces:
AtomObjectVisitor, RuleAtomVisitor

public class RulesToATermTranslator
extends java.lang.Object
implements RuleAtomVisitor, AtomObjectVisitor

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
RulesToATermTranslator()
           
 
Method Summary
 aterm.ATermAppl translate(AtomObject obj)
           
 aterm.ATermAppl translate(Rule rule)
           
 aterm.ATermAppl translate(RuleAtom ruleAtom)
           
 void visit(AtomDConstant constant)
          
 void visit(AtomDVariable variable)
          
 void visit(AtomIConstant constant)
          
 void visit(AtomIVariable variable)
          
 void visit(BuiltInAtom atom)
          
 void visit(ClassAtom atom)
          
 void visit(DataRangeAtom atom)
          
 void visit(DatavaluedPropertyAtom atom)
          
 void visit(DifferentIndividualsAtom atom)
          
 void visit(IndividualPropertyAtom atom)
          
 void visit(Rule rule)
           
 void visit(SameIndividualAtom atom)
          
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RulesToATermTranslator

public RulesToATermTranslator()
Method Detail

translate

public aterm.ATermAppl translate(Rule rule)

translate

public aterm.ATermAppl translate(RuleAtom ruleAtom)

translate

public aterm.ATermAppl translate(AtomObject obj)

visit

public void visit(Rule rule)

visit

public void visit(BuiltInAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(ClassAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DataRangeAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DatavaluedPropertyAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(DifferentIndividualsAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(IndividualPropertyAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(SameIndividualAtom atom)

Specified by:
visit in interface RuleAtomVisitor

visit

public void visit(AtomDConstant constant)

Specified by:
visit in interface AtomObjectVisitor

visit

public void visit(AtomDVariable variable)

Specified by:
visit in interface AtomObjectVisitor

visit

public void visit(AtomIConstant constant)

Specified by:
visit in interface AtomObjectVisitor

visit

public void visit(AtomIVariable variable)

Specified by:
visit in interface AtomObjectVisitor


Copyright © 2004 Evren Sirin. All Rights Reserved.