edu.toronto.cs.yasm.wp
Class WPComputerFactory

java.lang.Object
  extended by edu.toronto.cs.yasm.wp.WPComputerFactory

public class WPComputerFactory
extends java.lang.Object


Constructor Summary
WPComputerFactory()
           
 
Method Summary
static WPComputer id()
           
static WPComputer prllAsmt(Expr lhs, Expr rhs)
           
static WPComputer unknown(Expr e)
           
static WPComputer wp(Expr e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WPComputerFactory

public WPComputerFactory()
Method Detail

wp

public static WPComputer wp(Expr e)

prllAsmt

public static WPComputer prllAsmt(Expr lhs,
                                  Expr rhs)

unknown

public static WPComputer unknown(Expr e)

id

public static WPComputer id()