org.sat4j.minisat.core
Class ActivityComparator

java.lang.Object
  org.sat4j.minisat.core.ActivityComparator

All Implemented Interfaces:

Serializable, Comparator<Constr>

public class ActivityComparator
extends Object
implements Comparator<Constr>, Serializable

Utility class to sort the constraints according to their activity.

Author:

daniel

See Also:

Serialized Form

Constructor Summary

ActivityComparator()

Method Summary

int	compare(Constr c1, Constr c2)

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

ActivityComparator

public ActivityComparator()

Method Detail

compare

public int compare(Constr c1,
                   Constr c2)

Specified by:

compare in interface Comparator<Constr>