org.sat4j.pb

Class ObjectiveFunctionComparator

java.lang.Object

org.sat4j.pb.ObjectiveFunctionComparator

All Implemented Interfaces:

Serializable, Comparator<Integer>

public class ObjectiveFunctionComparator
extends Object
implements Comparator<Integer>, Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ObjectiveFunctionComparator(ObjectiveFunction objf)

Method Summary

Modifier and Type	Method and Description
int	compare(Integer o1, Integer o2)

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

ObjectiveFunctionComparator

public ObjectiveFunctionComparator(ObjectiveFunction objf)

Method Detail

compare

public int compare(Integer o1,
                   Integer o2)

Specified by:

compare in interface Comparator<Integer>