org.semanticweb.more.visitors
Class SHIFClassExpressionVisitor

java.lang.Object
  extended by org.semanticweb.more.visitors.SHIFClassExpressionVisitor
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLClassExpressionVisitor

public class SHIFClassExpressionVisitor
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor


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

Constructor Detail

SHIFClassExpressionVisitor

public SHIFClassExpressionVisitor()
Method Detail

isSHIF

public boolean isSHIF(org.semanticweb.owlapi.model.OWLClassExpression exp)

visit

public void visit(org.semanticweb.owlapi.model.OWLClass exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataOneOf exp)

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf exp)

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality exp)
Specified by:
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor


Copyright © 2013. All Rights Reserved.