Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes