Uses of Class
savi.alg.sat3.WrongInputFormulaData

Packages that use WrongInputFormulaData
savi.alg.sat3   
savi.alg.weighsat3   
 

Uses of WrongInputFormulaData in savi.alg.sat3
 

Methods in savi.alg.sat3 that throw WrongInputFormulaData
protected  void Formula.readFromStream(java.io.BufferedReader br)
          Read formula from stream (expecting stream with DIMACS format).
 

Constructors in savi.alg.sat3 that throw WrongInputFormulaData
Formula(java.io.BufferedReader br)
          Creates a new instance of Formula, read it from stream (expecting stream with DIMACS format).
 

Uses of WrongInputFormulaData in savi.alg.weighsat3
 

Methods in savi.alg.weighsat3 that throw WrongInputFormulaData
protected  void WeightedFormula.readFromStream(java.io.BufferedReader br)
          Read submission from stream.
 

Constructors in savi.alg.weighsat3 that throw WrongInputFormulaData
WeightedFormula(java.io.BufferedReader br)
          Creates a new instance of WeightedFormula, read content from stream.