edu.neu.ccs.satsolver
Interface InputUpdateI

public interface InputUpdateI

After the first input from the csu team, all future calls to the outsourcing team code will be through InputUpdateI class instances.

Method Summary

java.util.Set	getAddedPairs() Returns the pairs that have been added since the last Input.
PolynomialI	getPolynomialBefore() Returns the polynomial to perform the modifications to.
java.util.Set	getSubtractedPairs() Returns the pairs that have been removed since the last Input.

Method Detail

getPolynomialBefore

PolynomialI getPolynomialBefore()

Returns the polynomial to perform the modifications to.

Returns:

The previously generated polynomial

See Also:

PolynomialI

getAddedPairs

java.util.Set getAddedPairs()

Returns the pairs that have been added since the last Input.

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

Returns:

the set of added pairs

getSubtractedPairs

java.util.Set getSubtractedPairs()

Returns the pairs that have been removed since the last Input.

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

Returns:

the set of subtracted pairs