|
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.BinaryDecisionTreeAbstractor
Field Summary | |
private mocha.wrappers.jbdd.jbddManager |
bddManager
|
private java.util.Vector |
clauses
|
private int |
numPredicates
|
private mocha.wrappers.jbdd.jbdd |
R
|
Constructor Summary | |
BinaryDecisionTreeAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)
|
Method Summary | |
private void |
abstractHelper(int n,
java.lang.String m,
mocha.wrappers.jbdd.jbdd curTruthAss,
java.util.Vector clauses,
Prover p)
|
mocha.wrappers.jbdd.jbdd |
get()
|
java.util.Vector |
getClauses()
|
boolean |
union(Prover p)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private mocha.wrappers.jbdd.jbddManager bddManager
private int numPredicates
private mocha.wrappers.jbdd.jbdd R
private java.util.Vector clauses
Constructor Detail |
public BinaryDecisionTreeAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)
Method Detail |
public mocha.wrappers.jbdd.jbdd get()
get
in interface Abstractor
public java.util.Vector getClauses()
getClauses
in interface Abstractor
public boolean union(Prover p)
union
in interface Abstractor
private void abstractHelper(int n, java.lang.String m, mocha.wrappers.jbdd.jbdd curTruthAss, java.util.Vector clauses, Prover p)
|
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 |