org.coode.oppl.utils

Class NamedVariableDetector

java.lang.Object

org.coode.oppl.utils.AbstractVariableDetector

org.coode.oppl.utils.NamedVariableDetector

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLAnnotationValueVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLDataVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLEntityVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLIndividualVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLNamedObjectVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLObjectVisitorEx<Boolean>, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<Boolean>, org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Boolean>

public class NamedVariableDetector
extends AbstractVariableDetector

Detects the presence of a particular variable in an OWLObject instance.

Author:

Luigi Iannone

Field Summary

Fields inherited from class org.coode.oppl.utils.AbstractVariableDetector

constraintSystem

Constructor Summary

Constructors

Constructor and Description
NamedVariableDetector(Variable<?> variable, ConstraintSystem constraintSystem)

Method Summary

Modifier and Type	Method and Description
Boolean	visit(org.semanticweb.owlapi.model.OWLClass desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataProperty property)
Boolean	visit(org.semanticweb.owlapi.model.OWLLiteral node)
Boolean	visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

Methods inherited from class org.coode.oppl.utils.AbstractVariableDetector

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, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NamedVariableDetector

public NamedVariableDetector(Variable<?> variable,
                             ConstraintSystem constraintSystem)

Parameters:

variable - variable

constraintSystem - constraintSystem

Method Detail

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLClass desc)

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLLiteral node)

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataProperty property)

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)