edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval Class Reference

Collaboration diagram for edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval:

[legend]

List of all members.

Public Member Functions
	KodkodIntEval (Iterator< Solution > solutions)
ObjTupleSet	evaluate (ForgeVariable var)
ObjTupleSet	evaluateExpr (ForgeExpression expr)
Protected Member Functions
ObjTupleSet	makeConst (TupleSet ts)
Private Attributes
ForgeVariable	var

---

Detailed Description

Definition at line 59 of file SquanderKodkodPartImpl.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.KodkodIntEval

(

Iterator< Solution >

solutions

)

Definition at line 63 of file SquanderKodkodPartImpl.java.

---

Member Function Documentation

ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.evaluate

(

ForgeVariable

var

)

Definition at line 68 of file SquanderKodkodPartImpl.java.

ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.evaluateExpr

(

ForgeExpression

expr

)

Definition at line 74 of file SquanderKodkodPartImpl.java.

ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.makeConst

(

TupleSet

ts

)

[protected]

Definition at line 79 of file SquanderKodkodPartImpl.java.

References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.add(), edu.mit.csail.sdg.squander.absstate.ObjTuple.arity, edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.fconv, edu.mit.csail.sdg.squander.engine.ForgeConverter.lit2obj(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.partitions, edu.mit.csail.sdg.squander.absstate.ObjTuple.product(), and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.var.

---

Member Data Documentation

ForgeVariable edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.var [private]

Definition at line 61 of file SquanderKodkodPartImpl.java.

Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.makeConst().

---

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

• src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodPartImpl.java