org.semanticweb.HermiT.structural
Class ExpressionManager.DataRangeComplementNNFVisitor
java.lang.Object
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>
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 |
ExpressionManager.DataRangeComplementNNFVisitor
protected ExpressionManager.DataRangeComplementNNFVisitor()
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>