org.sat4j.minisat.core

Class ActivityComparator

java.lang.Object

org.sat4j.minisat.core.ActivityComparator

All Implemented Interfaces:

java.io.Serializable, java.util.Comparator<Constr>

public class ActivityComparator
extends java.lang.Object
implements java.util.Comparator<Constr>, java.io.Serializable

Utility class to sort the constraints according to their activity.

Author:

daniel

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ActivityComparator()

Method Summary

Modifier and Type	Method and Description
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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

ActivityComparator

public ActivityComparator()

Method Detail

compare

public int compare(Constr c1,
                   Constr c2)

Specified by:

compare in interface java.util.Comparator<Constr>