forge.translate
Class Environment

java.lang.Object
  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