|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Formula | |
---|---|
savi.alg.maxsat3 | |
savi.alg.sat3 | |
savi.alg.weighsat3 |
Uses of Formula in savi.alg.maxsat3 |
---|
Fields in savi.alg.maxsat3 declared as Formula | |
---|---|
protected Formula |
StateMaxSAT3.formula
reference to formula |
Methods in savi.alg.maxsat3 that return Formula | |
---|---|
Formula |
StateMaxSAT3.getFormula()
Returns reference to formula |
Methods in savi.alg.maxsat3 with parameters of type Formula | |
---|---|
void |
StateMaxSAT3.setFormula(Formula f)
Set formula to this object |
Constructors in savi.alg.maxsat3 with parameters of type Formula | |
---|---|
StateMaxSAT3(Formula formula)
Creates a new instance of StateSAT3, initialize formula |
Uses of Formula in savi.alg.sat3 |
---|
Methods in savi.alg.sat3 that return Formula | |
---|---|
Formula |
Formula.clone()
Creates and returns a copy of this object. |
Uses of Formula in savi.alg.weighsat3 |
---|
Subclasses of Formula in savi.alg.weighsat3 | |
---|---|
class |
WeightedFormula
Class representing boolean formula with weights. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |