org.semanticweb.HermiT.structural
Class ExpressionManager.DataRangeNNFVisitor

java.lang.Object
  extended by org.semanticweb.HermiT.structural.ExpressionManager.DataRangeNNFVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>
Enclosing class:
ExpressionManager

protected class ExpressionManager.DataRangeNNFVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>


Constructor Summary
protected ExpressionManager.DataRangeNNFVisitor()
           
 
Method Summary
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataComplementOf o)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf range)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataOneOf o)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataRange o)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatype o)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction o)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataUnionOf range)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLLiteral o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpressionManager.DataRangeNNFVisitor

protected ExpressionManager.DataRangeNNFVisitor()
Method Detail

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatype o)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataComplementOf o)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataOneOf o)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataRange o)

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction o)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLLiteral o)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf range)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataUnionOf range)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>