|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |