edu.mit.csail.sdg.squander.engine.ISquanderResult Interface Reference
[Engine]

Inherited by edu.mit.csail.sdg.squander.engine.SquanderResult.

List of all members.

Classes
interface	IEvaluator
Public Member Functions
boolean	hasSolution ()
String	getTrace ()
String	getStats ()
public< R > R	getReturnValue ()
void	restoreJavaHeap ()
String	unsatCore ()
boolean	findNext ()
Iterator< Object >	getSpecField (String specFieldName)

---

Detailed Description

Represents the result of executing a specification. The result must also know how to update the Java heap to reflect the solution represented by that result.

Author:

Aleksandar Milicevic

Definition at line 19 of file ISquanderResult.java.

---

Member Function Documentation

boolean edu.mit.csail.sdg.squander.engine.ISquanderResult.findNext

(

)

Finds a different solution and updates the heap if the solution is found. Returns whether a solution was found or not.

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.examples.partitioning.Graph.main().

public<R> R edu.mit.csail.sdg.squander.engine.ISquanderResult.getReturnValue

(

)

Returns the Java object that is the return value of the method under Squander analysis. If the method under Squander analysis has void return type, null is returned.

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

Iterator<Object> edu.mit.csail.sdg.squander.engine.ISquanderResult.getSpecField

(

String

specFieldName

)

Returns the value of the spec field with the given name as a sequence of objects. This works only for unary spec fields, so it shouldn't be used.

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

String edu.mit.csail.sdg.squander.engine.ISquanderResult.getStats

(

)

Optional statistics about the solving

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

String edu.mit.csail.sdg.squander.engine.ISquanderResult.getTrace

(

)

Optional string representation of the solution. Used for debugging purposes

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

boolean edu.mit.csail.sdg.squander.engine.ISquanderResult.hasSolution

(

)

Weather or not a solution was found

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic(), and edu.mit.csail.sdg.squander.examples.partitioning.Graph.main().

void edu.mit.csail.sdg.squander.engine.ISquanderResult.restoreJavaHeap

(

)

Restores the Java heap space from the given Results that must contain valid solution. If the solution for this problem wasn't found, a runtime exception is thrown.

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

String edu.mit.csail.sdg.squander.engine.ISquanderResult.unsatCore

(

)

Returns a string representation of the unsat core if a solution wasn't found (if known)

Implemented in edu.mit.csail.sdg.squander.engine.SquanderResult.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

---

The documentation for this interface was generated from the following file:

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