|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.translate.ExprTranslator
public class ExprTranslator
Translates Forge expressions into Kodkod expressions.
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 |
---|
public ExprTranslator(Environment env)
Method Detail |
---|
public final ForgeProgram program()
public final RelationalModel model()
public final Environment env()
public final void pinOldExpr(ForgeVariable var)
public final void unpinOldExprs()
public final kodkod.ast.Expression toExpr(ForgeExpression expr)
public final kodkod.ast.Expression toExpr(ForgeExpression.Modifiable mod)
public final kodkod.ast.Formula toForm(ForgeExpression expr)
public final kodkod.ast.IntExpression toInt(ForgeExpression expr)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |