Uses of Class
savi.alg.sat3.Clause

Packages that use Clause
savi.alg.sat3   
 

Uses of Clause in savi.alg.sat3
 

Fields in savi.alg.sat3 declared as Clause
protected  Clause[] Formula.clauses
          list of clauses in formula
 

Methods in savi.alg.sat3 that return Clause
 Clause[] Formula.getClauses()
          Return number of clauses.