forge.translate
Class HybridStrategy
java.lang.Object
forge.translate.HybridStrategy
- All Implemented Interfaces:
- SEStrategy
public final class HybridStrategy
- extends java.lang.Object
- implements SEStrategy
A translator that inlines for updates but adds constraints for branches
- 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 HybridStrategy 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