00001 00005 package edu.mit.csail.sdg.squander.engine; 00006 00007 import java.util.Iterator; 00008 00009 import edu.mit.csail.sdg.squander.absstate.ObjTupleSet; 00010 import forge.program.ForgeVariable; 00011 00019 public interface ISquanderResult { 00020 00027 public static interface IEvaluator { 00029 ObjTupleSet evaluate(ForgeVariable expr); 00031 boolean hasSolution(); 00033 String trace(); 00035 String unsatCore(); 00037 String stats(); 00039 IEvaluator nextSolution(); 00040 } 00041 00043 public boolean hasSolution(); 00045 public String getTrace(); 00047 public String getStats(); 00048 00054 public <R> R getReturnValue(); 00055 00061 public void restoreJavaHeap(); 00062 00064 public String unsatCore(); 00065 00070 public boolean findNext(); 00071 00076 @Deprecated 00077 public Iterator<Object> getSpecField(String specFieldName); 00078 00079 00080 }