import edu.neu.ccs.satsolver.*;

class Pair implements PairI{
	
	private int relation;
	private double fraction;
	
	public Pair(int relation, double fraction){
		this.relation = relation;
		this.fraction = fraction;
	}
	
	public void setRelationNumber(int v){
		relation = v;
	}
	
	public void setFraction(double v){
		fraction = v;
	}
	
	public int getRelationNumber(){
		return relation;
	}
	
	public double getFraction(){
		return fraction;
	}
}