org.dllearner.algorithms.el

Class ELDescriptionTreeComparator

java.lang.Object

org.dllearner.algorithms.el.ELDescriptionTreeComparator

All Implemented Interfaces:

Comparator<ELDescriptionTree>

public class ELDescriptionTreeComparator
extends Object
implements Comparator<ELDescriptionTree>

Compares two EL OWLClassExpression trees by calling ELDescriptionNodeComparator on their root nodes.

Author:

Jens Lehmann

Constructor Summary

Constructors

Constructor and Description
ELDescriptionTreeComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(ELDescriptionTree tree1, ELDescriptionTree tree2)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

ELDescriptionTreeComparator

public ELDescriptionTreeComparator()

Method Detail

compare

public int compare(ELDescriptionTree tree1,
                   ELDescriptionTree tree2)

Specified by:

compare in interface Comparator<ELDescriptionTree>