org.coode.oppl.utils

Class VariableDetector

java.lang.Object

org.coode.oppl.utils.AbstractVariableDetector

org.coode.oppl.utils.VariableDetector

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 VariableDetector
extends AbstractVariableDetector

Author:

Luigi Iannone

Field Summary

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

constraintSystem

Constructor Summary

Constructors

Constructor and Description
VariableDetector(ConstraintSystem constraintSystem)

Method Summary

Modifier and Type	Method and Description
Boolean	visit(org.semanticweb.owlapi.model.OWLAnnotationProperty e)
Boolean	visit(org.semanticweb.owlapi.model.OWLClass e)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataProperty e)
Boolean	visit(org.semanticweb.owlapi.model.OWLLiteral e)
Boolean	visit(org.semanticweb.owlapi.model.OWLNamedIndividual e)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectProperty e)

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

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableDetector

public VariableDetector(ConstraintSystem constraintSystem)

Parameters:

constraintSystem - constraintSystem

Method Detail

visit

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

visit

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

visit

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

visit

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

visit

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

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLAnnotationProperty e)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitorEx<Boolean>

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitorEx<Boolean>

Overrides:

visit in class AbstractVariableDetector