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 description trees by calling ELDescriptionNodeComparator on their root nodes.

Author:

Jens Lehmann

Constructor Summary

ELDescriptionTreeComparator()

Method Summary

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

equals

Constructor Detail

ELDescriptionTreeComparator

public ELDescriptionTreeComparator()

Method Detail

compare

public int compare(ELDescriptionTree tree1,
                   ELDescriptionTree tree2)

Specified by:

compare in interface Comparator<ELDescriptionTree>