/** * Code by Daniel Rinehart * Created for CSG260 Fall 2006 with Karl Lieberherr */ package edu.neu.ccs.satsolver; public class MockPair implements PairI { private double fraction; private int relationNuber; public MockPair(int relationNuber, double fraction) { this.relationNuber = relationNuber; this.fraction = fraction; } public double getFraction() { return fraction; } public int getRelationNumber() { return relationNuber; } }