forge.translate
Class InlineStrategy
java.lang.Object
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)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
STRATEGY
public static final SEStrategy STRATEGY
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