org.dllearner.algorithms.refinement
Class NodeComparator

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

All Implemented Interfaces:

Comparator<Node>, Heuristic

public class NodeComparator
extends Object
implements Heuristic

Constructor Summary

NodeComparator()

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

NodeComparator

public NodeComparator()

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