Uses of Class
savi.alg.weighsat3.WeightedFormula

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.