edu.neu.ccs.satsolver
Interface InputInitialI


public interface InputInitialI

The first input from the csu team in the first call to the outsourcing team code will be an InputInitialI class instance. This has the complete set of relation number/fraction pairs that's required for computations.

All future calls will use the InputUpdateI interface.


Method Summary
 java.util.Set getPairs()
          Returns the set of all relation number/fraction pairs for the formula we're working on.
 

Method Detail

getPairs

java.util.Set getPairs()
Returns the set of all relation number/fraction pairs for the formula we're working on.

No two pairs in the set should have the same relation number.

Returns:
a set of PairI instances