forge.translate
Interface SEStrategy
- All Known Implementing Classes:
- ConstrainStrategy, HybridStrategy, InlineStrategy, ThesisStrategy
public interface SEStrategy
The strategy for symbolic execution.
- Author:
- Greg Dennis (gdennis@mit.edu)
execute
kodkod.ast.Formula execute(SymbolicExecutor.AssignHook hook)
execute
kodkod.ast.Formula execute(SymbolicExecutor.CreateHook hook)
execute
kodkod.ast.Formula execute(SymbolicExecutor.SpecHook hook)
merge
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)