|
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.EnumMaxClausesFindMinAbstractor
Field Summary | |
private mocha.wrappers.jbdd.jbddManager |
bddManager
|
private java.util.Vector |
clauses
|
private static boolean |
doRestrict
|
private boolean |
noisy
|
private mocha.wrappers.jbdd.jbdd |
R
|
Constructor Summary | |
EnumMaxClausesFindMinAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)
|
Method Summary | |
private mocha.wrappers.jbdd.jbdd |
findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR,
Prover prover,
mocha.wrappers.jbdd.jbdd a,
mocha.wrappers.jbdd.jbdd b)
|
mocha.wrappers.jbdd.jbdd |
get()
|
java.util.Vector |
getClauses()
|
private void |
say(java.lang.String s)
|
boolean |
union(Prover prover)
|
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 mocha.wrappers.jbdd.jbdd R
private java.util.Vector clauses
private boolean noisy
private static boolean doRestrict
Constructor Detail |
public EnumMaxClausesFindMinAbstractor(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 prover)
union
in interface Abstractor
private mocha.wrappers.jbdd.jbdd findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR, Prover prover, mocha.wrappers.jbdd.jbdd a, mocha.wrappers.jbdd.jbdd b)
private void say(java.lang.String s)
|
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 |