import edu.neu.ccs.satsolver.*;

public class Pair implements PairI {
  public Pair(double fraction, int relationNumber) {
    this.fraction = fraction;
    this.relationNumber = relationNumber;
  }
  
  public double getFraction() {
    return fraction;
  }

  public int getRelationNumber() {
    return relationNumber;
  }

  public String toString() {
    return "(R" + relationNumber + ", " + fraction + ")";
  }

  public boolean equals(Object o) {
	  return (o instanceof Pair) &&
	    ((Pair)o).getFraction() == fraction &&
		 ((Pair)o).getRelationNumber() == relationNumber;
  }

  public int hashCode() {
	  return toString().hashCode();
  }

  private int relationNumber;
  private double fraction;
}