|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |