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

java.lang.Object
  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>>