scpsolver.graph
Class EnhancedCoverageComparator

java.lang.Object
  scpsolver.graph.EnhancedCoverageComparator

All Implemented Interfaces:

java.util.Comparator<Node>

public class EnhancedCoverageComparator
extends java.lang.Object
implements java.util.Comparator<Node>

Constructor Summary

EnhancedCoverageComparator(int scov, int smcov)

Method Summary

int	compare(Node o1, Node o2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

EnhancedCoverageComparator

public EnhancedCoverageComparator(int scov,
                                  int smcov)

Method Detail

compare

public int compare(Node o1,
                   Node o2)

Specified by:

compare in interface java.util.Comparator<Node>