org.sat4j.tools.xplain
Class Pair

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

All Implemented Interfaces:

java.lang.Comparable<Pair>

public class Pair
extends java.lang.Object
implements java.lang.Comparable<Pair>

Since:

2.1

Author:

daniel

Field Summary

IConstr	constr
java.lang.Integer	key

Constructor Summary

Pair(java.lang.Integer key, IConstr constr)

Method Summary

int	compareTo(Pair arg0)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

key

public final java.lang.Integer key

constr

public final IConstr constr

Constructor Detail

Pair

public Pair(java.lang.Integer key,
            IConstr constr)

Method Detail

compareTo

public int compareTo(Pair arg0)

Specified by:

compareTo in interface java.lang.Comparable<Pair>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object