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 NEXT | FRAMES NO FRAMES

## Uses of Interface
escjava.pa.generic.Prover

Packages that use Prover
escjava.pa |
escjava.pa.generic |

Uses of Prover in escjava.pa

Classes in escjava.pa that implement Prover
`class` | `GCProver`

Uses of Prover in escjava.pa.generic

Fields in escjava.pa.generic declared as Prover
`private Prover` | `DisjunctionProver.prover`

Methods in escjava.pa.generic with parameters of type Prover
`boolean` | `EnumNFindK.union(Prover prover)`
`boolean` | `EnumMaxClausesFindMinAbstractor.union(Prover prover)`
`private mocha.wrappers.jbdd.jbdd` | `EnumMaxClausesFindMinAbstractor.findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR, Prover prover, mocha.wrappers.jbdd.jbdd a, mocha.wrappers.jbdd.jbdd b)`
`boolean` | `EnumClausesAbstractor.union(Prover prover)`
`boolean` | `BinaryDecisionTreeAbstractor.union(Prover p)`
`private void` | `BinaryDecisionTreeAbstractor.abstractHelper(int n, java.lang.String m, mocha.wrappers.jbdd.jbdd curTruthAss, java.util.Vector clauses, Prover p)`
`boolean` | `Abstractor.union(Prover p)`

Constructors in escjava.pa.generic with parameters of type Prover
`DisjunctionProver(Prover prover, mocha.wrappers.jbdd.jbddManager bddManager)`

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 NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage