org.semanticweb.owl.explanation.impl.util

Class Position

java.lang.Object

org.semanticweb.owl.explanation.impl.util.Position

public class Position
extends Object

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/02/2011

Constructor Summary

Constructors

Constructor and Description
Position()
Position(Integer... position)
Position(Integer position)
Position(List<Integer> position, Integer childPosition)

Method Summary

Modifier and Type	Method and Description
Position	addPosition(Integer position)
boolean	equals(Object obj)
int	hashCode()
boolean	isEmpty()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Position

public Position(Integer... position)

Position

public Position(List<Integer> position,
                Integer childPosition)

Position

public Position(Integer position)

Position

public Position()

Method Detail

isEmpty

public boolean isEmpty()

addPosition

public Position addPosition(Integer position)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object