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

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()

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

The ESC/Java2 Project Homepage