Uses of Class
org.semanticweb.owl.explanation.impl.util.Position

Packages that use Position

Package	Description
org.semanticweb.owl.explanation.impl.util

Uses of Position in org.semanticweb.owl.explanation.impl.util

Methods in org.semanticweb.owl.explanation.impl.util that return Position

Modifier and Type	Method and Description
Position	Position.addPosition(Integer position)
Position	ClassExpressionPosition.getPosition()

Constructors in org.semanticweb.owl.explanation.impl.util with parameters of type Position

Constructor and Description
ClassExpressionPosition(org.semanticweb.owlapi.model.OWLClassExpression classExpression, Position position)