tuffy.helper
Class Stats.ClauseCostComparator

java.lang.Object
  tuffy.helper.Stats.ClauseCostComparator

All Implemented Interfaces:

java.util.Comparator<Clause>

Enclosing class:

Stats

public static class Stats.ClauseCostComparator
extends java.lang.Object
implements java.util.Comparator<Clause>

Constructor Summary

Stats.ClauseCostComparator()

Method Summary

int	compare(Clause x, Clause y)

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

Stats.ClauseCostComparator

public Stats.ClauseCostComparator()

Method Detail

compare

public int compare(Clause x,
                   Clause y)

Specified by:

compare in interface java.util.Comparator<Clause>