org.semanticweb.HermiT.structural
Class OWLNormalization.DataRangeNormalizationVisitor

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

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


Field Summary
protected  boolean[] m_alreadyExists
           
protected  java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions
           
 
Constructor Summary
OWLNormalization.DataRangeNormalizationVisitor(java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
           
 
Method Summary
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf object)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataOneOf node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatype node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
           
 org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLLiteral node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_newDataRangeInclusions

protected final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions

m_alreadyExists

protected final boolean[] m_alreadyExists
Constructor Detail

OWLNormalization.DataRangeNormalizationVisitor

public OWLNormalization.DataRangeNormalizationVisitor(java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
Method Detail

visit

public org.semanticweb.owlapi.model.OWLDataRange visit(org.semanticweb.owlapi.model.OWLDatatype 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.OWLDataComplementOf 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.OWLDataOneOf 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.OWLDataIntersectionOf object)
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 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.OWLDatatypeRestriction 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.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 node)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<org.semanticweb.owlapi.model.OWLDataRange>