org.semanticweb.elk.owl.implementation

Class ElkDifferentIndividualsAxiomImpl

java.lang.Object

org.semanticweb.elk.owl.implementation.ElkObjectImpl

org.semanticweb.elk.owl.implementation.ElkObjectListObject<ElkIndividual>

org.semanticweb.elk.owl.implementation.ElkIndividualListObject

org.semanticweb.elk.owl.implementation.ElkDifferentIndividualsAxiomImpl

All Implemented Interfaces:

ElkAssertionAxiom, ElkAxiom, ElkDifferentIndividualsAxiom, ElkObject

public class ElkDifferentIndividualsAxiomImpl
extends ElkIndividualListObject
implements ElkDifferentIndividualsAxiom

ELK implementation of ElkDifferentIndividualsAxiom.

Author:

Markus Kroetzsch

Field Summary

Fields inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject

elkObjects

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	accept(ElkAssertionAxiomVisitor<O> visitor)
<O> O	accept(ElkAxiomVisitor<O> visitor)
<O> O	accept(ElkObjectVisitor<O> visitor)

Methods inherited from class org.semanticweb.elk.owl.implementation.ElkIndividualListObject

getIndividuals

Methods inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject

varArgsToList, varArgsToList

Methods inherited from class java.lang.Object

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

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

getIndividuals

Method Detail

accept

public <O> O accept(ElkAssertionAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkAssertionAxiom

accept

public <O> O accept(ElkAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkAxiom

accept

public <O> O accept(ElkObjectVisitor<O> visitor)

Specified by:

accept in interface ElkObject