il2.inf.edgedeletion
Class EdgeComparator

Object
  extended by EdgeComparator
All Implemented Interfaces:
Comparator<int[]>

public class EdgeComparator
extends Object
implements Comparator<int[]>


Constructor Summary
EdgeComparator()
           
EdgeComparator(int[][] edges, double[] scores)
           
 
Method Summary
 int compare(int[] edge1, int[] edge2)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface Comparator
equals
 

Constructor Detail

EdgeComparator

public EdgeComparator()

EdgeComparator

public EdgeComparator(int[][] edges,
                      double[] scores)
Method Detail

compare

public int compare(int[] edge1,
                   int[] edge2)
Specified by:
compare in interface Comparator<int[]>


Copyright 2010 UCLA Automated Reasoning Group