org.semanticweb.elk.owlapi.wrapper
Class ElkDifferentIndividualsAxiomWrap<T extends org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom>

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.ElkDifferentIndividualsAxiomWrap<T>

Type Parameters:

T - the type of the wrapped object

All Implemented Interfaces:

ElkAssertionAxiom, ElkAxiom, ElkDifferentIndividualsAxiom, ElkObject

public class ElkDifferentIndividualsAxiomWrap<T extends org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom>
extends ElkAssertionAxiomWrap<T>
implements ElkDifferentIndividualsAxiom

Implements the ElkDifferentIndividualsAxiom interface by wrapping instances of OWLDifferentIndividualsAxiom

Author:

Yevgeny Kazakov

Field Summary

Fields inherited from class org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap

converter, owlObject

Constructor Summary

ElkDifferentIndividualsAxiomWrap(T owlDifferentIndividualsAxiom)

Method Summary

<O> O	accept(ElkAssertionAxiomVisitor<O> visitor)
List<? extends ElkIndividual>	getIndividuals()

Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkAssertionAxiomWrap

accept

Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap

accept

Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap

hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom

accept

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject

accept

Constructor Detail

ElkDifferentIndividualsAxiomWrap

public ElkDifferentIndividualsAxiomWrap(T owlDifferentIndividualsAxiom)

Method Detail

getIndividuals

public List<? extends ElkIndividual> getIndividuals()

Specified by:

getIndividuals in interface ElkDifferentIndividualsAxiom

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.OWLDifferentIndividualsAxiom>