|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Field Summary | |
static int |
INVALID
|
static int |
UNKNOWN
|
static int |
VALID
|
Method Summary | |
boolean |
check(mocha.wrappers.jbdd.jbdd b)
|
java.lang.String |
printClause(mocha.wrappers.jbdd.jbdd b)
|
int |
quickCheck(mocha.wrappers.jbdd.jbdd b)
|
java.lang.String |
report()
|
Field Detail |
public static final int VALID
public static final int INVALID
public static final int UNKNOWN
Method Detail |
public boolean check(mocha.wrappers.jbdd.jbdd b)
public int quickCheck(mocha.wrappers.jbdd.jbdd b)
public java.lang.String printClause(mocha.wrappers.jbdd.jbdd b)
public java.lang.String report()
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |