forge.translate
Class InlineStrategy

java.lang.Object
  extended by forge.translate.InlineStrategy
All Implemented Interfaces:
SEStrategy

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

A translator strategy that inlines expressions wherever possible in lieu of introducing constraints.

Author:
Greg Dennis (gdennis@mit.edu)

Field Summary
static SEStrategy STRATEGY
           
 
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
 

Field Detail

STRATEGY

public static final SEStrategy STRATEGY
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