org.dllearner.algorithms.refinement
Class NodeComparatorStable

java.lang.Object
  org.dllearner.algorithms.refinement.NodeComparatorStable

All Implemented Interfaces:

Comparator<Node>

public class NodeComparatorStable
extends Object
implements Comparator<Node>

Der Comparator ist stable, weil er nur nach covered negatives, Konzeptlänge und Konzeptstring vergleicht, die sich während des Algorithmus nicht ändern können.

Author:

jl

Constructor Summary

NodeComparatorStable()

Method Summary

int	compare(Node n1, Node n2)
boolean	equals(Object o)

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeComparatorStable

public NodeComparatorStable()

Method Detail

compare

public int compare(Node n1,
                   Node n2)

Specified by:

compare in interface Comparator<Node>

equals

public boolean equals(Object o)

Specified by:

equals in interface Comparator<Node>

Overrides:

equals in class Object