org.semanticweb.elk.owlapi.wrapper
Class ElkSameIndividualAxiomWrap<T extends org.semanticweb.owlapi.model.OWLSameIndividualAxiom>
java.lang.Object
org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkAssertionAxiomWrap<T>
org.semanticweb.elk.owlapi.wrapper.ElkSameIndividualAxiomWrap<T>
- Type Parameters:
T - the type of the wrapped object
- All Implemented Interfaces:
- ElkAssertionAxiom, ElkAxiom, ElkObject, ElkSameIndividualAxiom
public class ElkSameIndividualAxiomWrap<T extends org.semanticweb.owlapi.model.OWLSameIndividualAxiom>
- extends ElkAssertionAxiomWrap<T>
- implements ElkSameIndividualAxiom
Implements the ElkSameIndividualAxiom interface by wrapping instances
of OWLSameIndividualAxiom
- Author:
- Yevgeny Kazakov
| Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom |
accept |
| Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject |
accept |
ElkSameIndividualAxiomWrap
public ElkSameIndividualAxiomWrap(T owlSameIndividualAxiom)
getIndividuals
public List<? extends ElkIndividual> getIndividuals()
- Specified by:
getIndividuals in interface ElkSameIndividualAxiom
accept
public <O> O accept(ElkAssertionAxiomVisitor<O> visitor)
- Specified by:
accept in interface ElkAssertionAxiom- Specified by:
accept in class ElkAssertionAxiomWrap<T extends org.semanticweb.owlapi.model.OWLSameIndividualAxiom>
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.