src/edu/mit/csail/sdg/squander/engine/ISquanderResult.java

Go to the documentation of this file.

package edu.mit.csail.sdg.squander.engine;

import java.util.Iterator;

import edu.mit.csail.sdg.squander.absstate.ObjTupleSet;
import forge.program.ForgeVariable;

public interface ISquanderResult {

    public static interface IEvaluator {
        ObjTupleSet evaluate(ForgeVariable expr);
        boolean hasSolution();
        String trace();
        String unsatCore();
        String stats();
        IEvaluator nextSolution();
    }

    public boolean hasSolution();
    public String getTrace();
    public String getStats();
    
    public <R> R getReturnValue();

    public void restoreJavaHeap();
    
    public String unsatCore();

    public boolean findNext();

    @Deprecated
    public Iterator<Object> getSpecField(String specFieldName);


}

---