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

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

Uses of Abstractor in escjava.pa

Fields in escjava.pa declared as Abstractor
`Abstractor` | `PredicateAbstraction.abstractor`

Uses of Abstractor in escjava.pa.generic

Classes in escjava.pa.generic that implement Abstractor
`class` | `BinaryDecisionTreeAbstractor`
`class` | `EnumClausesAbstractor`
`class` | `EnumMaxClausesFindMinAbstractor`
`class` | `EnumNFindK`

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