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.Disjunction

Packages that use Disjunction
escjava.pa.generic |

Uses of Disjunction in escjava.pa.generic

Subclasses of Disjunction in escjava.pa.generic
`(package private) class` | `EnumKofN`

Methods in escjava.pa.generic with parameters of type Disjunction
`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)`
`private int` | `EnumNFindK.size(Disjunction d)`
`int` | `DisjunctionProver.quickCheck(Disjunction d)`
`boolean` | `DisjunctionProver.check(Disjunction d)`
`java.lang.String` | `DisjunctionProver.printClause(Disjunction d)`
`boolean` | `DisjunctionProver.implies(Disjunction d1, Disjunction d2)`
`(package private) mocha.wrappers.jbdd.jbdd` | `DisjunctionProver.disjToBdd(Disjunction d)`

Constructors in escjava.pa.generic with parameters of type Disjunction
`Disjunction(Disjunction d)`

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