edu.mit.csail.sdg.squander.engine.ForgeEval Class Reference
[Engine]

Inherits edu::mit::csail::sdg::squander::engine::ISquanderResult::IEvaluator.

Collaboration diagram for edu.mit.csail.sdg.squander.engine.ForgeEval:

[legend]

List of all members.

Public Member Functions
	ForgeEval (Iterator< ForgeSolution > solutions, ForgeConverter fconv)
ObjTupleSet	evaluate (ForgeVariable var)
ObjTupleSet	evaluateExpr (ForgeExpression expr)
boolean	hasSolution ()
IEvaluator	nextSolution ()
String	unsatCore ()
String	trace ()
String	stats ()
Private Attributes
Iterator< ForgeSolution >	solutions
ForgeSolution	solution
ForgeConverter	fconv

---

Detailed Description

Evaluator based on the ForgeSolution class.

Author:

Aleksandar Milicevic (aleks@csail.mit.edu)

Definition at line 21 of file ForgeEval.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.engine.ForgeEval.ForgeEval	(	Iterator< ForgeSolution >	solutions,
		ForgeConverter	fconv
	)

Definition at line 26 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.solution.

---

Member Function Documentation

ObjTupleSet edu.mit.csail.sdg.squander.engine.ForgeEval.evaluate

(

ForgeVariable

var

)

Definition at line 33 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.evaluateExpr().

ObjTupleSet edu.mit.csail.sdg.squander.engine.ForgeEval.evaluateExpr

(

ForgeExpression

expr

)

Definition at line 37 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.fconv, and edu.mit.csail.sdg.squander.engine.ForgeEval.solution.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeEval.evaluate().

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

(

)

Definition at line 43 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.solution.

IEvaluator edu.mit.csail.sdg.squander.engine.ForgeEval.nextSolution

(

)

Definition at line 48 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.solution, and edu.mit.csail.sdg.squander.engine.ForgeEval.solutions.

String edu.mit.csail.sdg.squander.engine.ForgeEval.stats

(

)

Definition at line 67 of file ForgeEval.java.

String edu.mit.csail.sdg.squander.engine.ForgeEval.trace

(

)

Definition at line 62 of file ForgeEval.java.

References edu.mit.csail.sdg.squander.engine.ForgeEval.solution.

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

(

)

Definition at line 57 of file ForgeEval.java.

---

Member Data Documentation

ForgeConverter edu.mit.csail.sdg.squander.engine.ForgeEval.fconv [private]

Definition at line 24 of file ForgeEval.java.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeEval.evaluateExpr().

ForgeSolution edu.mit.csail.sdg.squander.engine.ForgeEval.solution [private]

Definition at line 23 of file ForgeEval.java.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeEval.evaluateExpr(), edu.mit.csail.sdg.squander.engine.ForgeEval.ForgeEval(), edu.mit.csail.sdg.squander.engine.ForgeEval.hasSolution(), edu.mit.csail.sdg.squander.engine.ForgeEval.nextSolution(), and edu.mit.csail.sdg.squander.engine.ForgeEval.trace().

Iterator<ForgeSolution> edu.mit.csail.sdg.squander.engine.ForgeEval.solutions [private]

Definition at line 22 of file ForgeEval.java.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeEval.nextSolution().

---

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

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