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

Constructors

Constructor and Description
ActivityComparator()

Method Summary

Methods

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

equals

Constructor Detail

ActivityComparator

public ActivityComparator()

Method Detail

compare

public int compare(Constr c1,
          Constr c2)

Specified by:

compare in interface Comparator<Constr>