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 Class
escjava.pa.generic.DisjunctionProver

Packages that use DisjunctionProver
escjava.pa.generic |

Uses of DisjunctionProver in escjava.pa.generic

Methods in escjava.pa.generic with parameters of type DisjunctionProver
`private void` | `EnumNFindK.add(Disjunction d, DisjunctionProver disjProver)`
`private void` | `EnumNFindK.findMinDisjValid(Disjunction d, DisjunctionProver disjProver, long dropWhich)`
`private boolean` | `EnumNFindK.extendToMaxDisjUnknown(Disjunction nd, int i, DisjunctionProver disjProver)`

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