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)

Method Summary
 kodkod.ast.Formula execute(SymbolicExecutor.AssignHook hook)
           
 kodkod.ast.Formula execute(SymbolicExecutor.CreateHook hook)
           
 kodkod.ast.Formula execute(SymbolicExecutor.SpecHook hook)
           
 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)
           
 

Method Detail

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)