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 }