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 Abstractor

All Known Implementing Classes:
  BinaryDecisionTreeAbstractor, EnumClausesAbstractor, EnumMaxClausesFindMinAbstractor, EnumNFindK

public interface Abstractor

Method Summary
`mocha.wrappers.jbdd.jbdd` | `get()`
`java.util.Vector` | `getClauses()`
`boolean` | `union(Prover p)`

Method Detail

### union

    public boolean union(Prover p)

### get

    public mocha.wrappers.jbdd.jbdd get()

### getClauses

    public java.util.Vector getClauses()

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