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

escjava.pa.generic
Class EnumMaxClausesFindMinAbstractor

java.lang.Object
  extended byescjava.pa.generic.EnumMaxClausesFindMinAbstractor
All Implemented Interfaces:
Abstractor

public class EnumMaxClausesFindMinAbstractor
extends java.lang.Object
implements Abstractor


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

bddManager

private mocha.wrappers.jbdd.jbddManager bddManager

R

private mocha.wrappers.jbdd.jbdd R

clauses

private java.util.Vector clauses

noisy

private boolean noisy

doRestrict

private static boolean doRestrict
Constructor Detail

EnumMaxClausesFindMinAbstractor

public EnumMaxClausesFindMinAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)
Method Detail

get

public mocha.wrappers.jbdd.jbdd get()
Specified by:
get in interface Abstractor

getClauses

public java.util.Vector getClauses()
Specified by:
getClauses in interface Abstractor

union

public boolean union(Prover prover)
Specified by:
union in interface Abstractor

findMinClauseValid

private mocha.wrappers.jbdd.jbdd findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR,
                                                    Prover prover,
                                                    mocha.wrappers.jbdd.jbdd a,
                                                    mocha.wrappers.jbdd.jbdd b)

say

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

The ESC/Java2 Project Homepage