org.coode.oppl.utils

Class PositionBasedVariableComparator

java.lang.Object

org.coode.oppl.utils.PositionBasedVariableComparator

All Implemented Interfaces:

Comparator<Variable<?>>

public class PositionBasedVariableComparator
extends Object
implements Comparator<Variable<?>>

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
PositionBasedVariableComparator(org.semanticweb.owlapi.model.OWLObject container, org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
int	compare(Variable<?> aVariable, Variable<?> anotherVariable)
org.semanticweb.owlapi.model.OWLObject	getContainer()
org.semanticweb.owlapi.model.OWLDataFactory	getDataFactory()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

PositionBasedVariableComparator

public PositionBasedVariableComparator(org.semanticweb.owlapi.model.OWLObject container,
                               org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Parameters:

container - container

dataFactory - dataFactory

Method Detail

compare

public int compare(Variable<?> aVariable,
          Variable<?> anotherVariable)

Specified by:

compare in interface Comparator<Variable<?>>

getContainer

public org.semanticweb.owlapi.model.OWLObject getContainer()

Returns:

the container

getDataFactory

public org.semanticweb.owlapi.model.OWLDataFactory getDataFactory()

Returns:

the dataFactory