public abstract class AbstractVariableDetector extends Object implements org.semanticweb.owlapi.model.OWLObjectVisitorEx<Boolean>
| Modifier and Type | Field and Description |
|---|---|
protected ConstraintSystem |
constraintSystem |
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractVariableDetector(ConstraintSystem constraintSystem) |
| Modifier and Type | Method and Description |
|---|---|
Boolean |
visit(org.semanticweb.owlapi.model.IRI iri) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnnotation node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual individual) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataComplementOf node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataHasValue desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataOneOf node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDatatype node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDataUnionOf node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLFacetRestriction node) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLOntology ontology) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLClassAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLIndividualArgument node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLLiteralArgument node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLRule rule) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom node) |
Boolean |
visit(org.semanticweb.owlapi.model.SWRLVariable node) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitvisit, visitvisit, visit, visit, visitprotected ConstraintSystem constraintSystem
protected AbstractVariableDetector(ConstraintSystem constraintSystem)
constraintSystem - constraintSystempublic Boolean visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual individual)
public Boolean visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLRule rule)
public Boolean visit(org.semanticweb.owlapi.model.OWLDatatype node)
public Boolean visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataOneOf node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property)
visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLClassAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLOntology ontology)
visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotation node)
visit in interface org.semanticweb.owlapi.model.OWLAnnotationObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.IRI iri)
visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)
public Boolean visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
visit in interface org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
public Boolean visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLVariable node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLIndividualArgument node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLLiteralArgument node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>public Boolean visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom node)
visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>Copyright © 2015 The University of Manchester. All Rights Reserved.