Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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()

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage