org.semanticweb.elk.owl.implementation
Class ElkIndividualListObject

java.lang.Object
  org.semanticweb.elk.owl.implementation.ElkObjectImpl
      org.semanticweb.elk.owl.implementation.ElkObjectListObject<ElkIndividual>
          org.semanticweb.elk.owl.implementation.ElkIndividualListObject

All Implemented Interfaces:

ElkObject

Direct Known Subclasses:

ElkDifferentIndividualsAxiomImpl, ElkSameIndividualAxiomImpl

public abstract class ElkIndividualListObject
extends ElkObjectListObject<ElkIndividual>

Implementation for ElkObjects that maintain a list of individuals.

Author:

Markus Kroetzsch

Field Summary

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

elkObjects

Method Summary

List<? extends ElkIndividual>

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

accept

Method Detail

getIndividuals

public List<? extends ElkIndividual> getIndividuals()