org.semanticweb.HermiT.structural
Class ExpressionManager.DescriptionComplementNNFVisitor

java.lang.Object
  extended by org.semanticweb.HermiT.structural.ExpressionManager.DescriptionComplementNNFVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>
Enclosing class:
ExpressionManager

protected class ExpressionManager.DescriptionComplementNNFVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>


Constructor Summary
protected ExpressionManager.DescriptionComplementNNFVisitor()
           
 
Method Summary
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom d)
           
 org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf d)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpressionManager.DescriptionComplementNNFVisitor

protected ExpressionManager.DescriptionComplementNNFVisitor()
Method Detail

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLClass d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>

visit

public org.semanticweb.owlapi.model.OWLClassExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality d)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<org.semanticweb.owlapi.model.OWLClassExpression>