E G I O P

E

edu.neu.ccs.satsolver - package edu.neu.ccs.satsolver
Sample use of interface:

G

getAddedPairs() - Method in interface edu.neu.ccs.satsolver.InputUpdateI
Returns the pairs that have been added since the last Input.
getCoefficient(int) - Method in interface edu.neu.ccs.satsolver.PolynomialI
Return the coefficient constant used in the polynomial for the degree specified.
getFraction() - Method in interface edu.neu.ccs.satsolver.PairI
Returns the fraction of constraints that are of this relation number.
getMaxBias() - Method in interface edu.neu.ccs.satsolver.OutputI
Returns the maximum bias representing the bent coin for the input pairs.
getPairs() - Method in interface edu.neu.ccs.satsolver.InputInitialI
Returns the set of all relation number/fraction pairs for the formula we're working on.
getPolynomial() - Method in interface edu.neu.ccs.satsolver.OutputI
Returns the polynomial generated by the PairI values.
getPolynomialBefore() - Method in interface edu.neu.ccs.satsolver.InputUpdateI
Returns the polynomial to perform the modifications to.
getRelationNumber() - Method in interface edu.neu.ccs.satsolver.PairI
Returns the relation number for this pair.
getSubtractedPairs() - Method in interface edu.neu.ccs.satsolver.InputUpdateI
Returns the pairs that have been removed since the last Input.

I

InputInitialI - Interface in edu.neu.ccs.satsolver
The first input from the csu team in the first call to the outsourcing team code will be an InputInitialI class instance.
InputUpdateI - Interface in edu.neu.ccs.satsolver
After the first input from the csu team, all future calls to the outsourcing team code will be through InputUpdateI class instances.

O

OutputI - Interface in edu.neu.ccs.satsolver
OutputI class instances are returned by the outsourcing team code back to the csu team code as a result of computations.

P

PairI - Interface in edu.neu.ccs.satsolver
The PairI interface is used to encapsulate relation number/fraction pairs.
PolynomialI - Interface in edu.neu.ccs.satsolver
The PolynomialI interface manages a polynomial.

E G I O P