org.dllearner.algorithms.el
Class TreeAndRoleSetComparator

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

All Implemented Interfaces:

Comparator<TreeAndRoleSet>

public class TreeAndRoleSetComparator
extends Object
implements Comparator<TreeAndRoleSet>

A comparator implementation for the tree and role set convenience structure.

Author:

Jens Lehmann

Constructor Summary

TreeAndRoleSetComparator()

Method Summary

int	compare(TreeAndRoleSet o1, TreeAndRoleSet o2)

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

TreeAndRoleSetComparator

public TreeAndRoleSetComparator()

Method Detail

compare

public int compare(TreeAndRoleSet o1,
                   TreeAndRoleSet o2)

Specified by:

compare in interface Comparator<TreeAndRoleSet>