forge.translate
Class ExprTranslator

java.lang.Object
  extended by forge.translate.ExprTranslator
Direct Known Subclasses:
SymbolicExecutor

public class ExprTranslator
extends java.lang.Object

Translates Forge expressions into Kodkod expressions.

Author:
Greg Dennis (gdennis@mit.edu)

Constructor Summary
ExprTranslator(Environment env)
           
 
Method Summary
 Environment env()
           
 RelationalModel model()
           
 void pinOldExpr(ForgeVariable var)
          Pins the old expression for the duration of the next translation.
 ForgeProgram program()
           
 kodkod.ast.Expression toExpr(ForgeExpression.Modifiable mod)
          Faster translates for a modifiable.
 kodkod.ast.Expression toExpr(ForgeExpression expr)
          Translates the given Forge expression to a Kodkod expression.
 kodkod.ast.Formula toForm(ForgeExpression expr)
          Translates the given Forge expression to a Kodkod formula.
 kodkod.ast.IntExpression toInt(ForgeExpression expr)
          Translates the given Forge expression to a Kodkod integer expression.
 void unpinOldExprs()
          Unpins all the old expressions.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExprTranslator

public ExprTranslator(Environment env)
Method Detail

program

public final ForgeProgram program()

model

public final RelationalModel model()

env

public final Environment env()

pinOldExpr

public final void pinOldExpr(ForgeVariable var)
Pins the old expression for the duration of the next translation.


unpinOldExprs

public final void unpinOldExprs()
Unpins all the old expressions.


toExpr

public final kodkod.ast.Expression toExpr(ForgeExpression expr)
Translates the given Forge expression to a Kodkod expression.


toExpr

public final kodkod.ast.Expression toExpr(ForgeExpression.Modifiable mod)
Faster translates for a modifiable.


toForm

public final kodkod.ast.Formula toForm(ForgeExpression expr)
Translates the given Forge expression to a Kodkod formula.


toInt

public final kodkod.ast.IntExpression toInt(ForgeExpression expr)
Translates the given Forge expression to a Kodkod integer expression.