edu.toronto.cs.yasm.wp
Interface WPComputer

All Known Implementing Classes:
BaseWPComputer, DCWPComputer, ExprWPComputer, MemoryModelWPComputer, UnknownExprWPComputer

public interface WPComputer


Method Summary
 Expr computeWP(Expr expr)
          computes the weakest pre-condition of the expr
 Expr[] computeWP(Expr[] expr)
           
 java.util.List computeWP(java.util.List expr)
           
 

Method Detail

computeWP

Expr computeWP(Expr expr)
computes the weakest pre-condition of the expr

Parameters:
expr - an Expr value
Returns:
an Expr value

computeWP

Expr[] computeWP(Expr[] expr)

computeWP

java.util.List computeWP(java.util.List expr)