org.semanticweb.owlapi.reasoner.impl
Class OWLNamedIndividualNodeSet

java.lang.Object
  org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet<OWLNamedIndividual>
      org.semanticweb.owlapi.reasoner.impl.OWLNamedIndividualNodeSet

All Implemented Interfaces:

java.lang.Iterable<Node<OWLNamedIndividual>>, NodeSet<OWLNamedIndividual>

public class OWLNamedIndividualNodeSet
extends DefaultNodeSet<OWLNamedIndividual>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 05-Dec-2009

Constructor Summary

OWLNamedIndividualNodeSet()

OWLNamedIndividualNodeSet(Node<OWLNamedIndividual> owlNamedIndividualNode)

OWLNamedIndividualNodeSet(OWLNamedIndividual entity)

OWLNamedIndividualNodeSet(java.util.Set<Node<OWLNamedIndividual>> nodes)

Method Summary

protected DefaultNode<OWLNamedIndividual>	getNode(OWLNamedIndividual entity)
protected DefaultNode<OWLNamedIndividual>	getNode(java.util.Set<OWLNamedIndividual> entities)

Methods inherited from class org.semanticweb.owlapi.reasoner.impl.DefaultNodeSet

addAllNodes, addDifferentEntities, addEntity, addNode, addSameEntities, containsEntity, getFlattened, getNodes, isBottomSingleton, isEmpty, isSingleton, isTopSingleton, iterator

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLNamedIndividualNodeSet

public OWLNamedIndividualNodeSet()

OWLNamedIndividualNodeSet

public OWLNamedIndividualNodeSet(OWLNamedIndividual entity)

OWLNamedIndividualNodeSet

public OWLNamedIndividualNodeSet(Node<OWLNamedIndividual> owlNamedIndividualNode)

OWLNamedIndividualNodeSet

public OWLNamedIndividualNodeSet(java.util.Set<Node<OWLNamedIndividual>> nodes)

Method Detail

getNode

protected DefaultNode<OWLNamedIndividual> getNode(OWLNamedIndividual entity)

Specified by:

getNode in class DefaultNodeSet<OWLNamedIndividual>

getNode

protected DefaultNode<OWLNamedIndividual> getNode(java.util.Set<OWLNamedIndividual> entities)

Specified by:

getNode in class DefaultNodeSet<OWLNamedIndividual>