Uses of Class
savi.alg.sat3.WrongFormulaException

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.