forge.translate
Class ConstrainStrategy
java.lang.Object
forge.translate.ConstrainStrategy
- All Implemented Interfaces:
- SEStrategy
public final class ConstrainStrategy
- extends java.lang.Object
- implements SEStrategy
A translator strategy that introduces constraints wherever possible in lieu
of inlining expressions.
- 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 ConstrainStrategy 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