org.semanticweb.HermiT.structural
Class ExpressionManager.DataRangeComplementNNFVisitor

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

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


Constructor Summary
protected ExpressionManager.DataRangeComplementNNFVisitor()
           
 
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.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 o)
           
 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.DataRangeComplementNNFVisitor

protected ExpressionManager.DataRangeComplementNNFVisitor()
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.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 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.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>