forge.translate
Class Environment

java.lang.Object
  extended by forge.translate.Environment

public final class Environment
extends java.lang.Object

Symbolic execution environment maintained by the translation.

Author:
Greg Dennis (gdennis@mit.edu)

Constructor Summary
Environment(RelationalModel model)
           
 
Method Summary
 Environment copy()
           
 kodkod.ast.Expression getExpr(ForgeExpression.Modifiable mod)
          Gets the expression for the given modifiable.
 RelationalModel model()
           
 java.util.Set<ForgeExpression.Modifiable> mods()
          Returns the set of all modifiables in the environment.
 ForgeProgram program()
           
 void putExpr(ForgeExpression.Modifiable mod, kodkod.ast.Expression expr)
          Sets the expression for the given modifiable.
 java.lang.String toString()
           
 Environment unmodifiable()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Environment

public Environment(RelationalModel model)
Method Detail

copy

public Environment copy()

unmodifiable

public Environment unmodifiable()

program

public ForgeProgram program()

model

public RelationalModel model()

mods

public java.util.Set<ForgeExpression.Modifiable> mods()
Returns the set of all modifiables in the environment.


getExpr

public kodkod.ast.Expression getExpr(ForgeExpression.Modifiable mod)
Gets the expression for the given modifiable.


putExpr

public void putExpr(ForgeExpression.Modifiable mod,
                    kodkod.ast.Expression expr)
Sets the expression for the given modifiable.


toString

public final java.lang.String toString()
Overrides:
toString in class java.lang.Object