/** * Code by Daniel Rinehart * Created for CSG260 Fall 2006 with Karl Lieberherr */ package edu.neu.ccs.satsolver; import java.util.HashSet; import java.util.Set; public class MockInputInitial implements InputInitialI { private Set pairs = new HashSet(); public void addPair(PairI pair) { pairs.add(pair); } public Set getPairs() { return pairs; } }