org.semanticweb.HermiT.structural
Class BuiltInPropertyManager.Checker.FactVisitor

java.lang.Object
  extended by org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
      extended by org.semanticweb.HermiT.structural.BuiltInPropertyManager.Checker.FactVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor
Enclosing class:
BuiltInPropertyManager.Checker

protected class BuiltInPropertyManager.Checker.FactVisitor
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter


Constructor Summary
protected BuiltInPropertyManager.Checker.FactVisitor()
           
 
Method Summary
 void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
           
 void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)
           
 
Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BuiltInPropertyManager.Checker.FactVisitor

protected BuiltInPropertyManager.Checker.FactVisitor()
Method Detail

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor
Overrides:
visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter