org.semanticweb.HermiT.structural
Class OWLNormalization.DataRangeNormalizationVisitor
java.lang.Object
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>
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 |
m_newDataRangeInclusions
protected final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_newDataRangeInclusions
m_alreadyExists
protected final boolean[] m_alreadyExists
OWLNormalization.DataRangeNormalizationVisitor
public OWLNormalization.DataRangeNormalizationVisitor(java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> newDataRangeInclusions)
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>