Uses of Class
savi.alg.sat3.Formula

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.