|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
by Catherine Block id# 6319 Date: Oct 18, 2004 Time: 4:03:20 PM CS 180H
Method Summary | |
boolean |
isSatisfiable()
|
Method Detail |
public boolean isSatisfiable() throws satisfiabilityApplet.cnfParser.UnsupportedTypeError
satisfiabilityApplet.cnfParser.UnsupportedTypeError
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |