|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use WeightedFormula | |
---|---|
savi.alg.weighsat3 |
Uses of WeightedFormula in savi.alg.weighsat3 |
---|
Fields in savi.alg.weighsat3 declared as WeightedFormula | |
---|---|
protected WeightedFormula |
StateWSAT3.formula
reference to solved formula |
Methods in savi.alg.weighsat3 that return WeightedFormula | |
---|---|
WeightedFormula |
WeightedFormula.clone()
Create a copy of this object. |
WeightedFormula |
StateWSAT3.getFormula()
Return reference to formula. |
Methods in savi.alg.weighsat3 with parameters of type WeightedFormula | |
---|---|
void |
StateWSAT3.setFormula(WeightedFormula wf)
Set given formula. |
Constructors in savi.alg.weighsat3 with parameters of type WeightedFormula | |
---|---|
StateWSAT3(WeightedFormula formula)
Creates a new instance of StateSAT3, intializes formula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |