org.sat4j.tools.xplain
Class Pair

java.lang.Object
  extended by 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


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.