public class MaximumModalDepthFinder extends Object implements OWLObjectVisitorEx<Integer>
Constructor and Description |
---|
MaximumModalDepthFinder() |
Modifier and Type | Method and Description |
---|---|
Integer |
doDefault(Object o)
Gets the default return value for this visitor.
|
Integer |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
Integer |
visit(OWLDataAllValuesFrom ce)
visit OWLDataAllValuesFrom type
|
Integer |
visit(OWLDataExactCardinality ce)
visit OWLDataExactCardinality type
|
Integer |
visit(OWLDataHasValue ce)
visit OWLDataHasValue type
|
Integer |
visit(OWLDataMaxCardinality ce)
visit OWLDataMaxCardinality type
|
Integer |
visit(OWLDataMinCardinality ce)
visit OWLDataMinCardinality type
|
Integer |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
Integer |
visit(OWLDataSomeValuesFrom ce)
visit OWLDataSomeValuesFrom type
|
Integer |
visit(OWLDisjointClassesAxiom axiom)
visit OWLDisjointClassesAxiom type
|
Integer |
visit(OWLEquivalentClassesAxiom axiom)
visit OWLEquivalentClassesAxiom type
|
Integer |
visit(OWLObjectAllValuesFrom ce)
visit OWLObjectAllValuesFrom type
|
Integer |
visit(OWLObjectComplementOf ce)
visit OWLObjectComplementOf type
|
Integer |
visit(OWLObjectExactCardinality ce)
visit OWLObjectExactCardinality type
|
Integer |
visit(OWLObjectHasSelf ce)
visit OWLObjectHasSelf type
|
Integer |
visit(OWLObjectIntersectionOf ce)
visit OWLObjectIntersectionOf type
|
Integer |
visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
Integer |
visit(OWLObjectMinCardinality ce)
visit OWLObjectMinCardinality type
|
Integer |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
Integer |
visit(OWLObjectSomeValuesFrom ce)
visit OWLObjectSomeValuesFrom type
|
Integer |
visit(OWLObjectUnionOf ce)
visit OWLObjectUnionOf type
|
Integer |
visit(OWLOntology ontology)
visit OWLOntology type
|
Integer |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
visit, visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
visit, visit
visit, visit, visit, visit, visit, visit
visit
visit
visit, visit, visit, visit
visit
visit
visit
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
visit
visit, visit, visit
visit
visit
public Integer doDefault(Object o)
OWLVisitorExBase
null
doDefault
in interface OWLVisitorExBase<Integer>
o
- The object that was visited.public Integer visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitpublic Integer visit(OWLOntology ontology)
OWLNamedObjectVisitorEx
visit
in interface OWLNamedObjectVisitorEx<Integer>
ontology
- ontology to visitpublic Integer visit(OWLObjectIntersectionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectUnionOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectComplementOf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDisjointClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitpublic Integer visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitpublic Integer visit(OWLObjectMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitpublic Integer visit(OWLObjectExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLObjectHasSelf ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataSomeValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataAllValuesFrom ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataHasValue ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataMinCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataExactCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLDataMaxCardinality ce)
OWLClassExpressionVisitorEx
visit
in interface OWLClassExpressionVisitorEx<Integer>
ce
- ce to visitpublic Integer visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitpublic Integer visit(OWLEquivalentClassesAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<Integer>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.