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)