    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    }