org.semanticweb.elk.owl.implementation

Class ElkIndividualListObject

java.lang.Object

org.semanticweb.elk.owl.predefined.AbstractElkObject

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

Nested Class Summary

Nested classes/interfaces inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject

ElkObject.Factory

Method Summary

Modifier and Type	Method and Description
List<? extends ElkIndividual>	getIndividuals()

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

getObjects, varArgsToList, varArgsToList

Methods inherited from class org.semanticweb.elk.owl.predefined.AbstractElkObject

equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

accept

Method Detail

getIndividuals

public List<? extends ElkIndividual> getIndividuals()