|
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 |
java.lang.Objectescjava.pa.generic.DisjunctionProver
Field Summary | |
private mocha.wrappers.jbdd.jbddManager |
bddManager
|
private java.util.ArrayList |
invalid
|
static int |
INVALID
|
private Prover |
prover
|
static int |
UNKNOWN
|
private java.util.ArrayList |
valid
|
static int |
VALID
|
Constructor Summary | |
DisjunctionProver(Prover prover,
mocha.wrappers.jbdd.jbddManager bddManager)
|
Method Summary | |
boolean |
check(Disjunction d)
|
(package private) mocha.wrappers.jbdd.jbdd |
disjToBdd(Disjunction d)
|
boolean |
implies(Disjunction d1,
Disjunction d2)
|
java.lang.String |
printClause(Disjunction d)
|
int |
quickCheck(Disjunction d)
|
java.lang.String |
report()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final int VALID
public static final int INVALID
public static final int UNKNOWN
private java.util.ArrayList valid
private java.util.ArrayList invalid
private Prover prover
private mocha.wrappers.jbdd.jbddManager bddManager
Constructor Detail |
public DisjunctionProver(Prover prover, mocha.wrappers.jbdd.jbddManager bddManager)
Method Detail |
public int quickCheck(Disjunction d)
public boolean check(Disjunction d)
public java.lang.String printClause(Disjunction d)
public java.lang.String report()
public boolean implies(Disjunction d1, Disjunction d2)
mocha.wrappers.jbdd.jbdd disjToBdd(Disjunction d)
|
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 |