edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval Class Reference
Inherits edu::mit::csail::sdg::squander::engine::ISquanderResult::IEvaluator.
Public Member Functions | |
| KodkodEval (Iterator< Solution > solutions) | |
| String | unsatCore () |
| ObjTupleSet | evaluate (ForgeVariable var) |
| ObjTupleSet | evaluateExpr (ForgeExpression expr) |
| boolean | hasSolution () |
| IEvaluator | nextSolution () |
| String | trace () |
| String | stats () |
Protected Member Functions | |
| ObjTupleSet | makeConst (TupleSet ts) |
Protected Attributes | |
| final Iterator< Solution > | solutions |
| Solution | solution |
Detailed Description
An implementation of the IEvaluator interface that wraps a Kodkod solution.
Definition at line 132 of file SquanderKodkodImpl.java.
Constructor & Destructor Documentation
| edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.KodkodEval | ( | Iterator< Solution > | solutions | ) |
Definition at line 137 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
Member Function Documentation
| ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluate | ( | ForgeVariable | var | ) |
Definition at line 159 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluateExpr().
| ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluateExpr | ( | ForgeExpression | expr | ) |
Definition at line 163 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.makeConst(), and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluate().
| boolean edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.hasSolution | ( | ) |
Definition at line 206 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
| ObjTupleSet edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.makeConst | ( | TupleSet | ts | ) | [protected] |
Definition at line 180 of file SquanderKodkodImpl.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.forgeScene, edu.mit.csail.sdg.squander.spec.ForgeScene.objForLit(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluateExpr().
| IEvaluator edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.nextSolution | ( | ) |
Definition at line 211 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution, and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solutions.
| String edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.stats | ( | ) |
Definition at line 226 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
| String edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.trace | ( | ) |
Definition at line 221 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
| String edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.unsatCore | ( | ) |
Definition at line 143 of file SquanderKodkodImpl.java.
References edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution.
Member Data Documentation
Solution edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solution [protected] |
Definition at line 135 of file SquanderKodkodImpl.java.
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.evaluateExpr(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.hasSolution(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.KodkodEval(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.nextSolution(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.stats(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.trace(), and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.unsatCore().
final Iterator<Solution> edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.solutions [protected] |
Definition at line 134 of file SquanderKodkodImpl.java.
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.nextSolution().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodImpl.java
