001    /* Copyright 2000, 2001, Compaq Computer Corporation */
002    
003    package escjava.pa.generic;
004    
005    import java.util.Hashtable;
006    import java.util.Enumeration;
007    import java.util.Vector;
008    
009    import javafe.util.Set;
010    import javafe.util.Location;
011    import javafe.util.Assert;
012    import javafe.util.StackVector;
013    
014    import mocha.wrappers.jbdd.*;
015    
016    // General interface for a predicate abstraction implementation
017    
018    public interface Abstractor {
019    
020        // Returns true if fixpoint
021        public abstract boolean union(/*@ non_null @*/ Prover p);
022    
023        public abstract /*@ non_null @*/ jbdd get();
024        public abstract /*@ non_null @*/ Vector getClauses();
025    
026    }