edu.toronto.cs.yasm.pprogram
Class PCond

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.PCond

public class PCond
extends java.lang.Object

PCond.java Created: Mon Jul 5 12:26:11 2004

Version:
1.0
Author:
Kelvin Ku

Constructor Summary
PCond(Block _sourceBlock, Expr _cond)
           
PCond(Expr _origCond, Expr _cond)
           
 
Method Summary
 void computeExpr(ExprFactory fac)
           
 Expr fromCBool(Expr cExpr)
           
 Expr getCond()
           
 Expr getOrigCond()
           
 java.lang.Object getRefinerInfo()
           
 Block getSourceCond()
           
 void setCond(Expr e)
           
 void setOrigCond(Expr v)
           
 void setRefinerInfo(java.lang.Object o)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PCond

public PCond(Block _sourceBlock,
             Expr _cond)

PCond

public PCond(Expr _origCond,
             Expr _cond)
Method Detail

fromCBool

public Expr fromCBool(Expr cExpr)

getCond

public Expr getCond()

getSourceCond

public Block getSourceCond()

setCond

public void setCond(Expr e)

getOrigCond

public Expr getOrigCond()

setOrigCond

public void setOrigCond(Expr v)

setRefinerInfo

public void setRefinerInfo(java.lang.Object o)

getRefinerInfo

public java.lang.Object getRefinerInfo()

computeExpr

public void computeExpr(ExprFactory fac)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object