|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use WrongFormulaException | |
---|---|
savi.alg.sat3 |
Uses of WrongFormulaException in savi.alg.sat3 |
---|
Methods in savi.alg.sat3 that throw WrongFormulaException | |
---|---|
void |
Formula.reduceNumberOfClauses(double finalPercent)
Reduce number of clauses in the formula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |