package satsolving;

import edu.neu.ccs.satsolver.PairI;

public class PairCSP implements PairI {

	  protected Integer m_r;
	protected double m_frac;

	public PairCSP(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 PairCSP) {
			PairCSP tp = (PairCSP) 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 + ")";
	}
}