org.dllearner.algorithms.el
Class ELDescriptionNodeComparator

java.lang.Object
  org.dllearner.algorithms.el.ELDescriptionNodeComparator

All Implemented Interfaces:

Comparator<ELDescriptionNode>

public class ELDescriptionNodeComparator
extends Object
implements Comparator<ELDescriptionNode>

Compares two EL description trees. It is a lexicographic order according to the following criteria: - number of children - size of label - string comparison for each class in the label - recursive call on each child (first compare edge label, then child node)

Author:

Jens Lehmann

Constructor Summary

ELDescriptionNodeComparator()

Method Summary

int	compare(ELDescriptionNode node1, ELDescriptionNode node2)

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

ELDescriptionNodeComparator

public ELDescriptionNodeComparator()

Method Detail

compare

public int compare(ELDescriptionNode node1,
                   ELDescriptionNode node2)

Specified by:

compare in interface Comparator<ELDescriptionNode>