org.semanticweb.owl.explanation.impl.util

Class ClassExpressionPosition

java.lang.Object

org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition

public class ClassExpressionPosition
extends Object

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLClassExpression	getClassExpression()
Position	getPosition()

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassExpressionPosition

public ClassExpressionPosition(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
                       Position position)

Method Detail

getClassExpression

public org.semanticweb.owlapi.model.OWLClassExpression getClassExpression()

getPosition

public Position getPosition()