org.sat4j.tools.xplain
Class Pair

java.lang.Object
  org.sat4j.tools.xplain.Pair

All Implemented Interfaces:

Comparable<Pair>

public class Pair
extends Object
implements Comparable<Pair>

Since:

2.1

Author:

daniel

Field Summary

IConstr	constr
Integer	key

Constructor Summary

Pair(Integer key, IConstr constr)

Method Summary

int	compareTo(Pair arg0)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

key

public final Integer key

constr

public final IConstr constr

Constructor Detail

Pair

public Pair(Integer key,
            IConstr constr)

Method Detail

compareTo

public int compareTo(Pair arg0)

Specified by:

compareTo in interface Comparable<Pair>

toString

public String toString()

Overrides:

toString in class Object