import edu.neu.ccs.satsolver.*; import edu.neu.ccs.satsolver.util.*; public class PairObject implements PairI { int relName; double fraction; public PairObject (int relName, double fraction) { this.fraction = fraction; this.relName = relName; } public double getFraction () { return this.fraction; } public int getRelationNumber () { return this.relName; } }