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
Interface Prover

All Known Implementing Classes:
GCProver

public interface Prover


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

VALID

public static final int VALID
See Also:
Constant Field Values

INVALID

public static final int INVALID
See Also:
Constant Field Values

UNKNOWN

public static final int UNKNOWN
See Also:
Constant Field Values
Method Detail

check

public boolean check(mocha.wrappers.jbdd.jbdd b)

quickCheck

public int quickCheck(mocha.wrappers.jbdd.jbdd b)

printClause

public java.lang.String printClause(mocha.wrappers.jbdd.jbdd b)

report

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

The ESC/Java2 Project Homepage