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 inlineBranch,
boolean inlineCreate)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
inlineAssign
public final boolean inlineAssign
inlineBranch
public final boolean inlineBranch
inlineCreate
public final boolean inlineCreate
ThesisStrategy
public ThesisStrategy(boolean inlineAssign,
boolean inlineBranch,
boolean inlineCreate)
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