org.sat4j.core
Class DefaultComparator<A extends java.lang.Comparable<A>>

java.lang.Object
  extended by org.sat4j.core.DefaultComparator<A>
All Implemented Interfaces:
java.io.Serializable, java.util.Comparator<A>

public class DefaultComparator<A extends java.lang.Comparable<A>>
extends java.lang.Object
implements java.util.Comparator<A>, java.io.Serializable

See Also:
Serialized Form

Constructor Summary
DefaultComparator()
           
 
Method Summary
 int compare(A a, A b)
           
 
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

DefaultComparator

public DefaultComparator()
Method Detail

compare

public int compare(A a,
                   A b)
Specified by:
compare in interface java.util.Comparator<A extends java.lang.Comparable<A>>


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.