package tester;

import edu.neu.ccs.satsolver.*;

public class TestPair implements PairI {
  public Integer m_r;
  public double m_frac;

  public TestPair(int r, double frac) {
    m_r = new Integer(r);
    m_frac = frac;
  }
  public int getRelationNumber() { return m_r.intValue(); }
  public double getFraction() { return m_frac; }

  public boolean equals(Object o) {
    if (o instanceof TestPair) {
      TestPair tp = (TestPair) o;
      // two TestPair objects are equal ONLY if their
      // r numbers are equal.
      return tp.m_r.equals(m_r);
    }
    return false;
  }

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

  public String toString() {
    return "pair (" + m_r + ", " + m_frac + ")";
  }
}