forge.translate
Class ThesisStrategy

java.lang.Object
  forge.translate.ThesisStrategy

All Implemented Interfaces:

SEStrategy

public final class ThesisStrategy
extends java.lang.Object
implements SEStrategy

Author:

Greg Dennis (gdennis@mit.edu)

Constructor Summary

ThesisStrategy(boolean inlineAssign, boolean inlineCreate, boolean inlineBranch)

Method Summary

kodkod.ast.Formula	execute(SymbolicExecutor.AssignHook hook)
kodkod.ast.Formula	execute(SymbolicExecutor.CreateHook hook)
kodkod.ast.Formula	execute(SymbolicExecutor.SpecHook hook)
edu.mit.csail.sdg.util.collections.Pair<kodkod.ast.Formula,kodkod.ast.Formula>	merge(SymbolicExecutor.BranchHook hook, ForgeExpression.Modifiable mod, kodkod.ast.Expression thenExpr, kodkod.ast.Expression elseExpr)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ThesisStrategy

public ThesisStrategy(boolean inlineAssign,
                      boolean inlineCreate,
                      boolean inlineBranch)

Method Detail

execute

public kodkod.ast.Formula execute(SymbolicExecutor.AssignHook hook)

Specified by:

execute in interface SEStrategy

execute

public kodkod.ast.Formula execute(SymbolicExecutor.CreateHook hook)

Specified by:

execute in interface SEStrategy

execute

public kodkod.ast.Formula execute(SymbolicExecutor.SpecHook hook)

Specified by:

execute in interface SEStrategy

merge

public edu.mit.csail.sdg.util.collections.Pair<kodkod.ast.Formula,kodkod.ast.Formula> merge(SymbolicExecutor.BranchHook hook,
                                                                                            ForgeExpression.Modifiable mod,
                                                                                            kodkod.ast.Expression thenExpr,
                                                                                            kodkod.ast.Expression elseExpr)

Specified by:

merge in interface SEStrategy

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object